Extending description logics with uncertainty reasoning in possibilistic logic

International Journal of Intelligent Systems

Volumn 26, Issue 4, 2011, Pages 353-381

  Qi, Guilin ^a,b   Ji, Qiu ^a   Pan, Jeff Z ^c   Du, Jianfeng ^d,e  

^a SOUTHEAST UNIVERSITY   (China)

^b NANJING UNIVERSITY   (China)

^c UNIVERSITY OF ABERDEEN   (United Kingdom)

^d GUANGDONG UNIVERSITY OF FOREIGN STUDIES   (China)

^e INSTITUTE OF SOFTWARE   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CONFIDENCE DEGREE; DESCRIPTION LOGIC; EVALUATION RESULTS; KNOWLEDGE BASE; LINEAR ORDER; ONTOLOGY LANGUAGE; ONTOLOGY LEARNING; ONTOLOGY MERGING; POSSIBILISTIC; POSSIBILISTIC LOGIC; UNCERTAINTY REASONING;

ACCIDENTS; ALGORITHMS; INFERENCE ENGINES; KNOWLEDGE BASED SYSTEMS; ONTOLOGY; SEMANTICS;

DATA DESCRIPTION;

EID: 79951883443     PISSN: 08848173     EISSN: 1098111X     Source Type: Journal    
DOI: 10.1002/int.20470     Document Type: Article

References (39)

