Mémoires de Fin d’Etudes
Etablissement
Université de Sidi Bel Abbès - Djillali Liabes
Affiliation
Département d’Informatique
Auteur
HAMRI, Mohamed Mehdi
Directeur de thèse
Benslimane Sidi Mohammed (Maitre de conférence)
Filière
Informatique
Diplôme
Doctorat
Titre
Ingénierie ontologie dirigée par les modèles
Mots clés
: ingénierie ontologique, approche MDA, Médèle conceptuel, transformation de modèle, OWL,UML
Résumé
Une définition généralement admise d’ « ontologie » est celle prposée par ( Gruber 1993) : « An ontology is an explicit spécification » à la lumière de cette définition, le processus, de construction d’une ontologie de décompose en une activité d’licitation pour la construction du modèle conceptuel, et en une activité de formalisation pour lé génération de l’ontologie. Dans le contexte du processus de construction d’une ontologie ; la motivation de la thèse est d’offrir à l’ingénieur ontologique une méthodologie qui, d’une part, intègre des méthodes et des outils informatiques hautement intuitifs pour l’élicitation des connaissances, et d’autre part, associe aux méthodes de formalisation une assistance informatique intelligente pour formaliser des modèles conceptuels en ontologies. La problématique de la thèse, liée à la formalisation, concerne deux sujets : le degré de formalisme semi-formel des modèles conceptuels à formaliser, ainsi que, les diverses catégories de connaissance (déclarative, procédurale, structurelle, méta connaissance, floue, etc.) qui sont à représenter en une catégorie ontologique. Afin de développer la méthodologie de transformation, nous réaliserons une démarche selon une approche itérative favorisant ainsi l’émergence des solutions viables et éprouvées. Le Modèle Driven Architecture ( MDA), dont le méta-Object Facilité (MOF) en est le système de représentation, propose une architecture conceptuelle de formalisation et de transformation de systèmes de représentation. Dans le même esprit architectural, nous remplacerons le MOF par l’«Ontology web Langage » (OWL) concevant ainsi une ontologie de transformation qui sera connaissances formelle de l’assistant à la transformation et qui servira de modèle conceptuel formel à la méthodologie de transformation.
Statut
Validé