Distance-Based Measures of Inconsistency and Incoherency for Description Logics
Yue Ma, Pascal Hitzler · Journal of Bioresource Management · 2010
Abstract. Inconsistency and incoherency are two sorts of erroneous informa-tion in a DL ontology which have been widely discussed in ontology-based ap-plications. For example, they have been used to detect modeling errors during ontology construction. To provide more informative metrics which can tell the differences between inconsistent ontologies and between incoherent terminolo-gies, there has been some work on measuring inconsistency of an ontology and on measuring incoherency of a terminology. However, most of them merely fo-cus either on measuring inconsistency or on measuring incoherency and no clear ideas of how to extend them to allow for the other. In this paper, we propose a novel approach to measure DL ontologies, named distance-based measures. It has the merits that both inconsistency and incoherency can be measured in a unified framework. Moreover, only classical DL interpretations are used such that there is no restriction on the DL languages used. 1