如何基于多个断言DataProperty推断OWL实例的等价性？

首先，先对齐你的需求场景：你定义了ex:Stick类，搭配ex:hasWidth和ex:hasHeight两个数据属性，希望同时拥有相同宽度和高度的Stick实例被推断为owl:SameAs，但仅单一属性值相同的实例（比如Instance3和Instance1高度相同、宽度不同，Instance4和Instance1宽度相同、高度不同）不能被判定为等价，同时还要避免本体出现不一致问题。

你之前的误区：owl:HasKey支持多属性组合 #

你提到owl:HasKey仅支持单个数据属性，这其实是个误解！owl:HasKey的语法允许为一个类指定多个属性的组合作为唯一标识键——也就是说，只有当两个实例在所有指定的键属性上取值都完全相同时，才会被推断为owl:SameAs；只要有一个属性值不同，就不会被判定为等价。

正确的本体实现方式 #

你只需要给ex:Stick类声明一个包含ex:hasWidth和ex:hasHeight的复合键，而非给每个属性单独添加owl:HasKey声明。这样就能精准实现你想要的等价推断逻辑：

ex:Stick a owl:Class ;
    owl:hasKey ( ex:hasWidth ex:hasHeight ) .

ex:hasWidth a owl:DataTypeProperty .
ex:hasHeight a owl:DataTypeProperty .

ex:Instance1 a ex:Stick ;
    ex:hasWidth "1"^^xsd:string ;
    ex:hasHeight "20"^^xsd:string .

ex:Instance2 a ex:Stick ;
    ex:hasWidth "1"^^xsd:string ;
    ex:hasHeight "20"^^xsd:string .

ex:Instance3 a ex:Stick ;
    ex:hasWidth "2"^^xsd:string ;
    ex:hasHeight "20"^^xsd:string .

ex:Instance4 a ex:Stick ;
    ex:hasWidth "1"^^xsd:string ;
    ex:hasHeight "30"^^xsd:string .

为什么之前的方法会导致不一致？ #

如果你给ex:hasWidth和ex:hasHeight分别添加owl:HasKey声明（也就是给ex:Stick类两次单独设置单属性键），这会强制要求每个属性的值必须全局唯一：

• 所有Stick实例的width必须互不相同，同时height也必须互不相同
• 但你的Instance1、Instance2、Instance4的width都是"1"，Instance1、Instance2、Instance3的height都是"20"，这直接违反了单属性键的唯一性约束，所以本体会出现不一致。

效果验证 #

用OWL推理机（比如Pellet、HermiT）处理上述正确的本体后：

• ex:Instance1和ex:Instance2会被推断为owl:SameAs（因为width和height完全匹配）
• ex:Instance3、ex:Instance4与其他实例之间不会产生等价推断（因为至少有一个属性值不匹配）

这样就完全符合你的需求了！

内容的提问来源于stack exchange，提问作者Reinier.van.der.Horst