A possibilistic extension of description logics

CEUR Workshop Proceedings

Volumn 250, Issue , 2007, Pages 435-442

  Qi, Guilin ^a   Pan, Jeff Z ^b   Ji, Qiu ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; POSSIBILISTIC; POSSIBILISTIC LOGIC; REASONER;

ALGORITHMS; FORMAL LANGUAGES; INFERENCE ENGINES; SEMANTICS;

DATA DESCRIPTION;

EID: 84872941626     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider. The Description Logic Handbook: Theory, implementation and application. Cambridge University Press, 2003.
2. Salem Benferhat, Claudette Cayrol, Didier Dubois, Jérôme Lang, and Henri Prade. Inconsistency management and prioritized syntax-based entailment. In Proc. of IJCAI'93), pages 640-647. Morgan Kaufmann, 1993.
3. Salem Benferhat, Didier Dubois, and Henri Prade. Representing default rules in possibilistic logic. In Proc. of KR'92, pages 673-684, 1992.
4. Salem Benferhat, Sylvain Lagrue, and Odile Papini. Reasoning with partially ordered information in a possibilistic logic framework. Fuzzy Sets and Systems, 144(1):25-41, 2004.
5. Didier Dubois, Jérôme Lang, and Henri Prade. Possibilistic logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, pages 439-513. Oxford University Press, 1994.
6. Didier Dubois, Jérôme Mengin, and Henri Prade. Possibilistic uncertainty and fuzzy features in description logic: A preliminary discussion. In Capturing Intelligence: Fuzzy Logic and the Semantic WEb, pages 101-113. Elsevier, 2006.
7. Didier Dubois and Henri Prade. Epistemic entrenchment and possibilistic logic. Artif. Intell., 50(2):223-239, 1991.
8. Didier Dubois and Henri Prade. Possibility theory: qualitative and quantitative aspects. In Handbook of Defeasible Reasoning and Uncertainty Management Systems, pages 169-226, 1998.
9. Giorgos Flouris, Zhisheng Huang, Jeff Z. Pan, Dimitris Plexousakis, and Holger Wache. Inconsistencies, negations and changes in ontologies. In Proc. of AAAI'06, 2006.
10. Rosalba Giugno and Thomas Lukasiewicz. P-shoq(d): A probabilistic extension of shoq(d) for probabilistic ontologies in the semantic web. In Proc. of JELIA'02, pages 86-97, 2002.
11. Peter Haase and Johanna Völker. Ontology learning and reasoning - dealing with uncertainty and inconsistency. In Proc. of URSW'05, pages 45-55, 2005.
12. Jochen Heinsohn. Probabilistic description logics. In Proc. of UAI'94, pages 311- 318, 1994.
13. Bernhard Hollunder. An alternative proof method for possibilistic logic and its application to terminological logics. Int. J. Approx. Reasoning, 12(2):85-109, 1995.
14. Manfred Jaeger. Probabilistic reasoning in terminological logics. In Proc. of KR'94, pages 305-316, 1994.
15. Jérôme Lang. Possibilistic logic: complexity and algorithms. In Handbook of Defeasible Reasoning and Uncertainty Management Systems, pages 179-220. 2000.
16. Umberto Straccia. Reasoning within fuzzy description logics. J. Artif. Intell. Res., 14:137-166, 2001.