Yi-Dong Shen

Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies

2015 · Proceedings of the AAAI Conference on Artificial Intelligence

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 …