protege - 封闭世界推理师门生

Question

通过“恰好 1 个限制”使个人成为一个类的“实例”似乎不适用于 protege 中的默认推理器。除了闭包公理或任何封闭世界推理器之外，还有其他方法吗？

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

推理者会给出不一致的地方。另请参阅此类似的 SO queston。