子属性对属性特征的继承

Question

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

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

考虑以下示例：

:parent-of a owl:IrreflexiveProperty .

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

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

_:max :parent-of _:max .

但是之父是否也隐含地不反射性呢？换句话说，这是否也被禁止：

_max :father-of _:max .

如果你认为一个属性是一组连接成对的点的箭头，那么不可反身仅仅意味着没有在同一个点开始和结束的箭头。子属性只是这些箭头的子集，因此不可反身属性的子属性也必然是不可反身的。同样具有不对称性质。但同样，我不知道猫头鹰是否明确说明了这一点，或者猫头鹰推理者是否应该做出这个“假设”。

Answer 1

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

是的。逻辑公式在OWL 2网络本体语言直接语义（第二版）中：

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

...

• Axiom： Ir反射性对象属性（OPE）
• 条件：x： x≥Δ_I暗示（x， x）（OPE）^OP

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

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

OWL推理器基于这些定义，因此应该能够推断子属性是非反射性的。