Sciweavers

219 search results - page 2 / 44
» A Possibilistic Extension of Description Logics
Sort
View
INFFUS
2006
104views more  INFFUS 2006»
13 years 5 months ago
Reasoning with multiple-source information in a possibilistic logic framework
This paper addresses the problem of merging uncertain information in the framework of possibilistic logic. It presents several syntactic combination rules to merge possibilistic k...
Salem Benferhat, Claudio Sossai
WS
2008
ACM
13 years 5 months ago
Managing uncertainty and vagueness in description logics for the Semantic Web
Ontologies play a crucial role in the development of the Semantic Web as a means for defining shared terms in web resources. They are formulated in web ontology languages, which a...
Thomas Lukasiewicz, Umberto Straccia
ASP
2005
Springer
13 years 10 months ago
Possibilistic Stable Model Computing
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
Pascal Nicolas, Claire Lefèvre
FUZZIEEE
2007
IEEE
13 years 11 months ago
Toward Multiple-agent Extensions of Possibilistic Logic
— Possibilistic logic is essentially a formalism for handling qualitative uncertainty with an inference machinery that remains close to the one of classical logic. It is capable ...
Didier Dubois, Henri Prade
DLOG
2003
13 years 6 months ago
Fixpoint Extensions of Temporal Description Logics
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
Enrico Franconi, David Toman