Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics

TitleMeasuring Inconsistency for Description Logics Based on Paraconsistent Semantics
Publication TypeConference Paper
Year of Publication2007
AuthorsYue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
Publisherthe 2007 International Workshop on Description Logics (DL-2007)
Abstract

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

Full Text

Yue Ma, Guilin Qi, Pascal Hitzler and Zuoquan Lin,'Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics,' Proceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007.
year: 2007
venue name: the 2007 International Workshop on Description Logics (DL-2007)

Related Files: