Extending description logics with uncertainty reasoning in possibilistic logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4724 LNAI, Issue , 2007, Pages 828-839

  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

ALGORITHMS; LOGIC PROGRAMMING; PROBLEM SOLVING; UNCERTAINTY ANALYSIS;

DESCRIPTION LOGICS; LINEAR ORDER INFERENCE; POSSIBILISTIC INFERENCE; POSSIBILISTIC LOGIC;

FORMAL LOGIC;

EID: 38049107849     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75256-1_72     Document Type: Conference Paper

References (18)

1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): Description Logic Handbook: Theory, implementation and applications. Cambridge University Press, Cambridge (2003)
2. Benferhat, S., Cayrol, C., Dubois, D., Lang, J., Prade, H.: Inconsistency management and prioritized syntax-based entailment. In: Proc. of IJCAI'93, pp. 640-647. Morgan Kaufmann, San Francisco (1993)
3. Benferhat, S., Dubois, D., Prade, H.: Representing default rules in possibilistic logic. In: Proc. of KR'92, pp. 673-684 (1992)
4. Benferhat, S., Lagrue, S., Papini, O.: Reasoning with partially ordered information in a possibilistic logic framework. Fuzzy Sets and Systems 144(1), 25-41 (2004)
5. Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, pp. 439-513. Oxford University Press, Oxford (1994)
6. Dubois, D., Mengin, J., Prade, H.: Possibilistic uncertainty and fuzzy features in description logic: A preliminary discussion. In: Capturing Intelligence: Fuzzy Logic and the Semantic WEb, pp. 101-113. Elsevier, Amsterdam (2006)
7. Dubois, D., Prade, H.: Epistemic entrenchment and possibilistic logic. Artif. Intell. 50(2), 223-239 (1991)
8. Dubois, D., Prade, H.: Possibility theory: qualitative and quantitative aspects. In: Handbook of Defeasible Reasoning and Uncertainty Management Systems, pp. 169-226 (1998)
9. Flouris, G., Huang, Z., Pan, J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: Proc. of AAAI'06 (2006)
10. Giugno, R., Lukasiewicz, T.: P-shoq(d): A probabilistic extension of shoq(d) for probabilistic ontologies in the semantic web. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 86-97. Springer, Heidelberg (2002)
11. Haase, P., Völker, J.: Ontology learning and reasoning - dealing with uncertainty and inconsistency. In: Proc. of URSW'05, pp. 45-55 (2005)
12. Heinsohn, J.: Probabilistic description logics. In: Proc. of UAI'94, pp. 311-318 (1994)
13. Hollunder, B.: An alternative proof method for possibilistic logic and its application to terminological logics. Int. J. Approx. Reasoning 12(2), 85-109 (1995)
14. Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005) (2005)
15. Lang, J.: Possibilistic logic: complexity and algorithms. In: Handbook of Defeasible Reasoning and Uncertainty Management Systems, pp. 179-220 (2000)
16. Mortimer, M.: On languages with two variables. Zeitschr. f. math. Logik u. Grundlagen d. Math. 21, 135-140 (1975)
17. Stoilos, G., Stamou, G., Pan, J.Z., Tzouvaras, V., Horrocks, I.: Reasoning with very expressive fuzzy description logics. J. Artif. Intell. Res. (2007)
18. Straccia, U.: Reasoning within fuzzy description logics. J. Artif. Intell. Res. 14, 137-166 (2001)