Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics

@inproceedings{Ma2007MeasuringIF,
  title={Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics},
  author={Yue Ma and Guilin Qi and Pascal Hitzler and Zuoquan Lin},
  booktitle={Description Logics},
  year={2007}
}
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 logicALC. Then an ordering over knowledge bases is given by considering their inconsistency degrees. Our measure of inconsistency can provide important information for… CONTINUE READING