Measuring Inconsistency in DL-Lite Ontologies

Liping Zhou (1) , Houkuan Huang (1) , Guilin Qi (2) , Yue Ma (3) , Zhisheng Huang (4) , Youli Qu (1)

1 CSE - Department of Computer Science and Engineering [Shanghai]
2 AIFB - Institut für Angewandte Informatik und Formale Beschreibungsverfahren [Karlsruhe]
3 LIPN - Laboratoire d'Informatique de Paris-Nord
4 Computer Systems Section - Vrije Universiteit Amsterdam

Measuring Inconsistency in ontologies is an important topic in ontology engineering as it can provide extra information for dealing with inconsistency. Many approaches have been proposed to deal with this issue. However, the main drawback of these algorithms is their high computational complexity. One of the main sources of the high complexity is the intractability of the underlying Description Logics (DLs). In this paper, we focus on an important tractable DL family, DL-Lite. We define an inconsistency degree of a DL-Lite ontology based on a three-valued semantics. We also present an algorithm to compute this inconsistency degree and show that its time-complexity is PTime in the size of ABox and TBox.

Mots clés: Measuring; Inconsistency Degree; DL-Lite; Ontologies

Domaines: Intelligence artificielle [cs.AI]

Liping Zhou, Houkuan Huang, Guilin Qi, Yue Ma, Zhisheng Huang, et al.. Measuring Inconsistency in DL-Lite Ontologies. The 2009 IEEE / WIC / ACM International Conferences on Web Intelligence (WI'09), Sep 2009, Milan, Italy. pp.349-356. ⟨hal-00422876⟩