Ce raisonnement est fait avec un classifieur c’est-à-dire un programme informatique, ici de la famille des logiques de description, qui parcourt l’arbre ontologique.
Une entité possédant une identité unique, créée à partir d’un classifieur (un objet est une instance d’une classe).