Thèse d’Informatique, Université de Nantes

Contribution à l’ingénierie des ontologies : une méthode et un outil d’opérationnalisation.

Frédéric FÜRST
jeudi 25 novembre 2004.
 

Thèse de Frédéric Fürst

Thèse de doctorat en informatique de l'Université de Nantes

Frédéric FÜRST

Contribution à l'ingénierie des ontologies : une méthode et un outil d'opérationnalisation

soutenue le 25 novembre 2004
Lieu : Nantes
devant le jury composé de :

Président : Jean-Marie Pinon, Professeur/INSA de Lyon
Rapporteurs :     Michel Chein, Professeur, Université de Montpellier II ;
                        Rose Dieng, Directrice de Recherche INRIA, Unité de Sophia-Antipolis
Examinateurs :  Henri Briand, Professeur, Université de Nantes ;
                        Michel Leclère, Maitre de Conférences, Université de Montpellier II ;
                        Jean-Marie Pinon, Professeur/INSA de Lyon ;
                        Francky Trichet, Maitre de Conférences, Université de Nantes

Encadrement : Pr. Henri Briand (directeur), Michel Leclère & Francky Trichet (encadrement scientifique)

Résumé de la thèse :

L'ingénierie ontologique vise à la construction et l'exploitation d'ontologies, c'est-à-dire des représentations des connaissances d'un domaine indépendantes des usages opérationnels qui peuvent en être fait. Dans ce cadre, cette thèse porte sur l'étude de l'opérationalisation des ontologies de domaine, processus permettant de passer de la représentation conceptuelle des connaissances dans une ontologie, neutre vis-à-vis des usages, à une représentation opérationnelle, adaptée à son utilisation dans un Système à Base de Connaissances (SBC). Nous explicitons la notion d'opérationalisation dans le cadre de l'ingénierie ontologique et nous proposons une méthodologie générale d'opérationalisation par spécification du scénario d'usage décrivant l'objectif opérationnel du SBC. Nous proposons également un langage de représentation d'ontologie dans le cadre du paradigme Entité/Relation, langage inspiré du modèle des Graphes Conceptuels (GCs), et permettant la représentation d'ontologies lourdes (comprenant la terminologie du domaine, concepts et relations, ainsi que les axiomes exprimant sa sémantique). Nous appliquons notre méthodologie à ce langage et définissons des règles formelles d'opérationalisation d'une ontologie dans le modèle des GCs. Nous avons implémenté ces règles dans un atelier d'ingénierie ontologique, nommé TooCoM, offrant des fonctionnalités d'édition d'ontologie dans le cadre du langage défini, d'opérationalisation automatique d'ontologie dans le modèle des GCs, de raisonnement à partir des ontologies opérationnelles générées, de test et d'alignement d'ontologie.

Mots-clé :
Ontologie, Opérationalisation, Graphes Conceptuels, Systèmes à Base de Connaissances

Site où trouver la thèse : http://www.sciences.univ-nantes.fr/info/perso/permanents/furst/

Contact : Frédéric Fürst
ATER

LINA
Université de Nantes - Ecole des Mines de Nantes
2 rue de la Houssinière
BP92208 - 44322 Nantes Cedex3
tél :
02 51 12 59 64 - fax : 02 51 12 58 12
mail :
furst@univ-nantes.fr - site : page personnelle