Document Type

Conference Proceeding

Publication Date

6-1-2007

Abstract

In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four-valued semantics for the description logic ALC. Then an ordering over inconsistent ontologies is given by considering their inconsistency degrees. Our measure of inconsistency can provide important information for inconsistency handling.

Comments

Presented at the 20th International Workshop on Description Logics, Brixen-Bressanone, June 8-10th, 2007.

Another version of this paper is available at http://corescholar.libraries.wright.edu/knoesis/447/.