多个 SubPropertyOf 的已知动机?

Known motivation for multiple SubPropertyOf?

在 OWL/DL 中,可以有一个 property/role 是多个 property/role 的子 [Object/Data]PropertyOf/subrole,但是我从未在 W3C OWL 文档或 DL 论文中找到激励示例。

您是否知道任何已发表的 OWL 本体论或 DL 论文包含我错过的这样一个激励示例(欢迎在评论中提供您自己的示例)?

这个问题可能过于宽泛,但很容易想到具有多个超级属性的属性。

逻辑动机

毕竟,p 是 q 的子属性 就意味着 "x p y" 蕴含 "x q y"。所以你所需要的只是某种同时暗示两种不同关系的关系:

hasSon ⊑ hasMaleRelative, hasDescendant

这是有道理的,因为有儿子X意味着有X作为男性亲属,并且有X作为后代,但两者都不是

hasMaleRelative ⊑ hasDescendant

hasDescendant ⊑ hasMaleRelative

这可能不是一个特别有启发性的例子,但它简单明了。任何时候你一个 属性 暗示至少两个其他人,你有一个 属性 具有多个超级属性。

多个子属性的简单情况

另请注意,因为 subPropertyOf 是可传递的,所以一旦您拥有多级层次结构,您就会拥有多个超级属性。例如,

p 
|
+- q
   |
   +- r

r 具有 q p 作为超级属性。

互操作性和Ontology匹配

声明 属性 的多个超级属性的一个重要原因是匹配不同的本体。例如,如果您正在定义一个 ontology,其中文本可以与某些资源相关联,您可能希望将您的 ontology 与 RDFS 词汇表和 Dublin Core 相关联。结果,您可能会得到

ex:myNote rdfs:subPropertyOf rdfs:comment, dc:description