Get my pizza right: Repairing missing is-a relations in ALC ontologies (extended version)
This work addresses debugging issues in ontologies for semantically-enabled applications, but it is incremental as it builds on prior methods for taxonomies.
The paper tackles the problem of repairing missing is-a relations in ALC ontologies, extending previous work from taxonomies to acyclic terminologies, and presents algorithms and a system for this purpose.
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. Previous work has dealt with the case of taxonomies. In this work we extend the scope to deal with ALC ontologies that can be represented using acyclic terminologies. We present algorithms and discuss a system.