owl - 多个 SubPropertyOf 的已知动机？

Question

在 OWL/DL 中，可以有一个属性/角色是多个属性/角色的 Sub[Object/Data]PropertyOf/subrole，但我从未在 W3C OWL 文档或 DL 论文中找到一个激励示例.

您是否知道任何已发表的 OWL 本体或 DL 论文，其中包含我错过的激励示例（欢迎在评论中提供您自己的示例）？

Answer 1

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

逻辑动机

毕竟，p 是 q 的子属性只是意味着“xp y”意味着“xq y”。因此，您所需要的只是某种同时暗示两种不同关系的关系：

hasSon ⊑ hasMaleRelative, hasDescendant

这是有道理的，因为有一个儿子 X 意味着有 X 作为男性亲属，并且有 X 作为后代，但事实并非如此

hasMaleRelative ⊑ hasDescendant

或者

hasDescendant ⊑ hasMaleRelative

这可能不是一个特别鼓舞人心的例子，但它简单明了。任何时候你的一个属性至少暗示了另外两个，你就有了一个包含多个超级属性的属性。

多个子属性的平凡案例

另请注意，由于 subPropertyOf 是可传递的，因此一旦您拥有多级层次结构，您就会拥有多个超级属性。例如，

p 
|
+- q
   |
   +- r

r 同时具有 q和p 作为超属性。

互操作性和本体匹配

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

例如：myNote rdfs:subPropertyOf rdfs:comment, dc:description