Abduction Framework for Repairing Incomplete EL Ontologies: Complexity Results and Algorithms
2014 (English)In: Proceedings of the 28th AAAI Conference on Artificial Intelligence, Palo Alto, CA, USA: AAAI Press, 2014, 1120-1127 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
Palo Alto, CA, USA: AAAI Press, 2014. 1120-1127 p.
ontology; ontology debugging; semantic web, knowledge representation; abductive reasoning
IdentifiersURN: urn:nbn:se:liu:diva-109039ScopusID: 2-s2.0-84908159683ISBN: 9781577356783OAI: oai:DiVA.org:liu-109039DiVA: diva2:735765
28th AAAI Conference on Artificial Intelligence
FunderSwedish e‐Science Research CenterCUGS (National Graduate School in Computer Science)