Structure Preserving TBox Repair using Defaults

@inproceedings{Scharrenbach2010StructurePT,
  title={Structure Preserving TBox Repair using Defaults},
  author={Thomas Scharrenbach and Rolf Gr{\"u}tter and Bettina Waldvogel and Abraham Bernstein},
  booktitle={Description Logics},
  year={2010}
}
Unsatisfiable concepts are a major cause for inconsistencies in Description Logics knowledge bases. Popular methods for repairing such concepts aim to remove or rewrite axioms to resolve the conflict by the original logics used. Under certain conditions, however, the structure and intention of the original axioms must be preserved in the knowledge base. This, in turn, requires changing the underlying logics for repair. In this paper, we show how Probabilistic Description Logics, a variant of… CONTINUE READING