Rdf 如何指定属性的组合意味着另一个属性
在OWL2中，是否有一种方法可以指定，如果某些属性组合应用于实体之间，那么其他属性也会隐式应用？也就是说，如果R（S，O）成立，P（S，O）成立，那么Q（S，O）也成立 我知道这在类中是可能的，但我找不到一种方法来处理属性Rdf 如何指定属性的组合意味着另一个属性,rdf,owl,Rdf,Owl,在OWL2中，是否有一种方法可以指定，如果某些属性组合应用于实体之间，那么其他属性也会隐式应用？也就是说，如果R（S，O）成立，P（S，O）成立，那么Q（S，O）也成立 我知道这在类中是可能的，但我找不到一种方法来处理属性 例如，作为一个有缺陷的例子，考虑属性：比要大，：是的兄弟，而：是的哥哥。显然，如果前两个在两个实体之间成立，那么第三个也成立，但是我想告诉推理者自动应用该属性，而不必指定它 这与owl:propertyChainAxiom类似，因为它指定了一个隐式属性。在这种情况下，隐式属性
例如，作为一个有缺陷的例子，考虑属性<代码>：比要大，<代码>：是的兄弟，而<代码>：是的哥哥。显然，如果前两个在两个实体之间成立，那么第三个也成立，但是我想告诉推理者自动应用该属性，而不必指定它
这与owl:propertyChainAxiom类似，因为它指定了一个隐式属性。在这种情况下，隐式属性的规则是不同的或者，如果可以根据对象的主体或对象的类型暗示属性，我想我也可以得到我想要的。例如，如果我有一个属性
：performs with：rocks out with：Band：RockBand：performs with：RockBand：rocks out with