Является ли свойство обратным свойством, если набор объектов в этом отношении однозначно идентифицирует субъект в OWL? - PullRequest
0 голосов
/ 25 июня 2018

У меня есть два человека: х и у.Они находятся в следующих отношениях:

x hasProp a.
x hasProp b.
y hasProp a.
y hasProp c.

Как правило, набор объектов в реализации hasProp идентифицирует индивида (здесь: x или y).В этом случае могу ли я сказать, что hasProp является обратным функционалом, если они также имеют одно и то же отношение (hasProp a), но набор отношений hasProp однозначно идентифицирует субъект x или y.

IsСвойство обратного функционала, если набор объектов в этом отношении однозначно идентифицирует субъект в OWL?

...