Sommaire

Hiérarchie de classes

Il existe aussi des relations structurelles qui permettent de hiérarchiser les classes de la couche abstraite de l’ontologie. La subsomption de classes OWLSubClassOfAxiom(OWLSubClassOfAxiom), l’équivalence de classes OWLEquivalentClassesAxiom(OWLEquivalentClassesAxiom) et la disjonction de classes OWLDisjointClassesAxiom(OWLDisjointClassesAxiom) sont autant d’axiomes qui permettent d’exprimer le rapport hiérarchique existant entre deux classes.

1. Sous-classe de ( OWLSubClassOfAxiomOWLSubClassOfAxiom)

images/06RI04.png

Figure 6.4 : « Woman » est une sorte de « Person »

Une classe peut être subordonnée à une autre classe subsomption (subsomption) pour former une hiérarchie de classes. Cette hiérarchie permet d’affirmer que l’ensemble des individus d’une sous-classe appartient à une classe supérieure. Ainsi, dans l’exemple, tous les individus qui sont des « Woman » sont aussi des « Person ». Il faut cependant porter une attention particulière à la réciproque, puisqu’elle n’est pas nécessairement vraie. Pour cause, tous les individus qui sont des « Person » ne sont pas nécessairement des « Woman ». Au niveau du langage naturel, on remplace sous-classe de par est une sorte de (kind of).

Syntaxe fonctionnelle

 SubClassOf( :Woman :Person )

Syntaxe Turtle ...