OWL：属性的倒数

Question

假设我们有四个属性：

ObjectProperty: superProp1 
       InverseOf: superProp3   

ObjectProperty: prop1  
      InverseOf: prop2       
      SubPropertyOf:superProp1   

ObjectProperty: prop2  
      InverseOf: prop1   

ObjectProperty: superProp3 

正在运行的小球可以推断出prop2是superProp3的子属性。我无法理解这个结果。

Answer 1

Mayne使用较少的抽象命名可以使您对正在发生的事情有感觉：

让我们考虑一个属性：湿

您已定义湿是干的倒数。您还定义了ReallyWet，它与ReallyDry和Wet属性的特殊化相反：成为ReallyWet总是意味着您也很湿。

然后您将ReallyWet定义为ReallyDry的逆数

规则可能是：干是湿的反面ReallyDry与ReallyWet相反ReallyDry是Dry的子属性->RealWet是Dry子属性的逆，因此应该是Dry逆的子属性。因此，ReallyWet是Wet的子属性。

听起来合理吗？我认为颗粒可以解释其推论出三元组的规则。