Rational elimination of DL-Lite TBox axioms

Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Grigoris Antoniou

Research output: Contribution to journalArticle

Abstract

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
Pages (from-to)746-756
Number of pages11
JournalCEUR Workshop Proceedings
Volume1193
Publication statusPublished - 2014

Fingerprint

Ontology

Cite this

Zhuang, Z., Wang, Z., Wang, K., & Antoniou, G. (2014). Rational elimination of DL-Lite TBox axioms. CEUR Workshop Proceedings, 1193, 746-756.
Zhuang, Zhiqiang ; Wang, Zhe ; Wang, Kewen ; Antoniou, Grigoris. / Rational elimination of DL-Lite TBox axioms. In: CEUR Workshop Proceedings. 2014 ; Vol. 1193. pp. 746-756.
@article{2d2b5f408ba140938f1ccf764a8376b1,
title = "Rational elimination of DL-Lite TBox axioms",
abstract = "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.",
author = "Zhiqiang Zhuang and Zhe Wang and Kewen Wang and Grigoris Antoniou",
year = "2014",
language = "English",
volume = "1193",
pages = "746--756",
journal = "CEUR Workshop Proceedings",
issn = "1613-0073",
publisher = "CEUR Workshop Proceedings",

}

Zhuang, Z, Wang, Z, Wang, K & Antoniou, G 2014, 'Rational elimination of DL-Lite TBox axioms', CEUR Workshop Proceedings, vol. 1193, pp. 746-756.

Rational elimination of DL-Lite TBox axioms. / Zhuang, Zhiqiang; Wang, Zhe; Wang, Kewen; Antoniou, Grigoris.

In: CEUR Workshop Proceedings, Vol. 1193, 2014, p. 746-756.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Rational elimination of DL-Lite TBox axioms

AU - Zhuang, Zhiqiang

AU - Wang, Zhe

AU - Wang, Kewen

AU - Antoniou, Grigoris

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84992609436&partnerID=8YFLogxK

M3 - Article

VL - 1193

SP - 746

EP - 756

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

ER -