封闭的世界推理蛋白质

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

推理者会给它带来不一致的情况。另请参阅此类似的Queston。