Sciweavers

ECSQARU
2007
Springer

Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics

13 years 9 months ago
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
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.
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where ECSQARU
Authors Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
Comments (0)