Not logged in.

Contribution Details

Type Conference or Workshop Paper
Scope Discipline-based scholarship
Published in Proceedings Yes
Title Structure preserving TBox repair using defaults
Organization Unit
  • Thomas Scharrenbach
  • R Grütter
  • B Waldvogel
  • Abraham Bernstein
Presentation Type paper
Item Subtype Original Work
Refereed Yes
Status Published in final form
  • English
Page Range 384 - 395
Event Title 23rd International Workshop on Description Logics (DL 2010)
Event Type workshop
Event Location Waterloo, Canada
Event Start Date January 1 - 2010
Event End Date January 1 - 2010
Series Name CEUR Workshop Proceedings
Abstract Text 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.
Other Identification Number 1392; merlin-id:127
PDF File Download from ZORA
Export BibTeX