Известная мотивация для нескольких SubPropertyOf?

Question

В OWL/DL возможно иметь свойство / роль, которая является Sub[Object/Data]PropertyOf/subrole более чем одного свойства / роли, но я никогда не находил мотивирующий пример в документации W3C OWL или в статьях DL,

Знаете ли вы о каких-либо опубликованных онтологиях OWL или статье DL, в которой есть такой мотивирующий пример, который я пропустил (примеры ваших собственных приветствуются в комментариях)?

Answer 1

Это может быть слишком широкий вопрос, но легко подумать о свойствах, которые имеют несколько свойств.

Логическая мотивация

В конце концов, то, что 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 в качестве супер-свойств.

Совместимость и соответствие онтологий

Одной из важных причин объявления нескольких суперсвойств свойства является сопоставление разных онтологий. Например, если вы определяете онтологию, в которой текст может быть связан с каким-либо ресурсом, вы можете связать свою онтологию как со словарем RDFS, так и с Dublin Core. В результате вы можете получить

например:myNote rdfs:subPropertyOf rdfs: комментарий, dc: описание