IFP(owl:InverseFunctionalProperty) 和 FP(owl:FunctionalProperty) 有什么区别？

Question

我已经阅读了 W3C 文档，但我不明白它们为什么不同。 我将在 W3C 文档中给出它们的定义：

• FP (owl:FunctionalProperty):

  函数属性是对于每个实例 x 只能有一个（唯一）值 y 的属性。

• IFP (owl:InverseFunctionalProperty):

  如果一个属性被声明为反函数，那么一个属性声明的对象唯一地确定了主体（某个个体）。

这里还有一个区别：函数属性的一个区别是，对于反函数属性，不需要额外的对象属性或数据类型属性公理：反函数属性根据定义是对象属性。您可以在上面的 IFP 链接中看到这些词。

但是我没看懂，能不能给我详细解释一下？

Answer 1

声明属性 f 是函数式意味着，对于单个 x，f 只有一个值。

所以，给定：

x f p
x f q

推理者会推断出 p 和 q 是同一个个体，或同一个字面值。

逆泛函是指f的逆是泛函的，即，

x f a
y f a

好像

a r x
a r y

其中 r 是泛函的，是 f 的倒数。推理者可以推断出 x 和 y 是同一个人（所以这次推断主题是​​相同的）。

这也是逆属性成为对象属性的原因。如果你选择一个数据属性，你不能有一个逆向，因为你不能有一个文字作为语句的主题。