Document Type
Conference Proceeding
Publication Date
1-1-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.
Repository Citation
Ma, Y.,
Qi, G.,
Hitzler, P.,
& Li, Z.
(2007). Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. Lecture Notes in Computer Science, 4724, 30-41.
https://corescholar.libraries.wright.edu/cse/123
DOI
10.1007/978-3-540-75256-1_6
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Presented at the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Hammamet, Tunisia, October 31-November 2, 2007.
Attached is the unpublished, peer-reviewed version of this proceeding. The final, publisher's version can be found at http://dx.doi.org/10.1007/978-3-540-75256-1_6.