IFP（owl：InverseFunctionalProperty）和FP（owl：FunctionalProperty）之间有什么区别？

Question

我已经阅读了W3C文档，但我不理解它们之间的区别。以下是它们在W3C文档中的定义：

• FP (owl:FunctionalProperty)：

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

• IFP (owl:InverseFunctionalProperty)：

  如果将属性声明为反功能，则属性语句的对象唯一确定主题（某个个体）。

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

但我不明白它，你能给我详细的解释吗？

- Xinze LYU

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是同一实体（这次主语被推断为相同）。

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

- Ignazio

---

@ciferlv 如果您认为答案正确，请接受它。 - Sentry

@Ignazio 好的，这是我第一次使用stackoverflow，我对它还有点陌生。 - Xinze LYU

@Ignazio，不好意思，你了解OAEI、实例匹配或对齐格式吗？你能帮我解答这个问题吗？链接是http://stackoverflow.com/questions/42502101/how-to-use-alignment-api-to-generate-a-alignment-format-file。谢谢。 - Xinze LYU