ABox abduction inALCusing a DL tableau

Ken Halland, Katarina Britz
2012 Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference on - SAICSIT '12  
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 [8] have provided an algorithm for performing ABox abduction in the description logic ALC by converting the knowledge base and observation to
more » ... r 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.
doi:10.1145/2389836.2389843 dblp:conf/saicsit/HallandB12 fatcat:vtxcecuovfanvmfhptodybwzji