The Modularity Of Inconsistent Knowledge Bases With Application To Measuring Inconsistency

Inconsistency is one of the important issues in knowledge systems, especially with the advent of the world wide web. Given a context of inconsistency characterization, not all the primitive conflicts in an inconsistent knowledge base are independent of one another in many cases. The primitive conflicts tightly associated with each other should be considered as a whole in handling inconsistency. In this paper, we consider the modularity of inconsistency arising in a knowledge base, which provides a promising starting point for parallel inconsistency handling in very large knowledge bases. Then we propose a modularity-based approach to measuring inconsistency for knowledge bases.