An Approach to Measuring Inconsistency for DL-Lite Ontologies

Measuring the inconsistency degree of an ontology is an important topic in ontology engineering as it can provide extra information for dealing with inconsistency. In this paper, we propose an approach to measuring inconsistency in a DL-Lite ontology and simply point out the useless of inconsistency degree. We first define three-valued semantics for DL-Lite, then through using three-valued semantics, we get a definition of the inconsistency degree for a DL-Lite ontology. The inconsistency degree about an ontology that we obtain is only one value, which is very suitable for application compared to existing inconsistency degree which is an infinite sequence.