Sciweavers

DLOG
2010

Structure Preserving TBox Repair using Defaults

13 years 1 months ago
Structure Preserving TBox Repair using Defaults
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 Reiter's default logics with Lehmann's Lexicographical Entailment, can be used to resolve conflicts fully-automatically and receive a consistent knowledge base from which inferences can be drawn again. Key words: default logics, unsatisfiability, justifications, TBox repair
Thomas Scharrenbach, Rolf Grütter, Bettina Wa
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where DLOG
Authors Thomas Scharrenbach, Rolf Grütter, Bettina Waldvogel, Abraham Bernstein
Comments (0)