Root justifications for ontology repair

Abstract

In recent years, there has been significant progress in developing tools for debugging and repairing Description Logic (DL)-based ontologies with erroneous consequences. However, these tools place more emphasis on explaining why the consequences follow from the ontology rather than on eliminating them. Another shortcoming in existing tools is that there is no common approach for eliminating or handling different types of erroneous consequences in the ontology. By extending existing principles in ontology repair, the authors goal is to define one such a common approach. They've implemented a Protege plugin to demonstrate our approach and we evaluate it against the traditional ones.