子属性对属性特征的继承 [英] Inheritance of property characteristic by sub-properties
问题描述
在OWL中，具有反身性的子属性是否也具有反身性?同样，不对称属性的子属性也同样不对称吗?
In OWL, is a sub-property of an irreflexive property also irreflexive? Likewise is a sub-property of an asymmetric property also asymmetric?
从逻辑上讲应该如此，但是我在OWL文档中找不到任何可以说明这种情况的信息.
Logically, they should be, but I can't find anything in the OWL documentation that specifies that this is the case.
请考虑以下示例:
:parent-of a owl:IrreflexiveProperty .
:father-of a owl:ObjectProperty ;
owl:subPropertyOf :parent-of .
基于此本体，由于parent-of是不自反的，因此不允许以下操作:
Based on this ontology, the following would not be allowed because parent-of is irreflexive:
_:max :parent-of _:max .
但是father-of也隐含地反身吗?换句话说，这也将被禁止吗?
But is father-of implicitly irreflexive as well? In other words, would this also be prohibited:
_max :father-of _:max .
如果您将某个属性视为一组连接点对的箭头，那么 irreflexive 只是意味着没有箭头在同一点处开始和结束.子属性只是这些箭头的子集，因此，不自反属性的子属性也必然是不自反的.同样具有不对称特性.但是同样，我不知道OWL是否明确地说明了这一点，或者OWL推理者是否应该做出这种假设".
If you think of a property as a set of arrows which connect pairs of points, then irreflexive just means that there are no arrows which both start and end at the same point. A sub-property is simply a subset of those arrows, and so the sub-property of an irreflexive property is necessarily also irreflexive. Likewise with asymmetric properties. But again, I don't know if OWL spells this out explicitly or if OWL reasoners are supposed to make this "assumption".
推荐答案
在OWL中，具有反身性的子属性是否也具有反身性? 同样，不对称属性的子属性也同样不对称吗?
In OWL, is a sub-property of an irreflexive property also irreflexive? Likewise is a sub-property of an asymmetric property also asymmetric?
是的.逻辑表达形式在 OWL 2 Web本体语言直接语义(第二版):
Yes. The logical formulation is in OWL 2 Web Ontology Language Direct Semantics (Second Edition):
2.3.2对象属性表达式公理
我对OWL 2对象属性表达式公理的满意度是 定义如表6所示.
2.3.2 Object Property Expression Axioms
Satisfaction of OWL 2 object property expression axioms in I is defined as shown in Table 6.
...
- 公理:IrreflexiveObjectProperty(OPE)
- 条件:∀ x : x ∈Δ I 暗示( x，x )∉(OPE) OP
- Axiom: IrreflexiveObjectProperty( OPE )
- Condition: ∀ x : x ∈ ΔI implies ( x , x ) ∉ (OPE)OP
您的推理表明，具有非反身性质的任何子性质都满足该条件.因此，次财产也是不自反的.
Your reasoning shows that any subproperty of an irreflexive property satisfies the condtition. Therefore, the subproperty is also irreflexive.
但同样，我不知道OWL是否明确将其拼写出来还是OWL 推理者应该做出这个假设".
But again, I don't know if OWL spells this out explicitly or if OWL reasoners are supposed to make this "assumption".
OWL推理程序基于这些定义，因此应该能够推断该子属性是不自反的.
OWL reasoners are based on these definitions, and so should be able to infer that the subproperty is irreflexive.
这篇关于子属性对属性特征的继承的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！
