Header

UZH-Logo

Maintenance Infos

Structure preserving TBox repair using defaults


Scharrenbach, T; Grütter, R; Waldvogel, B; Bernstein, A (2010). Structure preserving TBox repair using defaults. In: 23rd International Workshop on Description Logics (DL 2010), Waterloo, Canada, 2010 - 2010, 384-395.

Abstract

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.

Abstract

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.

Statistics

Citations

4 citations in Scopus®
5 citations in Microsoft Academic
Google Scholar™

Downloads

104 downloads since deposited on 24 Feb 2011
21 downloads since 12 months
Detailed statistics

Additional indexing

Item Type:Conference or Workshop Item (Paper), refereed, original work
Communities & Collections:03 Faculty of Economics > Department of Informatics
Dewey Decimal Classification:000 Computer science, knowledge & systems
Language:English
Event End Date:2010
Deposited On:24 Feb 2011 16:03
Last Modified:09 Aug 2018 04:00
Series Name:CEUR Workshop Proceedings
OA Status:Green
Other Identification Number:1392

Download

Download PDF  'Structure preserving TBox repair using defaults'.
Preview
Filetype: PDF
Size: 190kB