An Approach to Detect All Axioms Responsible for Unsatisfiable Concepts in Ontology

In order to debug inconsistent ontology, all axioms responsible for unsatisfiable concepts should be accurately identified. A recent, well-known axiom-pinpointing method for ontology debugging employs an approach that individually eliminates each previous found culprit axiom to find other axioms responsible for the same unsatisfiable concept. If the use of a tableau algorithm based reasoner results in dependency relations between axioms responsible for an unsatisfiable concept, the approach cannot be used to find all culprit axioms. In this paper, we propose a new ATMS-based approach for axiom pinpointing. The proposed approach records the inference steps of a reasoner and manages the multiple causes of a logical error in the inference results. Therefore, the proposed approach can be used to find all axioms that are responsible for an unsatisfiable concept.