Énumération de données ( OWLDataOneOfOWLDataOneOf)

L’énumération de données OWLDataOneOf s’emploie dans la déclaration explicite de littérale (OWLLiteral).

Figure 8.4 : L’énumération explicite de littéral dans un type de données

Syntaxe fonctionnelle

 DatatypeDefinition( 
   :toddlerAge 
   DataOneOf( "1"ˆˆxsd:integer "2"ˆˆxsd:integer )  
 ) 

Syntaxe Turtle

 :toddlerAge  owl:equivalentClass 
   [ rdf:type rdfs:Datatype; 
     owl:oneOf (  "1"ˆˆxsd:integer  "2"ˆˆxsd:integer ) 
   ] .

Syntaxe Java OWL-API OWLLiteral OWLDataOneOf

OWLDatatype toddleAge = factory.getOWLDatatype( 
    IRI.create(ontologyIRI + "#toddleAge")); 
OWLDatatype intDatatype = factory.getIntegerOWLDatatype(); 
OWLLiteral age1 = factory.getOWLLiteral("1", intDatatype); 
OWLLiteral age2 = factory.getOWLLiteral("2", intDatatype); 
OWLDataOneOf oneOfAge = factory.getOWLDataOneOf(age1, age2); 
OWLDatatypeDefinitionAxiom axiome = 
    factory.getOWLDatatypeDefinitionAxiom(toddleAge, oneOfAge);