Sommaire

Énumération d’individus ( OWLObjectOneOfOWLObjectOneOf)

En OWL, il est aussi possible de déclarer une classe par l’énumération explicite des individus qui en sont membres. Dans ce type de déclaration, la classe est considérée comme étant fermée, c’est-à-dire qu’il n’est plus possible de modifier le contenu de la classe. Dans l’exemple modélisé à la figure 7.18 la classe « MyBirthdayGuests » contient les membres « Bill », « John » et « Mary ».

images/07RI18.png

Figure 7.18 : La classe « MyBirthdayGuests » contient les membres « Bill », « John » et « Mary »

Une classe peut aussi être décrite en énumérant explicitement les individus qui la composent.

Syntaxe fonctionnelle

 EquivalentClasses( 
   :MyBirthdayGuests 
   ObjectOneOf( :Bill :John :Mary) 
 )

Syntaxe Turtle

 :MyBirthdayGuests  owl:equivalentClass  [ 
   rdf:type   owl:Class ; 
   owl:oneOf  ( :Bill  :John  :Mary ) 
 ] .

Syntaxe Java OWL-API

OWLClass myBirthdayGuests = factory.getOWLClass( 
    IRI.create(ontologyIRI + "#MyBirthdayGuests")); 
OWLIndividual john = factory.getOWLNamedIndividual( 
    IRI.create(ontologyIRI + "#John")); 
OWLIndividual bill = factory.getOWLNamedIndividual(  ...