Sciweavers

1317 search results - page 16 / 264
» Fusions of Description Logics and Abstract Description Syste...
Sort
View
DLOG
2009
14 years 7 months ago
Quasi-Classical Semantics for Expressive Description Logics
Abstract. Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we present the ...
Xiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin
103
Voted
DLOG
2009
14 years 7 months ago
On Correspondences between Probabilistic First-Order and Description Logics
Abstract This paper analyzes the probabilistic description logic PSHIQ by looking at it as a fragment of probabilistic first-order logic with semantics based on possible worlds. We...
Pavel Klinov, Bijan Parsia, Ulrike Sattler
ECAI
2006
Springer
15 years 1 months ago
Elaborating Domain Descriptions
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...
Andreas Herzig, Laurent Perrussel, Ivan José...
RSFDGRC
2005
Springer
122views Data Mining» more  RSFDGRC 2005»
15 years 3 months ago
Ordered Belief Fusion in Possibilistic Logic
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
Churn-Jung Liau
59
Voted
DLOG
1996
14 years 10 months ago
On the Semantics of Epistemic Description Logics
d Abstract) Riccardo Rosati Dipartimento di Informatica e Sistemistica Universita di Roma \La Sapienza" Via Salaria 113, 00198 Roma, Italy
Riccardo Rosati