Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies


ABox abduction plays an important role in reasoning over description logic (DL) ontologies. However, it does not work with inconsistent DL ontologies. To tackle this problem while achieving tractability, we generalize ABox abduction from the classical semantics to an inconsistency-tolerant semantics, namely the Intersection ABox Repair (IAR) semantics, and propose the notion of IAR-explanations in inconsistent DL ontologies. We show that computing all minimal IARexplanations is tractable in data complexity for first-order rewritable ontologies. However, the computational method may still not be practical due to a possibly large number of minimal IAR-explanations. Hence we propose to use preference information to reduce the number of explanations to be computed. In particular, based on the specificity of explanations, we introduce the notion of ⊆cps-cminimal IARexplanations, which can be computed in a highly efficient way. Accordingly, we propose a tractable level-wise method for computing all ⊆cps-cminimal IAR-explanations in a firstorder rewritable ontology. Experimental results on benchmarks of inconsistent ontologies show that the proposed method scales to tens of millions of assertions and can be

Extracted Key Phrases

2 Figures and Tables

Cite this paper

@inproceedings{Du2015TowardsTA, title={Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies}, author={Jianfeng Du and Kewen Wang and Yi-Dong Shen}, booktitle={AAAI}, year={2015} }