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是同一个人（因此，这次推断出的对象是相同的）。

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