Welcome to the InfoSci Platform
Reference Hub9
Towards Practical ABox Abduction in Large Description Logic Ontologies

Towards Practical ABox Abduction in Large Description Logic Ontologies

Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan
Copyright: © 2012 |Volume: 8 |Issue: 2 |Pages: 33
ISSN: 1552-6283|EISSN: 1552-6291|EISBN13: 9781466614864|DOI: 10.4018/jswis.2012040101
Cite Article Cite Article

MLA

Du, Jianfeng, et al. "Towards Practical ABox Abduction in Large Description Logic Ontologies." IJSWIS vol.8, no.2 2012: pp.1-33. http://doi.org/10.4018/jswis.2012040101

APA

Du, J., Qi, G., Shen, Y., & Pan, J. Z. (2012). Towards Practical ABox Abduction in Large Description Logic Ontologies. International Journal on Semantic Web and Information Systems (IJSWIS), 8(2), 1-33. http://doi.org/10.4018/jswis.2012040101

Chicago

Du, Jianfeng, et al. "Towards Practical ABox Abduction in Large Description Logic Ontologies," International Journal on Semantic Web and Information Systems (IJSWIS) 8, no.2: 1-33. http://doi.org/10.4018/jswis.2012040101

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.