个查询的结果基于的是封闭世界假定，与之相对，在开放世界假定中，没有明确的陈述的事物是未知的而不是假的。在开放世界假定中，Sarah编辑这个文章是未知的；在封闭世界假说中，她没有编辑这个文章是已知的。
逻辑形式化.封闭世界假定首要逻辑形式化在于向知识库增加当前不被它所蕴涵的文字。如果知识库是Horn范式的，则这种增加的结果总是相容的，但是在其他情况下就不保证了。例如，知识库不蕴涵formula_2也不蕴涵formula_3。向知识库增加这两个文字的否定会导致这是矛盾的。换句话