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

L'ingenierie ontologique vise a la construction et l'exploitation d'ontologies, c'est-a-dire des representations des connaissances d'un domaine independantes des usages operationnels qui peuvent en etre fait. Dans ce cadre, cette these porte sur l'etude de l'operationalisation des ontologies de domaine, processus permettant de passer de la representation conceptuelle des connaissances dans une ontologie, neutre vis-a-vis des usages, a une representation operationnelle, adaptee a son utilisation dans un Systeme a Base de Connaissances (SBC). Nous explicitons la notion d'operationalisation dans le cadre de l'ingenierie ontologique et nous proposons une methodologie generale d'operationalisation par specification du scenario d'usage decrivant l'objectif operationnel du SBC. Nous proposons egalement un langage de representation d'ontologie dans le cadre du paradigme Entite/Relation, langage inspire du modele des Graphes Conceptuels (GCs), et permettant la representation d'ontologies lourdes (comprenant la terminologie du domaine, concepts et relations, ainsi que les axiomes exprimant sa semantique). Nous appliquons notre methodologie a ce langage et definissons des regles formelles d'operationalisation d'une ontologie dans le modele des GCs. Nous avons implemente ces regles dans un atelier d'ingenierie ontologique, nomme TooCoM, offrant des fonctionnalites d'edition d'ontologie dans le cadre du langage defini, d'operationalisation automatique d'ontologie dans le modele des GCs, de raisonnement a partir des ontologies operationnelles generees, de test et d'alignement d'ontologie.