OntoCASE
Cotechnoe inc. www.cotechnoe.com

OntoCASE

www.cotechnoe.com
Bienvenue sur le site
OntoCASE
l'atelier de génie logiciel d'ingénierie ontologique

OntoCASE est un atelier de génie logiciel pour la conception d'ontologies OWL fondée sur une représentation semi-formelle graphique.

Caractéristiques:

  1. OntoCASE est fondée sur l'utilisation d'un langage semi-formel pour la conception d'ontologies
  2. OntoCASE produit des ontologies dans le formalisme OWL 1.0
  3. OntoCASE est composé de trois modules:
                - eLi, l'éditeur de modèles semi-formels en langage MOT
                - un module expert qui désambiguïse le modèle semi-formel et qui le formalise en ontologie OWL
                - un module expert de validation sémantique et syntaxique de l'ontologie produite

Langage de modélisation semi-formel

Spécialement créé pour OntoCASE, eLi permet l'édition de modèles en langage de Modélisation par Objets Typés (MOT [1,2]).

[1] Paquette, Gilbert. 2002. Modélisation des connaissances et des compétences : un langage graphique pour concevoir et apprendre. Sainte-Foy: Presses de l'UQ.
[2] Paquette, Gilbert. 2010. Visual Knowledge and Competency Modeling - From Informal Learning Models to Semantic Web Ontologies. Hershey, PA: IGI Global.

Vous trouverez dans le guide du langage MOT plus de détails concernant ce langage semi-formel

Méthodologie

Pourquoi utiliser un langage semi-formel ?

  • Il offre une grande souplesse d’expression
  • Il favorise le processus d’explicitation de connaissances tacites
  • La spontanéité n’est pas bloquée par la charge cognitive associée à une formalisation trop poussée de la pensée
  • Par rapport à un langage informel, elle fournit un certain guidage qui structure le processus de modélisation.
  • Le modèle qui en résulte constitue une première itération de formalisation
  • Il permet d’élargir le bassin des personnes aptes à représenter leurs connaissances
  • Il permet d'économiser du temps pour l’élicitation des connaissances expertes, libérant ainsi plus rapidement les experts pour la réalisation de leur travail habituel
  • Il permet réaliser un gain de qualité dans la représentation des connaissances

La méthode de conception d'une ontologie formelle à partir d'un modèle semi-formel

la méthodologie de conception d'une ontologie formelle à partir d'un modèle semi-formel se compose de trois méthodes, soit les suivantes: concevoir un modèle semi-formel, formaliser en ontologie du domaine et valider l'ontologie du domaine. Quatre artéfacts sont produits par la méthodologie, soit le modèle semi-formel du domaine, l'ontologie du domaine, le rapport de validation syntaxique et le rapport de validation sémantique. La méthodologie est itérative, c'est-à-dire que le résultat de l'itération précédente sert d'intrant à l'itération en cours de réalisation. C'est ainsi que les rapports de validation réalisés à l'itération précédente servent d'intrants à la méthode de conception du modèle semi-formel de l'itération en cours. Le détail de chacune de ces méthodes sera développé dans les sections subséquentes.

Les acteurs qui agissent sur la méthodologie sont au nombre de cinq. Le premier de ces acteurs est l'expert de contenu. Son rôle principal est d'extérioriser l'expertise qu'il détient par la production d’un modèle semi-formel du domaine valide et cohérent face à son domaine d'expertise. Il est donc directement impliqué dans la réalisation des méthodes de conception du modèle semi-formel du domaine et dans la méthode de validation de l'ontologie du domaine.

Le deuxième acteur de la méthodologie est l'ingénieur de la connaissance. En raison de son expertise en conception d'ontologies, cet acteur a un rôle de support à l'expert de contenu pour la formalisation de son expertise. L'ingénieur guide l'expert et parfois le novice pendant la conception du modèle semi-formel; il réalise l'exécution de la méthode de formalisation, puis il travaille en collaboration avec l'expert pour la validation de l'ontologie.

Les troisième, quatrième et cinquième acteurs sont les outils qui forment le volet computationnel d'OntoCASE, soit l’éditeur de modèle MOT eLi, le système expert à la formalisation et l’assistant à la validation