Get my pizza right: Repairing missing is-a relations in ALC ontologies (extended version)

TL;DR

This paper addresses repairing missing is-a relations in ALC ontologies, extending previous taxonomy-focused work to more complex ontologies, and presents algorithms and a system for this purpose.

Contribution

It introduces new algorithms for repairing missing is-a relations in ALC ontologies and extends prior work from taxonomies to more expressive ontologies.

Findings

Algorithms effectively identify missing is-a relations.

System implementation demonstrates practical repair capabilities.

Extension from taxonomies to ALC ontologies broadens applicability.

Abstract

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.