Discussion :

[jamboo]

Bonjour,


Dans mon ontologie sous protégé 3.2, il y a les classes:

Association
Federation
..

A l'Association, j'ajoute une restriction "Une association peut être affilié à une et une seule fédération.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

affilie-a exactly 1 Federation

Ensuite:

• Je crée deux individus fédération (fédération1 et fédération2)
• Je crée un individus (association1)

La question:
Quand j'ajoute les deux fédérations dans le champs d'affilié-a de l'association, et quand je teste l'inconsistence, il n y a pas d'inconsistance qui apparait. Pourtant j'ai bien un restriction qui l'interdit. Pourquoi?

[jamboo]

Apparemment on peut pas sous protégé avec un raisoneur Racer. Quand on crée un individu, on peut lui attribuer des données qui sont interdits par les restriction et quand on check l’inconsistance ca nous dit rien là dessus, donc c'est nul

[April Fool]

Le raisonneur fonctionne très bien et a parfaitement raison. Il n'y a pas d'incohérence car association1 est affilié à une seule entité, qui a deux noms différents : fédération1 et fédération2 sont deux noms d'une même entité. Si on vraiment un truc incohérent, il faudrait dire que fédération1 et fédération2 sont différents. Je ne sais plus où on exprime ça dans Protégé 3.2 car je n'utilise que le 4.1 depuis des années mais ça ne doit pas être difficile à trouver.