Quelle est la différence entre IFP(owl:InverseFunctionalProperty) et FP(owl:FunctionalProperty) ?

Question

J'ai lu les documents du W3C, mais je ne comprends pas pourquoi ils sont différents. Je vais donner les définitions des documents du W3C :

• FP (owl:FunctionalProperty) :

  Une propriété fonctionnelle est une propriété qui ne peut avoir qu'une (unique) valeur y pour chaque instance x.

• IFP (owl:InverseFunctionalProperty) :

  Si une propriété est déclarée comme étant inversement fonctionnelle, alors l'objet d'une déclaration de propriété détermine de manière unique le sujet (un individu).

Il y a également une différence : Une différence avec les propriétés fonctionnelles est que pour les propriétés fonctionnelles inverses, aucun axiome supplémentaire de propriété d'objet ou de propriété de type de données n'est nécessaire : les propriétés fonctionnelles inverses sont par définition des propriétés d'objet. Vous pouvez voir ces mots dans le lien IFP ci-dessus.

Mais je ne comprends pas, pouvez-vous me donner une explication détaillée ?

Answer 1

Dire que la propriété f est fonctionnelle signifie que, pour un individu x, il n'existe qu'une seule valeur pour f.

C'est donc chose faite :

x f p
x f q

Un raisonneur en déduira que p et q sont le même individu, ou le même littéral.

Inverse fonctionnel signifie que l'inverse de f est fonctionnel, c'est-à-dire,

x f a
y f a

Est comme

a r x
a r y

Où r est fonctionnel, et l'inverse de f. Le raisonneur peut déduire que x et y sont le même individu (donc cette fois les sujets sont déduits comme étant identiques).

C'est également la raison pour laquelle les propriétés inverses sont des propriétés d'objet. Si vous choisissez une propriété de données, vous ne pouvez pas avoir d'inverse pour elle, parce que vous ne pouvez pas avoir un littéral comme sujet d'une déclaration.