Towards Practical ABox Abduction in Large Description Logic Ontologies

Jianfeng Du, Guilin Qi, Yi-Dong Shen and Jeff Z. Pan
Additional contact information
Jianfeng Du: Guangdong University of Foreign Studies & State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China
Guilin Qi: Southeast University & Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, China
Yi-Dong Shen: State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China
Jeff Z. Pan: University of Aberdeen, UK

International Journal on Semantic Web and Information Systems (IJSWIS), 2012, vol. 8, issue 2, 1-33

Abstract: ABox abduction is an important reasoning facility in Description Logics (DLs). It finds all minimal sets of ABox axioms, called abductive solutions, which should be added to a background ontology to enforce entailment of an observation which is a specified set of ABox axioms. However, ABox abduction is far from practical by now because there lack feasible methods working in finite time for expressive DLs. To pave a way to practical ABox abduction, this paper proposes a new problem for ABox abduction and a new method for computing abductive solutions accordingly. The proposed problem guarantees finite number of abductive solutions. The proposed method works in finite time for a very expressive DL, , which underpins the W3C standard language OWL 2, and guarantees soundness and conditional completeness of computed results. Experimental results on benchmark ontologies show that the method is feasible and can scale to large ABoxes.

Date: 2012
References: Add references at CitEc
Citations:

Downloads: (external link)
https://services.igi-global.com/resolvedoi/resolve ... 018/jswis.2012040101 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jswis0:v:8:y:2012:i:2:p:1-33

Access Statistics for this article

International Journal on Semantic Web and Information Systems (IJSWIS) is currently edited by Brij Gupta

More articles in International Journal on Semantic Web and Information Systems (IJSWIS) from IGI Global
Bibliographic data for series maintained by Journal Editor ().