Sommaire

Intersection et complément de données ( OWLDataIntersectionOfOWLDataIntersectionOf et OWLDataComplementOfOWLDataComplementOf)

L’intersection OWLDataIntersectionOf et le complément OWLDataComplementOf de type de données soutiennent l’expression de type de données complexe. Dans l’exemple ci-dessous, le type de données « majorAge » est défini en tant que la conjonction de « personAge » et le complément de « minorAge ».

images/08RI03.png

Figure 8.3 : Intersection de complément de type de données

Syntaxe fonctionnelle

 DatatypeDefinition( 
   :majorAge 
   DataIntersectionOf( 
     :personAge  
     DataComplementOf( :minorAge )  
   )  
 ) 

Syntaxe Turtle

 :majorAge  owl:equivalentClass 
   [ rdf:type  rdfs:Datatype; 
     owl:intersectionOf ( 
        :personAge 
        [ rdf:type  rdfs:Datatype; 
          owl:datatypeComplementOf  :minorAge ]  
     ) 
   ] .

Syntaxe Java OWL-API

Le premier segment de code définit les OWLDatatype : personAge, minorAge et majorAge.

OWLDatatype personAge = factory.getOWLDatatype( 
    IRI.create(ontologyIRI + "#personAge")); 
OWLDatatype minorAge = factory.getOWLDatatype( 
    IRI.create(ontologyIRI + "#minorAge")); 
OWLDatatype ...