在OWL中，反射属性的子属性是否也是反射性的？同样，不对称属性的子属性也是不对称的？
从逻辑上讲，它们应该是，但我在OWL文档中找不到任何指定这种情况的内容。
考虑以下示例：
:parent-of a owl:IrreflexiveProperty .
:father-of a owl:ObjectProperty ;
owl:subPropertyOf :parent-of .
基于此本体，不允许以下内容，因为parent-of是无反射的：
_:max :parent-of _:max .
但father-of是否也隐含着反射性？换句话说，这也会被禁止：
_max :father-of _:max .
如果您将属性视为一组连接点对的箭头，那么 irreflexive 只意味着没有箭头在同一点开始和结束。子属性只是这些箭头的一个子集，因此反自转属性的子属性也必然是无反射的。同样具有不对称属性。但同样，我不知道OWL是否明确地解释了这一点，或者是否应该让OWL推理者做出这个“假设”。
答案 0 :(得分：1)
在OWL中，反射属性的子属性是否也是反射性的？ 同样，非对称属性的子属性也是不对称的？
是。逻辑公式在OWL 2 Web Ontology Language Direct Semantics (Second Edition)：
2.3.2 Object Property Expression Axioms
I中对OWL 2对象属性表达式公理的满意度 定义如表6所示。
...
- Axiom：IrreflexiveObjectProperty（OPE）
- 条件：∀ x ： x ∈Δ I 暗示（ x，x ）∉（OPE） OP
您的推理表明，反自转属性的任何子属性都满足条件。因此，子属性也是反射性的。
但是，我不知道OWL是否明确地说明了这一点，或者是否是OWL reasoners应该做出这个“假设”。
OWL reasoners基于这些定义，因此应该推断子属性是反射性的。