Remember the open world assumption. Insert closure restrictions if that is what you mean.

• 注意描述逻辑中的开放世界假设,这与数据库不同,如果需要的化加入封闭世界公理。