Sciweavers

1568 search results - page 12 / 314
» Fusions of Description Logics
Sort
View
92
Voted
INFFUS
2010
156views more  INFFUS 2010»
14 years 4 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
14 years 11 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
15 years 10 months ago
System Description: GrAnDe 1.0
Stephan Schulz, Geoff Sutcliffe
87
Voted
DLOG
2007
14 years 12 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»
14 years 8 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