In other words, this formalization of the closed-world assumption sometimes turns a consistent knowledge base into an inconsistent one.
换句话说，封闭世界假定的这种形式化有时把相容的知识库转变成矛盾的。