1. Qi G, Pan JZ, Ji Q,. Extending description logics with uncertainty reasoning in possibilistic logic. In: Proc 9th Eur Conf on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'07). Volume 4724 of Lecture Notes in Computer Science. Berlin: Springer; 2007. pp 828-839.
2. Heinsohn J,. Probabilistic description logics. In: Proc 10th Annual Conf on Uncertainty in Artificial Intelligence (UAI'94). Burlington, MA: Morgan Kaufmann; 1994. pp 311-318.
3. Lukasiewicz T,. Expressive probabilistic description logics. Artif Intelli 2008; 172 (6-7): 852-883.
4. Straccia U,. Reasoning within fuzzy description logics. J Artif Intelli Res 2001; 14: 137-166.
5. Dubois D, Lang J, Prade H,. Possibilistic logic. In: Handbook of logic in artificial intelligence and logic programming. New York: Oxford University Press; 1994. pp 439-513.
6. Dubois D, Prade H,. Possibility theory: An approach to computerized processing of uncertainty. New York: Plenum Press; 1986.
7. Benferhat S, Lagrue S, Papini O,. Reasoning with partially ordered information in a possibilistic logic framework. Fuzzy Sets Syst 2004; 144 (1): 25-41.
8. Dubois D, Prade H,. Epistemic entrenchment and possibilistic logic. Artif Intelli 1991; 50 (2): 223-239. (Pubitemid 21707420)
9. Benferhat S, Dubois D, Prade H,. Representing default rules in possibilistic logic. In: Proc 3rd Int Conf on Principles of Knowledge Representation and Reasoning (KR'92). Burlington, MA: Morgan Kaufmann; 1992. pp 673-684.
10. Dubois D, Prade H,. Possibility theory: qualitative and quantitative aspects. In: Handbook of defeasible reasoning and uncertainty management systems. Berlin: Springer; 1998. pp 169-226.
11. Hollunder B,. An alternative proof method for possibilistic logic and its application to terminological logics. Int J Approx Reason 1995; 12 (2): 85-109.
12. 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. Amsterdam: Elsevier; 2006. pp 101-113.
13. Haase P, Völker J,. Ontology learning and reasoning - dealing with uncertainty and inconsistency. In: Proc Int Workshop on Uncertainty Reasoning for the Semantic Web (URSW'05). Galway, Ireland; 2005. pp 45-55.
14. Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P,. The description logic handbook: Theory, implementation and application. Cambridge, UK: Cambridge University Press; 2007.
15. Borgida A,. On the relationship between description logic and predicate logic. In: Proc 3rd Int Conf on Information and Knowledge Management (CIKM'94), Gaithersburg, MD. New York: ACM; 1994. pp 219-225.
16. Minsky M,. A Framework for representing knowledge. Massachusetts Institute of Technology: Cambridge, MA: 1974.
17. Haase P, van Harmelen F, Huang Z, Stuckenschmidt H, Sure Y,. A framework for handling inconsistency in changing ontologies. In: Proc 4th Int Semantic Web Conf (ISWC'05), Galway, Ireland. Volume 3729 of Lecture Notes in Computer Science. Berlin: Springer; 2005. pp 353-367.
18. Schmidt-Schau M, Smolka G,. Attributive concept descriptions with complements. Artif Intell 1991; 48 (1): 1-26.
19. Mortimer M,. On languages with two variables. Zeit f math Logik u Grundlagen d Math 1975; 21: 135-140.
20. Dubois D, Prade H,. Possibilistic logic: a retrospective and prospective view. Fuzzy Sets Syst 2004; 144 (1): 3-23.
21. Benferhat S, Cayrol C, Dubois D, Lang J, Prade H,. Inconsistency management and prioritized syntax-based entailment. In: Proc 13th Int Joint Conf on Artificial Intelligence (IJCAI'93). Burlington, MA: Morgan Kaufmann; 1993. pp 640-647.
22. Flouris G, Huang Z, Pan JZ, Plexousakis D, Wache H,. Inconsistencies, negations and changes in ontologies. In: Proc 21st National Conf on Artificial Intelligence (AAAI'06), Boston, MA. Menlo Park, CA: AAAI Press; 2006. pp 1295-1300. (Pubitemid 44705453)
23. Lang J,. Possibilistic logic: complexity and algorithms. In:, Gabbay D, Smets Ph, editors. Handbook of defeasible reasoning and uncertainty management systems. Dordrecht, The Netherlands: Kluwer Academic Publishers; 2000. pp 179-220.
24. Cimiano P, Völker J,. Text2onto. In: Proc 10th Int Conf on Applications of Natural Language to Information Systems (NLDB'05), Alicante, Spain. Volume 3513 of Lecture Notes in Computer Science. Berlin: Springer; 2005. pp 227-238.
25. Meilicke C, Stuckenschmidt H,. Applying logical constraints to ontology matching. In: Proc 30th Annual German Conf on AI (KI'07), Osnabruk, Germany. Volume 4667 of Lecture Notes in Computer Science. Berlin: Springer; 2007. pp 99-113.
26. Qi G, Ji Q, Haase P,. A conflict-based operator for mapping revision. In: Proc 8th Int Semantic Web Conference (ISWC'09). Volume 5823 of Lecture Notes in Computer Science. Berlin: Springer; 2009. pp 521-536.
27. Jiménez-Ruiz E, Grau BC, Horrocks I, Llavori RB,. Ontology integration using mappings: towards getting the right logical consequences. In: Proc 6th Eur Semantic Web Conference (ESWC'09), Crete, Greece. Volume 5554 of Lecture Notes in Computer Science. Berlin: Springer; 2009. pp 173-187.
28. Castano S, Ferrara A, Messa G,. Results of the HMatch ontology matchmaker in OAEI 2006. In: Proc 1st Int Workshop on Ontology Matching (OM'06), Athens, GA. Volume 225 of CEUR Workshop Proceedings. CEUR-WS.org; 2006.
29. Borgida A, Serafini L,. Distributed description logics: assimilating information from peer sources. J Data Semantics 2003; 1: 153-184.
30. Calí A, Lukasiewicz T, Predoiu L, Stuckenschmidt H,. Tightly coupled probabilistic description logic programs for the semantic web. J Data Semantics 2009; 12: 95-130.
31. Völker J, Vrandecic D, Sure Y, Hotho A,. Learning disjointness. In: Proc 4th Eur Semantic Web Conference (ESWC'07), Insbruck, Austria. Volume 4519 of Lecture Notes in Computer Science. Berlin: Springer; 2007. pp 175-189. (Pubitemid 47290007)
32. Lukasiewicz T, Straccia U,. Managing uncertainty and vagueness in description logics for the semantic web. J Web Semantics 2008; 6 (4): 291-308.
33. Jaeger M,. Probabilistic reasoning in terminological logics. In: Proc 4th Int Conf on Principles of Knowledge Representation and Reasoning (KR'94). Burlington, MA: Morgan Kaufmann; 1994. pp 305-316.
34. Lukasiewicz T,. Probabilistic default reasoning with conditional constraints. Ann Math Artif Intell 2002; 34 (1-3): 35-88. (Pubitemid 37133001)
35. Stoilos G, Stamou G, Pan JZ, Tzouvaras V, Horrocks I,. Reasoning with very expressive fuzzy description logics. J Artif Intell Res 2007; 30: 273-320.
36. Dubois D, Prade H,. Possibility theory, probability theory and multiple-valued logics: a clarification. Ann Math Artif Intell 2001; 32 (1-4): 35-66.
37. Coste-Marquis S, Marquis P,. On stratified belief base compilation. Ann Math Artif Intell 2004; 42 (4): 399-442. (Pubitemid 39187245)
38. Du J, Qi G, Shen Y-D,. Lexicographical inference over inconsistent DL-based ontologies. In: Proc 2nd Int Conf on Web Reasoning and Rule Systems (RR'08), Karlsruhe, Germany. Volume 5341 of Lecture Notes in Computer Science. Berlin: Springer; 2008. pp 58-73.
39. Qi G, Pan JZ,. A tableau algorithm for possibilistic description logic ALC. In: Proc 3rd Asian Semantic Web Conference (ASWC'08), Bangkok, Thailand. Volume 5367 of Lecture Notes in Computer Science. Berlin: Springer; 2008. pp 61-75.