Rational elimination of DL-Lite TBox axioms

Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Grigoris Antoniou

Research output: Contribution to journalConference articlepeer-review


An essential task in managing description logic (DL) ontologies is the elimination of problematic axioms. Such elimination is formalised as the operation of contraction in belief change. In this paper, we investigate contraction over DL-LiteR TBoxes. In belief change, a well known approach for defining contraction is via epistemic entrenchments which are preference orderings over formulas. The approach however is not applicable in DL-LiteR as classic belief change assumes an underlying logic that is different from DL-LiteR. Thus we reformulate the epistemic entrenchment approach to make it applicable to DL-LiteR.We then provide instantiation for the reformulated approach.

Original languageEnglish
Article number40
Pages (from-to)746-756
Number of pages11
JournalCEUR Workshop Proceedings
Publication statusPublished - 17 Jul 2014
Event27th International Workshop on Description Logics - Vienna, Austria
Duration: 17 Jul 201420 Jul 2014
Conference number: 27


Dive into the research topics of 'Rational elimination of DL-Lite TBox axioms'. Together they form a unique fingerprint.

Cite this