A Conceptual Model for Consistency of Knowledge Bases