Sommaire

Utilisation avancée de la propriété

Les propriétés possèdent des caractéristiques qui enrichissent l’expressivité de la relation qui unit deux individus. Les sections qui suivent présentent les caractéristiques de chacune d’elle.

1. Propriété inverse ( OWLInverseObjectPropertiesAxiomOWLInverseObjectPropertiesAxiom)

L’axiome de propriété inverse OWLInverseObjectPropertiesAxiom est employé pour indiquer qu’une propriété est l’inverse de l’autre. Pour une propriété donnée, l’ensemble des individus d’origine et de destination est permuté avec l’ensemble des individus de la relation issue de la propriété inverse. Par exemple, « être le parent de » est la propriété inverse d’« être l’enfant de ».

images/07RI23.png

Figure 7.23 : « hasParent » est l’inverse de « hasChild »

Syntaxe fonctionnelle

 InverseObjectProperties( :hasParent :hasChild ) 

Syntaxe Turtle

 :hasParent owl:inverseOf :hasChild .

Syntaxe Java OWL-API OWLInverseObjectPropertiesAxiom ...