OntoCASE: MÉTHODOLOGIE ET ASSISTANT LOGICIEL POUR UNE INGÉNIERIE ONTOLOGIQUE FONDÉE SUR LA TRANSFORMATION D'UN MODÈLE SEMI-FORMEL - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2010

OntoCASE: MÉTHODOLOGIE ET ASSISTANT LOGICIEL POUR UNE INGÉNIERIE ONTOLOGIQUE FONDÉE SUR LA TRANSFORMATION D'UN MODÈLE SEMI-FORMEL

Résumé

Develop a formal ontology requires a certain expertise, which is mostly inaccessible to content experts. However, more and more experts are using the half-formal modeling to represent their expertise, because such language is best known for its ease of use and ability to represent declarative, procedural, strategic and factual knowledge. Half-formal modeling, which can be a first step in setting up a corporate memory, does not eliminate the need to formally represent knowledge, forcing them to implement a step of formalizing the half-formal model. We have developed a methodology for converting a half-formal model to ontology and a software wizard who developed half-automated or automated processes of transformation methodology. The design approach of the methodology and its computer assistant is divided into three phases: 1) Implementation phase of architectural components, procedural and computational methodology is the initial phase of the process, 2) phase aggregation of ontological components, procedural and IT is the phase of development and harmonization of modules to process the wizard of the methodology, 3) the confirmation phase is the stage of testing and refinement of the functionality of Wizard Computer and methodology. Four disciplines are involved in this thesis: knowledge management, our approach provides a method of formalization of knowledge based on a half-formal representation, in ontological engineering, our work provides an architectural framework and procedure that formalizes and orchestrates the process of building an ontology from a half-formal model; in knowledge representation, this thesis advances the study of a formal categorization of knowledge representation that they are declarative, procedural, strategic or factual, and finally, in a computational point of view, this research presents an architecture and tools that formalize and make executable the process of transformation.
Concevoir une ontologie formelle demande une expertise certaine, qui est la plupart du temps, peu accessible à des experts de contenu. En revanche, de plus en plus d'experts utilisent la modélisation semi-formelle pour représenter leur expertise, car ce type de langage est notamment reconnu pour sa simplicité d'utilisation et sa capacité à représenter des connaissances de types déclaratifs, procédurales, stratégiques et factuels. La modélisation semi-formelle, qui peut constituer une première démarche dans la mise en place d'une mémoire d'entreprise, n'élimine en rien la nécessité de représenter formellement la connaissance, obligeant ainsi à mettre en oeuvre une étape de formalisation du modèle semi-formel. Nous avons conçu une méthodologie de transformation d'un modèle semi-formel en ontologie et développé un assistant logiciel qui semi-automatise, ou automatise les processus de la méthodologie de transformation. La démarche de conception de la méthodologie et de son assistant informatique se divise en trois phases: 1) la phase de Mise en place des composants architecturaux, procéduraux et informatiques de la méthodologie est la phase initiale de la démarche; 2) la phase d'Agrégation des composants ontologiques, procéduraux et informatiques est la phase de développement et d'harmonisation des modules de l'assistant aux processus de la méthodologie; 3) la phase de confirmation est l'étape de tests et de raffinement de la fonctionnalité, de l'assistant informatique et de la méthodologie. Quatre champs disciplinaires sont concernés par cette thèse: en gestion des connaissances, notre approche offre une méthode de formalisation de la connaissance fondée sur une représentation semi-formelle de la connaissance; en ingénierie ontologique, nos travaux offrent un cadre architectural et procédural qui formalise et instrumente le processus de construction d'une ontologie à partir d'une représentation semi-formelle des connaissances; en représentation des connaissances, notre thèse approfondit l'étude d'une catégorisation formelle de la représentation des connaissances qu'elles soient déclaratives, procédurales, stratégiques ou factuelles; et finalement, d'un point de vue informatique, cette recherche présente une architecture et des outils informatiques qui formalisent et rendent exécutable le processus de transformation.
Fichier principal
Vignette du fichier
2011_Michel_Heon_These_OntoCASE.pdf (12.2 Mo) Télécharger le fichier
2010-11-04-MichelHeon_OntoCASE_Soutenance.pptx (5.34 Mo) Télécharger le fichier
Format : Autre
Loading...

Dates et versions

tel-00568936 , version 1 (24-02-2011)

Identifiants

  • HAL Id : tel-00568936 , version 1

Citer

Michel Héon. OntoCASE: MÉTHODOLOGIE ET ASSISTANT LOGICIEL POUR UNE INGÉNIERIE ONTOLOGIQUE FONDÉE SUR LA TRANSFORMATION D'UN MODÈLE SEMI-FORMEL. Génie logiciel [cs.SE]. Université de Québec à Montréal, 2010. Français. ⟨NNT : ⟩. ⟨tel-00568936⟩

Collections

TDS-MACS
265 Consultations
1374 Téléchargements

Partager

Gmail Facebook X LinkedIn More