Sommaire

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 ...