consistency-knowledge-bases