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 ».
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( ...
Abonnement
tous les livres et vidéos ENI en illimité sans engagement
du livre imprimé ou du livre numérique