Sommaire

Restriction de propriété

La restriction est une classe anonyme OWLAnonymousClassExpression (OWLAnonymousClassExpression) dont le raisonnement est conditionné par la propriété désignée par la restriction. La restriction peut être de type qualifiée, de type cardinalité, ou de type valeur.

1. Restriction existentielle sur la propriété d’objets ( OWLObjectSomeValuesFromOWLObjectSomeValuesFrom)

La restriction existentielle renvoie à l’idée qu’un individu est membre d’une classe si elle est liée par au moins une relation à un individu appartenant à la classe cible de la relation. La restriction existentielle est une classe dite anonyme au sens d’OWL qui réfère à une propriété et à une classe. L’axiomatisation d’équivalence entre la classe anonyme et une classe nommée est une technique qui permet de nommer la restriction.

images/07RI08.png

Figure 7.8 : Pour être un « Parent », il faut « hasChild » d’au moins une « Person »

Syntaxe fonctionnelle

 EquivalentClasses( 
   :Parent  
   ObjectSomeValuesFrom( :hasChild :Person ) 
 )

Syntaxe Turtle

 :Parent  owl:equivalentClass  [ 
   rdf:type            owl:Restriction ; 
   owl:onProperty      :hasChild ; 
   owl:someValuesFrom  :Person 
 ] .

Syntaxe ...