Distance-based Measures of Inconsistency and Incoherency for Description Logics

TitleDistance-based Measures of Inconsistency and Incoherency for Description Logics
Publication TypeConference Proceedings
Year of Publication2010
AuthorsYue Ma, Pascal Hitzler
Publisher23rd International Workshop on Description Logics (DL2010)
Conference LocationWaterloo, Canada
Abstract

Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. 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 terminologies, there has been some work on measuring inconsistency of an ontology and on measuring incoherency of a terminology. However, most of them merely focus 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.

Full Text

Yue Ma and Pascal Hitzler'Distance-based Measures of Inconsistency and Incoherency for Description Logics,' Proceedings of the 23rd International Workshop on Description Logics (DL2010), Waterloo, Canada, 2010, pp. 475-485.
pages: 475-485
year: 2010
venue name: 23rd International Workshop on Description Logics (DL2010)