IFP（owl：InverseFunctionalProperty）とFP（owl：FunctionalProperty）の違い​​は何ですか？

Question

私はW3Cの文書を読んでいますが、なぜそれらが異なるのか分かりません。 私はW3C文書でそれらの定義をあげる：

• FP (owl:FunctionalProperty)：

  を

  機能的特性は、各インスタンスxの唯一の（ユニークな）値yを持つことができるプロパティです。

• IFP (owl:InverseFunctionalProperty)：プロパティは逆関数であると宣言された場合

  、プロパティステートメントのオブジェクトを一意に被写体（いくつかの個別の）を決定します。ここ

も差である：機能的特性を有する1つの違いは逆の機能的特性のために追加のオブジェクトプロパティまたはデータ型、プロパティ公理が必要とされないことである：逆機能特性は、定義オブジェクトプロパティです。あなたは上記のIFPリンクでこれらの言葉を見ることができます。

しかし、私はそれを理解していない、あなたは私に詳細な説明を与えることができますか？

Answer 1

プロパティfが機能的であるということは、個々のxについて、fの値が1つだけであることを意味します。

したがって、所与：

x f p 
x f q 

推論は、pとqは同じ個体、または同じリテラルであることを推測します。機能をfの逆機能的であることを意味

逆、即ち、

x f a 
y f a 

Rが機能的であり、fの逆数

a r x 
a r y 

ようなものです。推論主義者は、xとyが同じ個人であると推測することができます（今度は被験者が同一であると推測されます）。

逆のプロパティをオブジェクトプロパティにする理由もこれです。ステートメントの主語としてリテラルを使用することはできないため、データプロパティーを選択すると、逆プロパティーを持つことはできません。