owl - 如果此关系中的对象集唯一地标识 OWL 中的主题，是否是属性反函数？

Question

我有两个人：x 和 y。它们存在以下关系：

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

一般来说，hasProp 中的对象集标识了个体（这里：x 或 y）。在这种情况下，我可以说 hasProp 是反函数的，如果它们也有一个相同的关系（hasProp a），但是 hasProp 关系的集合唯一地标识了主题 x 或 y。

如果此关系中的一组对象唯一地标识 OWL 中的主题，那么属性是否是逆函数的？

标签： owlsemantic-webprotegefunctional-dependencies