Towards practical ABox abduction in large OWL DL ontologies

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2011, Pages 1160-1165

  Du, Jianfeng ^a,b   Qi, Guilin ^c,d   Shen, Yi Dong ^e   Pan, Jeff Z ^f  

^a GUANGDONG UNIVERSITY OF FOREIGN STUDIES   (China)

^b INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

^c SOUTHEAST UNIVERSITY   (China)

^d NANJING UNIVERSITY   (China)

^e INSTITUTE OF SOFTWARE   (China)

^f UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABDUCTIVE REASONING; DESCRIPTION LOGIC; FINITE TIME; MINIMALITY; NOVEL METHODS;

ARTIFICIAL INTELLIGENCE; DATA DESCRIPTION; LOGIC PROGRAMMING; PROLOG (PROGRAMMING LANGUAGE);

ONTOLOGY;

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

References (16)

1. Elsenbroich, C.; Kutz, O.; and Sattler, U. 2006. A case for abductive reasoning over ontologies. In Proc. of OWLED'06 Workshop.
2. Fitting, M. 1996. First-order Logic and Automated Theorem Proving (2nd ed.). Secaucus, NJ, USA: Springer-Verlag New York, Inc.
3. Guo, Y.; Pan, Z.; and Heflin, J. 2005. LUBM: A benchmark for OWL knowledge base systems. Journal of Web Semantics 3(2-3):158-182. (Pubitemid 41336740)
4. Horrocks, I.; Patel-Schneider, P. F.; and van Harmelen, F. 2003. From SKIQ and RDF to OWL: the making of a web ontology language. Journal of Web Semantics 1(1):7-26.
5. Hubauer, T.; Lamparter, S.; and Pirker, M. 2010. Automata-based abduction for tractable diagnosis. In Proc. of DL'10 Workshop.
6. Hustadt, U.; Motik, B.; and Sattler, U. 2007. Reasoning in description logics by a reduction to disjunctive datalog. Journal of Automated Reasoning 39(3):351-384. (Pubitemid 47340921)
7. Kakas, A. C.; Kowalski, R. A.; and Toni, F. 1998. The Role of Abduction in Logic Programming. Oxford University Press, chapter 5, 235-324.
8. Kakas, A. C.; Nuffelen, B. V.; and Denecker, M. 2001. A-System: Problem solving through abduction. In Proc. of IJCAI'01, 591-596.
9. Klarman, S.; Endriss, U.; and Schlobach, S. 2011. Abox abduction in the description logic ALC. Journal of Automated Reasoning 46(1):43-80.
10. Ma, L.; Yang, Y.; Qiu, Z.; Xie, G.; Pan, Y.; and Liu, S. 2006. Towards a complete OWL ontology benchmark. In Proc. of ESWC'06, 125-139.
11. Mancarella, P.; Terreni, G.; Sadri, F.; Toni, F.; and Endriss, U. 2009. The ciff proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. Theory and Practice of Logic Programming 9(6):691-750.
12. Motik, B., and Sattler, U. 2006. A comparison of reasoning techniques for querying large description logic aboxes. In Proc. of LPAR'06, 227-241.
13. Noia, T. D.; Sciascio, E. D.; and Donini, F. M. 2007. Semantic matchmaking as non-monotonic reasoning: A description logic approach. Journal of Artificial Intelligence Research 29:269-307. (Pubitemid 47477594)
14. Noia, T. D.; Sciascio, E. D.; and Donini, F. M. 2009. A tableaux-based calculus for abduction in expressive description logics: Preliminary results. In Proc. of DL'09 Workshop.
15. Peraldi, I.; Kaya, A.; Melzer, S.; Möller, R.; and Wessel, M. 2007. Towards a media interpretation framework for the semantic web. In Proc. of WI'07, 374-380.
16. Shen, Y.; Yuan, L.; You, J.; and Zhou, N. 2001. Linear tabulated resolution based on prolog control strategy. Theory and Practice of Logic Programming 1(1):71-103. (Pubitemid 33684561)