Les constructeurs OWL permettent de définir des constructions logiques à partir de classes, d’individus et de propriétés (voir chapitre Les ontologies OWL, section Restrictions et section Union, intersection et complément).
Les restrictions sont créées avec la syntaxe propriété.type(valeur), en utilisant les mêmes mots-clefs pour les types que dans Protégé :
propriété.some(Classe) pour une restriction existentielle some Restriction:existentielle
propriété.only(Classe) pour une restriction universelle only Restriction:universelle
propriété.value(individu ou donnée) pour une Restriction:de valeurrestriction de valeur (role-filler) value role-filler
propriété.exactly(cardinalité, Classe) pour une Restriction:de cardinalitérestriction de cardinalité exacte
propriété.min(cardinalité, Classe) et
propriété.max(cardinalité, Classe) pour les restrictions de cardinalité minimale ou maximale
Les opérateurs logiques NON, ET et OU ( Complémentcomplément, Intersectionintersection et Unionunion) sont obtenus de la manière suivante : ET OU
Not(Classe)
And([Classe1, Classe2,...]) ou Classe1 & Classe2 & ...
Or([Classe1, Classe2,...]) ou Classe1 | Classe2 | ...
Un Ensemble:d’individusensemble d’individus est obtenu de la manière suivante :
OneOf([individu1, individu2,...])
L’inverse ...
Abonnement
tous les livres et vidéos ENI en illimité sans engagement
du livre imprimé ou du livre numérique