用OWL表达属性之间的关系

Question

如何表达两个（或多个）OWL 类的属性之间的关系？

例如，我有一个类Student 具有一个名为name 的属性和一个类Person 具有一个属性lastname。对于 OWL，我想描述属性 lastname 和 name 在语义上是相等的（两者都表示真人的姓氏）。我在 OWL 的 w3 参考中发现的只是属性可以与带有rdfs:domain 的类（例如name -> Person）有关系，而没有描述属性之间的关系。

Answer 1

虽然 OWL 不支持属性之间的任意关系，但您通常需要建模的关系是可用的。具体有：

• rdfs:subPropertyOf（被重用，即使它不是 OWL 命名空间），用于指示一个属性意味着另一个。
• owl:equivalentProperty，表示属性等价（即owl:equivalentProperty(p,q) → (p(a,b) ↔ q(a,b))。owl:equivalentProperty 是用于编码equivalent object properties 和equivalent data properties 的RDF 属性。

我在 OWL 的 w3 参考中发现的只是属性可以与具有 rdfs:domain 的类（例如 name -> Person）有关系，而没有描述属性之间的关系。

我不确定您指的是什么文件； Section 9 about Axioms 描述了可以在属性之间保持的许多不同关系：子属性关系、等价、不相交、逆向，所有这些都涉及多个属性。

Ivo Velitchkov mentioned in a comment 说：“这可以通过 owl:sameAs 在 OWL Full 中实现，但在 OWL DL 中则不行。”在 about equivalentProperty 部分的 OWL 1 规范中有一条注释说：

注意：属性等价与属性等价不同。等效属性具有相同的“值”（即相同的属性扩展），但可能具有不同的内涵意义（即表示不同的概念）。属性相等应该用 owl:sameAs 结构来表达。由于这要求将属性视为个体，因此此类公理仅允许在 OWL Full 中使用。

这对普通建模者来说可能意义重大，也可能意义不大。关键是即使 p(a,b) ↔ q(a,b) (owl:equivalentProperty) 与 p = q (owl:sameAs) 并不完全相同。例如，hasUnicorn(a,b) ↔有妖精（a，b）；因为没有独角兽或妖精，所以任何个人都没有这样的关系。但是 property hasUnicorn 并不是真正的 same 属性作为 hasLeprechaun；它们的意图是不同的本质上。