Abduction Framework for Repairing Incomplete EL Ontologies: Complexity Results and Algorithms
DOI:
https://doi.org/10.1609/aaai.v28i1.8858Keywords:
ontology engineering, ontology debugging, abductionAbstract
In this paper we consider the problem of repairing missing is-a relations in ontologies. We formalize the problem as a generalized TBox abduction problem (GTAP). Based on this abduction framework, we present complexity results for the existence, relevance and necessity decision problems for the GTAP with and without some specific preference relations for ontologies that can be represented using a member of the EL family of description logics. Further, we present algorithms for finding solutions, a system as well as experiments.
Downloads
Published
2014-06-21
How to Cite
Wei-Kleiner, F., Dragisic, Z., & Lambrix, P. (2014). Abduction Framework for Repairing Incomplete EL Ontologies: Complexity Results and Algorithms. Proceedings of the AAAI Conference on Artificial Intelligence, 28(1). https://doi.org/10.1609/aaai.v28i1.8858
Issue
Section
AAAI Technical Track: Knowledge Representation and Reasoning