Créer des constructeurs
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...
Pour consulter la suite, découvrez le livre suivant :
En version papier
En version numérique
En illimité avec l'abonnement ENI
Sur la boutique officielle ENI
Conditions générales d'utilisationCopyright - © Editions ENI ||Politique de protection des données du groupe ENI