如何表达两个(或更多)OWL类的属性之间的关系?属性与OWL之间的快速关系
例如,我有一个类Student
与属性name
和类Person
与属性lastname
。对于OWL,我想描述属性lastname
和name
在语义上相等(均表示真实姓的姓氏)。我在OWL的W3参考资料中发现的所有属性都可以与类(例如name -> Person
)和rdfs:domain
有关系,并且没有任何内容可以描述属性之间的关系。
如何表达两个(或更多)OWL类的属性之间的关系?属性与OWL之间的快速关系
例如,我有一个类Student
与属性name
和类Person
与属性lastname
。对于OWL,我想描述属性lastname
和name
在语义上相等(均表示真实姓的姓氏)。我在OWL的W3参考资料中发现的所有属性都可以与类(例如name -> Person
)和rdfs:domain
有关系,并且没有任何内容可以描述属性之间的关系。
虽然OWL不提供对属性之间的任意关系的支持,但您通常想要用于建模的那些可用。特别是,主要有:
所有我发现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。
OWL Full中的'owl:sameAs'可能会出现这种情况,但OWL DL中不会出现这种情况。 –
@IvoVelitchkov这在OWL DL中很有可能;但是你不使用owl:sameAs,你使用[owl:equivalentProperty](https://www.w3.org/TR/owl-ref/#equivalentProperty-def)。 –