OntoCASE Cotechnoe inc. www.cotechnoe.com

OntoCASE

www.cotechnoe.com

Guide du langage de la Modélisation par Objets Typés

Introduction

Structure du langage

L'alphabet

Types des connaissances

Type de relations

Sémantique des éléments grammaticaux

Type de relations dans MOT

L'alphabet des relations

La relation est un lien directionnel qui unie des connaissances. Le langage MOT offre un ensemble de liens qui sont typés (voir la figure 5). Le lienI représente une relation d’instanciation, le lienS représente une relation de spécialisation, le lienR représente une relation de régulation, le lienA représente une association d'application, le lienP représente la préséance, le lienIP représente une association d'intrant/produit, le lienC/C* représente l'association de composition et de composition multiple et, enfin, le lienEreprésente une relation d’englobement.

 Taxonomie des elations en MOT

Figure 5: Hiérarchie des relations typées utilisées en langage MOT et leur représentation dans l'ontologie du langage semi-formel.

Sémantique des relations

Tableau 2 : Sémantique des relations typées dans MOT

Type de lien Signification
S Le lien de spécialisation associe deux connaissances abstraites de même type dont la première est une spécialisation de la seconde. Ce lien est notamment utile dans la description des taxonomies. Le lien de spécialisation est une relation transitive.
I Le lien d'instanciation associe à une connaissance abstraite un fait qui caractérise une instance de cette connaissance. Le lien d'instanciation n'est pas une relation transitive.
I/P Le lien intrant/produit sert à associer une connaissance procédurale à une connaissance conceptuelle afin de représenter l'intrant ou le produit d'une procédure. Ce lien est notamment utile dans la description des algorithmes, des processus et des méthodes. Le lien intrant/produit n'est pas une relation transitive.
P Le lien de précédence associe une connaissance à une autre qui la suit dans une séquence temporelle de procédures ou de règle de décision (principes). Le lien de précédence est une relation transitive.
R Le lien de régulation associe une connaissance stratégique (un Principe ou un Énoncé) à une autre connaissance afin de préciser une contrainte, une restriction ou une règle qui régit la connaissance. Le lien de régulation est une relation non-transitive.
C/C* Les liens de composition et de composition multiple permettent de représenter l’association entre une connaissance et des connaissances qui la composent. Le lien de composition est une relation transitive.
E Le lien englobe ne possède pas de symbolique particulière dans le langage MOT original. Il s'agit d'une relation qui unit l'élément d'un modèle aux éléments d'un sous-modèle. Le lien englobe est une relation transitive.

Règles d'utilisation

Certaines règles d’association entre des connaissances sources et des connaissances destinations sont appliquées à chacun des types de relation. Ces règles définissent les relations considérées valides entre les différents types de connaissances du point de vue de la sémantique MOT.

Voici les quelques règles générales d’utilisation :

  • Règle 1 : une relation ne peut pas exister seule; elle doit, à son origine et à sa destination, référer à une connaissance (factuelle et/ou abstraite selon le cas).
  •  Règle 2 : il est possible qu’une relation possède la même connaissance d’origine et de destination.
  • Règle 3 : une connaissance peut exister seule, sans qu’elle soit l’origine ou la destination d’une relation

Plus spécifiquement, il existe un ensemble de règles secondaires qui régissent chacune des relations en fonction de la nature des connaissances d’origine et de destination qu’elles associent. Le tableau 3 présente, en format condensé, l’ensemble des règles d’union des relations et des connaissances de MOT.

tableau des règles d'utilisation des relations

Le tableau 3 s’interprète de la façon suivante : prenons par exemple la première case du haut à gauche. On y lit « C, S ». L’interprétation, sous forme de règle, s’inscrit comme suit :

  •  Règle C1 : si l’origine d’un lien est un concept et que la destination est un concept, alors la relation peut être de type « C » (qui est un lien de composition);
  • Règle S1 : si l’origine d’un lien est un concept et que la destination est un concept, alors la relation peut être de type « S » (qui est un lien de spécialisation);

Chacune des cases du tableau s’interprète selon la même lecture impliquant un ensemble de cas d’utilisation pour chacun des liens.