Repairing Description Logic Ontologies by Weakening Axioms

Franz Baader, Francesco Kriegel, Adrian Nuradiansyah +1

The classical approach for repairing a Description Logic ontology O in the sense of removing an unwanted consequence $\alpha$ is to delete a minimal number of axioms from O such that th…