2017-04-16 52 views
0

如何表达两个(或更多)OWL类的属性之间的关系?属性与OWL之间的快速关系

例如,我有一个类Student与属性name和类Person与属性lastname。对于OWL,我想描述属性lastnamename在语义上相等(均表示真实姓的姓氏)。我在OWL的W3参考资料中发现的所有属性都可以与类(例如name -> Person)和rdfs:domain有关系,并且没有任何内容可以描述属性之间的关系。

+0

OWL Full中的'owl:sameAs'可能会出现这种情况,但OWL DL中不会出现这种情况。 –

+0

@IvoVelitchkov这在OWL DL中很有可能;但是你不使用owl:sameAs,你使用[owl:equivalentProperty](https://www.w3.org/TR/owl-ref/#equivalentProperty-def)。 –

回答

2

虽然OWL不提供对属性之间的任意关系的支持,但您通常想要用于建模的那些可用。特别是,主要有:

  • 的rdfs:subPropertyOf(被重用,即使它不是OWL的名称),用于指示一个属性意味着另一个。
  • owl:equivalentProperty,这表明特性等效(即,猫头鹰:equivalentProperty(P,Q)→(P(A,B)↔ Q(A,B))猫头鹰:equivalentProperty是。在RDF属性,你会使用编码两种equivalent object properties以及equivalent data properties

所有我发现OWL W3的参考范围内是性能才会有上课的关系(如姓名 - >人)。用rdfs:domain来描述属性之间的关系并没有什么东西。

我不确定你指的是什么文件; Section 9 about Axioms描述了许多可以在属性之间保持的不同关系:子属性关系,等价性,不相交性,反性,所有这些都涉及多个属性。

Ivo Velitchkov mentioned in a comment that:“OWL Full中可以使用owl:sameAs,但不能使用OWL DL。” OWL 1规范中有关于equivalentProperty部分的说明:

注意:属性等同与属性相等不相同。等价性质具有相同的“值”(即,相同的属性扩展),但可具有不同的内涵意义(即表示不同的概念)。产权平等应该用owl:sameAs构造来表达。由于这要求属性被视为个人,所以这些公理只能在OWL Full中使用。

这是一个差异,可能或不会对平均建模者意味深远。关键是即使p(a,b)↔ q(a,b)(owl:equivalentProperty)与p = q(owl:sameAs)不完全相同。例如,hasUnicorn(a,b)↔ hasLeprechaun(A,B);由于没有独角兽或妖精,对于任何个人都没有这种关系。但属性 hasUnicorn不是相同属性hasLeprechaun;他们打算不同intendally