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