ABSTRACT
The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed by the knowledge base. ABox abduction in description logics (DLs) asks what ABox statements need to be added to a DL knowledge base to allow an observation (also in the form of ABox statements) to be entailed. Klarman et al have provided an algorithm for performing ABox abduction in the description logic ALC by converting the knowledge base and observation to first-order logic, using a connection tableau to obtain abductive solutions, and then converting these back to DL syntax. In this paper we describe how this can be done directly using a DL tableau.
- Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook, Cambridge University Press, 2003. Google ScholarDigital Library
- Baader, F., Horrocks, I., Sattler, U.: Chapter 3: Description Logics. In: van Harmelen, F., Lifschitz, V., Porter, B., editors: Handbook of Knowledge Representation, Elsevier, 2007.Google Scholar
- Baader, F., Sertkaya, B., Turhan, A.: Computing the least common subsumer w.r.t. a background terminology, Journal of Applied Logic, Springer, 2004.Google ScholarCross Ref
- Di Noia, T., Di Sciascio, E., Donini, F. M.: Computing information minimal match explanations for logic-based matchmaking, in Proc. of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02, IEEE Computer Society, 2009. Google ScholarDigital Library
- Du, J. Qi, G., Shen, Y-D., Pan, J. Z.: Towards practical ABox abduction in large OWL DL ontologies, in Proc. of the 25th AAAI Conference, 2011.Google Scholar
- Elsenbroich, C., Kutz, O., Sattler, U.: A case for abductive reasoning over ontologies, in Proc. of the OWLED'06 Workshop, vol 216, 2006.Google Scholar
- Halland, K., Britz, K.: Naïve Abox abduction in ALC using a DL tableau, in Proc. of DL2012, pp 443--453, 2012.Google Scholar
- Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ, in Proc. of KR2006, pp 57--67, 2006.Google Scholar
- Klarman, S., Endriss, U., Schlobach, S.: ABox abduction in the description logic ALC, Journal of Automated Reasoning, vol 46: 1, 2011. Google ScholarDigital Library
- Lin, F.: On strongest necessary and weakest sufficient conditions, in Proc. of KR2000, pp 167--175, 2000.Google Scholar
- Reiter, R.: A theory of diagnosis from first principles, Artificial Intelligence, vol 32, 1987. Google ScholarDigital Library
- Schild, K.: A correspondence theory for terminological logics: preliminary report. In Proc. of IJCAI'91, pp 446--471, 1991. Google ScholarDigital Library
- Wotawa, F.: A variant of Reiter's hitting-set algorithm, Information Processing Letters, vol 79, 2001. Google ScholarDigital Library
Index Terms
- ABox abduction in ALC using a DL tableau
Recommendations
ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$
Due to the growing popularity of Description Logics-based knowledge representation systems, predominantly in the context of Semantic Web applications, there is a rising demand for tools offering non-standard reasoning services. One particularly ...
Towards Practical ABox Abduction in Large Description Logic Ontologies
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 ...
Inconsistency-tolerant reasoning with OWL DL
The Web Ontology Language (OWL) is a family of description logic based ontology languages for the Semantic Web and gives well defined meaning to web accessible information and services. The study of inconsistency-tolerant reasoning with description logic ...
Comments