Protege问题：本体中类的对象属性断言

Question

如果我对本体中“class1”的所有实例都有相同的对象属性值“val1”，我如何推断该“class1”的对象属性值为“val1”

Answer 1

为了更清楚地说明这一点，假设您有class1和对象属性property1。我们进一步假设，对于class1，唯一显式指定的实例是C1、C2和C3。此外，我们还有以下内容:property1(c1,val1)property1(c2,val1)property1(c3,val1)

现在，由于您已知的C1...C3实例通过Property1链接到Val1上，因此您希望推断，当Property1(x,y)其中x属于Class1类型时，它必须遵循y=Val1。

由于开放世界假设，可能存在另一个实例，例如c4，其类型为class1，该实例通过property1与val2相关。因此，推理者将无法进行这种推断。

不过，您可以使用规则来完成此操作。使用SWRL，您可以声明class1（？x)=>property1（？x,？val1)。这说明只要您有class1的实例，它就会通过property1链接到val1。