Sciweavers

1568 search results - page 12 / 314
» Fusions of Description Logics
Sort
View
INFFUS
2010
156views more  INFFUS 2010»
15 years 1 months ago
Cumulative and averaging fusion of beliefs
The problem of fusing beliefs in the Dempster-Shafer belief theory has attracted considerable attention over the last two decades. The classical Dempster's Rule has often bee...
Audun Jøsang, Javier Diaz, Maria Rifqi
DLOG
2001
15 years 8 months ago
Optimizing Reasoning in Description Logics with Qualified Number Restrictions
In this extended abstract an optimization technique, the so-called signature calculus, for reasoning with number restrictions in description logics is investigated. The calculus i...
Volker Haarslev, Ralf Möller
CADE
2002
Springer
16 years 7 months ago
System Description: GrAnDe 1.0
Stephan Schulz, Geoff Sutcliffe
DLOG
2007
15 years 9 months ago
Deciding ALBO with Tableau
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
Renate A. Schmidt, Dmitry Tishkovsky
JUCS
2010
121views more  JUCS 2010»
15 years 5 months ago
Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty
: Decision making under uncertainty is a key issue in information fusion and logic based reasoning approaches. The aim of this paper is to show noteworthy theoretical and applicati...
Yang Xu, Jun Liu, Luis Martínez, Da Ruan