封闭的世界推理者保护

Question

让个人成为“一个限制”的“实例” 似乎不适用于默认的reasoners。 除了闭合公理或任何封闭的世界推理者之外还有其他方式吗？

Answer 1

是的，它不起作用。说你有

Class: Person
    SubClassOf: name exactly 1 xsd:string

Individual: aPerson
Types: Person

由于开放的世界假设，推理器不会给出不一致。要为aPerson“关闭世界”，您必须告诉推理人aPerson没有名称，您可以说明如下：

 Individual: aPerson
 Types: Person, name max 0 xsd:string

推理器会给出不一致的

。 另请参阅this similar SO queston。