Rdf 子属性对属性特征的继承

在OWL中，不可伸缩属性的子属性也是不可伸缩的吗？同样，非对称属性的子属性也是非对称的吗

从逻辑上讲，它们应该是这样的，但我在OWL文档中找不到任何说明这种情况的内容

考虑以下示例：

:parent-of a owl:IrreflexiveProperty .

:father-of a owl:ObjectProperty ;
    owl:subPropertyOf :parent-of .

基于此本体，不允许出现以下情况，因为的父项是不可伸缩的：

_:max :parent-of _:max .

但是，

之父

是否也隐含着不可变通性？换句话说，这是否也会被禁止：

_max :father-of _:max .

如果将特性视为一组连接成对点的箭头，则不可弯曲仅意味着没有在同一点开始和结束的箭头。子属性只是这些箭头的一个子集，因此不可伸缩属性的子属性也必然是不可伸缩的。同样，具有不对称性质。但是，我不知道猫头鹰是否明确地解释了这一点，或者猫头鹰推理者是否应该做出这种“假设”

在OWL中，不可伸缩属性的子属性也是不可伸缩的吗？ 同样，非对称属性的子属性也是非对称的吗

对。逻辑公式如下：

I is中OWL 2对象属性表达式公理的满足性 定义如表6所示

• 公理：不可伸缩对象属性（OPE）
• 条件：∀ x:x∈ ΔI表示（x，x）∉ （OPE）OP

您的推理表明，不可逆属性的任何子属性都满足条件。因此，子属性也是不可伸缩的

但是，我也不知道猫头鹰是明确地解释了这一点，还是猫头鹰 推理者应该做出这种“假设”

OWL推理器基于这些定义，因此应该能够推断子属性是不可伸缩的