Repairing missing is-a structure in ontologies is an abductive reasoning problem
2013 (English)In: Proceedings of the Second International Workshop on Debugging Ontologies and Ontology Mappings / [ed] Patrick Lambrix; Guilin Qi; Matthew Horridge; Bijan Parsia, Rheinisch-Westfaelische Technische Hochschule Aachen University , 2013, 33-44 p.Conference paper (Refereed)
With the increased use of ontologies in semantically-enabled applications, the issue of debugging defects in ontologies has become increasingly important. These defects can lead to wrong or incomplete results for the applications. Debugging consists of the phases of detection and repairing. In this paper we focus on the repairing phase of a particular kind of defects, i.e., the missing relations in the is-a hierarchy. We show that this can be formalized as an abduction problem. Further, we define properties for the ontology, the set of is-a relations to repair and the domain expert, as well as preference criteria on solutions and discuss the influences of these properties and criteria on the existence of solutions for the abduction problem. We also discuss the consequences of our analyses of the repairing problem for the development and use of debugging systems.
Place, publisher, year, edition, pages
Rheinisch-Westfaelische Technische Hochschule Aachen University , 2013. 33-44 p.
CEUR Workshop Proceedings, ISSN 1613-0073 ; 999
ontology debugging, ontology engineering, knowledge representation
IdentifiersURN: urn:nbn:se:liu:diva-93928OAI: oai:DiVA.org:liu-93928DiVA: diva2:627748
Second International Workshop on Debugging Ontologies and Ontology Mappings (WoDOOM 2013), Montpellier, France, May 27, 2013
FunderSwedish e‐Science Research CenterSwedish Research Council, 2010-4759CUGS (National Graduate School in Computer Science)