Sommaire

Expression de classes complexes

L’expression de classes complexes s’emploie pour décrire des situations de regroupement de classes particulier. L’intersection d’objets décrit les objets s’identifiant à deux classes ou plus, l’union d’objets décrit le regroupement de deux classes pour en former une nouvelle. Le complément décrit la non-appartenance à une classe. En OWL, il est permis de complexifier l’expressivité en regroupant des expressions pour former des axiomes complexes.

1. Intersection d’objets ( OWLObjectIntersectionOfOWLObjectIntersectionOf)

L’intersection d’objets est utilisée pour catégoriser l’individu qui est membre de plus d’une classe. Dans l’exemple modélisé ci-dessous, « Mary » est une « Mother » puisqu’elle est un individu de la classe « Woman » et de la classe « Parent » ; de même, si « Sophie » est une « Mother » alors elle est nécessairement une « Woman » et un « Parent ».

images/07RI02.png

Figure 7.2 : Pour être une « Mother » il est nécessaire et suffisant d’être une « Women » et un « Parent »

Syntaxe fonctionnelle

 EquivalentClasses( 
   :Mother  
   ObjectIntersectionOf( :Woman :Parent )  ...