Sommaire

Enchaînement de propriétés (OWLSubPropertyChainOfAxiom) OWLSubPropertyChainOfAxiom

L’enchaînement de propriétés OWLSubPropertyChainOfAxiom permet de définir une nouvelle propriété à partir de l’enchaînement de sous-propriétés. Dans l’exemple ci-dessous, la propriété « hasGrandParent » est déclarée comme étant l’enchaînement de la propriété « hasParent » avec la propriété « hasParent ».

images/07RI33.png

Figure 7.33 : « a » « hasGrandParent » « b » si et seulement si « a » « hasParent » de quelqu’un qui « hasParent » « b »

Syntaxe fonctionnelle

 SubObjectPropertyOf(  
   ObjectPropertyChain( :hasParent :hasParent )  
   :hasGrandparent  
 )

Syntaxe Turtle

 :hasGrandparent  owl:propertyChainAxiom  ( :hasParent  :hasParent     ) .

Syntaxe Java OWL-API

OWLObjectProperty hasParent = 
    factory.getOWLObjectProperty(IRI.create(ontologyIRI + 
    "#hasParent")); 
OWLObjectProperty hasGrandparent = 
    factory.getOWLObjectProperty(IRI.create(ontologyIRI + 
    "#hasGrandparent")); 
List<OWLObjectProperty> hasGrandparentChain=new 
    ArrayList<OWLObjectProperty>();  ...