Accéder aux paramètres des constructeurs

Les propriétés suivantes permettent d’accéder aux informations contenues dans les principaux constructeurs (pour la liste complète des constructeurs et de leurs propriétés, se référer au manuel de référence en annexe, section Constructeurs (classe ClassContruct et descendantes)) :

Opérateurs logiques ET et OU (intersection et union, classe And et Or respectivement) :

Attribut Classes : la liste des classes sur lesquelles portent l’intersection ou l’union Classe

Restrictions (classe Restriction) : Restriction

Attribut property : la propriété sur laquelle porte la restriction property
Attribut type : le type de la restriction (une valeur parmi les constantes SOME, ONLY, VALUE, MAX, MIN et EXACTLY) type
Attribut value : la valeur sur laquelle porte la restriction (une classe pour les types SOME, ONLY, MAX, MIN et EXACTLY, un individu ou une valeur pour le type VALUE) value
Attribut cardinality : le nombre de relations concernées (uniquement disponible pour les restrictions de type MAX, MIN et EXACTLY) cardinality

Par exemple, si l’on reprend la classe Streptocoque et sa définition équivalente, nous pouvons l’analyser de la manière suivante :

>>> onto.Streptocoque.equivalent_to[0]  
  bacterie.Bactérie  
& bacterie.a_pour_forme.some(bacterie.Ronde) 
& bacterie.a_pour_forme.only(bacterie.Ronde)  ...