Sommaire

Association par clé ( OWLHasKeyAxiomOWLHasKeyAxiom)

L’axiome OWLHasKeyAxiom signifie que pour une certaine classe, il est possible d’attribuer à chaque membre de la classe une clé définie par un ensemble de propriétés d’objets ou de propriétés de données. Dans le modèle ci-dessous, la clé « hasSSN » est associée à la classe « Person ». Les membres « John » et « Jack » sont associés à la classe « Person », et pour chaque membre il est associé une clé « 1234 ». La clé « 1234 » est aussi associée à « Mary ». Pour le raisonneur, « Jack » et « John » sont considérés en tant que membre similaire (owl:sameAs) puisqu’ils ont la même clé et ils appartiennent tous les deux à la classe « Person », alors que « Mary » est un membre distinct de « John » et « Jack » puisqu’elle n’est pas membre de « Person ».

images/07RI34.png

Figure 7.34 : Une « Person » « hasSSN » une clé

Syntaxe fonctionnelle

 HasKey( :Person () ( :hasSSN ) )

Syntaxe Turtle

 :Person owl:hasKey ( :hasSSN ) .

Syntaxe Java OWL-API

OWLClass person = factory.getOWLClass(  ...