Axiom Pinpointing Using an Assumption-Based Truth Maintenance System.
Hai H. Nguyen, Natasha Alechina, Brian S. Logan · 2012
The problem of axiom pinpointing [1, 22], that is, finding the minimal set of axioms responsible for an unwanted consequence, is an important problem in ontology debugging. One approach to identifying the axioms responsible for an unwanted consequence is to trace dependencies between inferences leading to the consequence. Several authors