rdf - 子属性继承属性特性

Question

在 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 .

如果您将属性视为连接点对的一组箭头，那么非自反只是意味着没有箭头同时开始和结束于同一点。子属性只是这些箭头的子集，因此非自反属性的子属性也必然是非自反的。同样具有不对称特性。但同样，我不知道 OWL 是否明确说明了这一点，或者 OWL 推理者是否应该做出这个“假设”。

Answer 1

在 OWL 中，反身属性的子属性是否也是反身的？同样，不对称属性的子属性也是不对称的吗？

是的。逻辑公式在OWL 2 Web Ontology Language Direct Semantics (Second Edition)中：

2.3.2 对象属性表达式公理

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

…</p>

• 公理：IrreflexiveObjectProperty(OPE)
• 条件： ∀ x : x ∈ Δ _I蕴含 ( x , x ) ∉ (OPE) ^OP

您的推理表明，非自反属性的任何子属性都满足条件。因此，子属性也是不自反的。

但同样，我不知道 OWL 是否明确说明了这一点，或者 OWL 推理者是否应该做出这个“假设”。

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