Towards practical ABox abduction in large OWL DL ontologies

J. Du, G. Qi, Y.-D. Shen, J.Z. Pan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

21 Citations (Scopus)

Abstract

ABox abduction is an important aspect for abductive reasoning in Description Logics (DLs). It finds all minimal sets of ABox axioms that should be added to a background ontology to enforce entailment of a specified set of ABox axioms. As far as we know, by now there is only one ABox abduction method in expressive DLs computing abductive solutions with certain minimality. However, the method targets an ABox abduction problem that may have infinitely many abductive solutions and may not output an abductive solution in finite time. Hence, in this paper we propose a new ABox abduction problem which has only finitely many abductive solutions and also propose a novel method to solve it. The method reduces the original problem to an abduction problem in logic programming and solves it with Prolog engines. Experimental results show that the method is able to compute abductive solutions in benchmark OWL DL ontologies with large ABoxes.
Original languageEnglish
Title of host publicationProceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, 7-11 August 2011, San Francisco, California, USA
PublisherAAAI Press
Pages1160-1165
Number of pages6
ISBN (Print)978-157735509-0
Publication statusPublished - 1 Jan 2011
Event25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 - San Francisco, United States
Duration: 7 Aug 201111 Aug 2011

Conference

Conference25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11
CountryUnited States
CitySan Francisco
Period7/08/1111/08/11

Keywords

  • abductive reasoning
  • description logic
  • finite time
  • minimality
  • novel methods

Fingerprint Dive into the research topics of 'Towards practical ABox abduction in large OWL DL ontologies'. Together they form a unique fingerprint.

  • Cite this

    Du, J., Qi, G., Shen, Y-D., & Pan, J. Z. (2011). Towards practical ABox abduction in large OWL DL ontologies. In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, 7-11 August 2011, San Francisco, California, USA (pp. 1160-1165). AAAI Press.