A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
ABox abduction inALCusing a DL tableau
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
doi:10.1145/2389836.2389843
dblp:conf/saicsit/HallandB12
fatcat:vtxcecuovfanvmfhptodybwzji