Not logged in.

Contribution Details

Type Conference or Workshop Paper
Scope Discipline-based scholarship
Published in Proceedings Yes
Title Default logics for plausible reasoning with controversial axioms
Organization Unit
Authors
  • Thomas Scharrenbach
  • C d'Amato
  • N Fanizzi
  • R Grütter
  • B Waldvogel
  • Abraham Bernstein
Presentation Type paper
Item Subtype Original Work
Refereed Yes
Status Published in final form
Language
  • English
Event Title 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW-2010)
Event Type workshop
Event Location Shanghai, China
Event Start Date November 7 - 2010
Event End Date November 7 - 2010
Series Name CEUR Workshop Proceedings
Abstract Text Using a variant of Lehmann's Default Logics and Probabilistic Description Logics we recently presented a framework that invalidates those unwanted inferences that cause concept unsatisfiability without the need to remove explicitly stated axioms. The solutions of this methods were shown to outperform classical ontology repair w.r.t. the number of inferences invalidated. However, conflicts may still exist in the knowledge base and can make reasoning ambiguous. Furthermore, solutions with a minimal number of inferences invalidated do not necessarily minimize the number of conflicts. In this paper we provide an overview over finding solutions that have a minimal number of conflicts while invalidating as few inferences as possible. Specifically, we propose to evaluate solutions w.r.t. the quantity of information they convey by recurring to the notion of entropy and discuss a possible approach towards computing the entropy w.r.t. an ABox.
Other Identification Number 1453
PDF File Download from ZORA
Export BibTeX
EP3 XML (ZORA)