Puis-je expliquer à quelqu'un ce que l'on entend par 'OWL n'a pas d'hypothèse de nom unique. Juste parce que deux noms sont différents ne signifie pas qu'ils se réfèrent à des individus différents. Est-ce que cela signifie que chaque fois que je déclare des individus appartenant à une classe, je dois dire qu'ils sont tous différents?Utilisation de AllDifferent dans la définition d'ontologie OWL
Merci
Une ontologie qui fait l'hypothèse de nom unique (UNA) implicitly treats all entities as distinct. Si l'ontologie n'applique pas UNA, il est possible d'inférer deux concepts avec des noms différents.
OWL ne fait pas l'hypothèse UNA. Par conséquent, si vous avez une classe dont les membres sont vraiment distincts et que vous voulez modéliser cela, vous devez le déclarer explicitement, soit avec differentFrom ou AllDifferent. C'est exactement ce qui est fait dans l'exemple des trois vins distincts dans le Owl Language Guide.