Réalisation de l'interopérabilité sémantique des systèmes, basée sur les ontologies et les flux d'information

Les travaux de recherche presentes dans ce manuscrit s'inscrivent dans le domaine de l'ingenierie des connaissances. Considerant la description des connaissances au travers des ontologies, nous representons celles-ci par des ontologies de buts. Le probleme sous-jacent a ce choix est un probleme d'alignement semantique des buts en environnement distribue. Pour le resoudre, nous proposons une approche dont l'objectif consiste a etablir des liens entre ces ontologies de buts en se basant sur les logiques distribuees. Dans la perspective d'automatiser cet alignement, nous nous appuyons sur le modele IF (Information Flow) qui assure l'interoperabilite semantique entre des systemes dans un environnement distribue. En effet, ce modele identifie une theorie de base pour la formalisation des connexions entre systemes. Ainsi, les buts representes en termes d'ontologies pourront etre raccordes semantiquement s'ils satisfont un certain nombre de regles. Une application extraite d'un projet reel illustrera plus concretement la demarche choisie tout au long du manuscrit.

[1]  R. Studer,et al.  Semantic Web Technologies: Trends and Research in Ontology-based Systems , 2006 .

[2]  Fausto Giunchiglia,et al.  S-Match: an Algorithm and an Implementation of Semantic Matching , 2004, ESWS.

[3]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

[4]  Dejing Dou,et al.  Ontology translation by ontology merging and automated reasoning , 2004 .

[5]  Richard Dapoigny,et al.  Using Contexts to Prove and Share Situations , 2007, FLAIRS.

[6]  Fausto Giunchiglia,et al.  What is Local Models Semantics , 2002 .

[7]  Laurent Foulloy,et al.  Inferential Knowledge Sharing with Goal Hierarchies in Distributed Engineering Systems , 2005, IICAI.

[8]  Richard Dapoigny,et al.  Formal Method for Automatic and Semantic Mapping of Distributed Service-Ontologies , 2007, ICSOFT.

[9]  Asunción Gómez-Pérez,et al.  METHONTOLOGY: From Ontological Art Towards Ontological Engineering , 1997, AAAI 1997.

[10]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[11]  John L. Pollock,et al.  The Logical Foundations of Goal-Regression Planning in Autonomous Agents , 1998, Artif. Intell..

[12]  Eric Yu,et al.  Using Goals, Rules and Methods to Support Reasoning in Business Process Reengineering , 1996 .

[13]  Deborah L. McGuinness,et al.  The Chimaera Ontology Environment , 2000, AAAI/IAAI.

[14]  Borys Omelayenko.  RDFT: A Mapping Meta-Ontology for Web Service Integration , 2003, Knowledge Transformation for the Semantic Web.

[15]  Faiçal Azouaou.  Modèles et outils d'annotations pour une mémoire personnelle de l'enseignant. (Annotation's models and tools for a teacher's personal memory) , 2006 .

[16]  Robin Cooper,et al.  Austinian Truth, Attitudes and Type Theory , 2005 .

[17]  Stefan Klein,et al.  The Transformation of Pricing Models on the Web: Examples from the Airline Industry , 2000 .

[18]  Philippe Massonet,et al.  GRAIL/KAOS: an environment for goal-driven requirements analysis, integration and layout , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[19]  John Mylopoulos,et al.  Ontologies for Knowledge Management: An Information Systems Perspective , 2004, Knowledge and Information Systems.

[20]  Amedeo Cesta,et al.  Recent Advances in AI Planning , 1997, Lecture Notes in Computer Science.

[21]  Eric Yu,et al.  From Requirements to Architectural Design –Using Goals and Scenarios , 2001 .

[22]  Pericles Loucopoulos,et al.  Goal driven requirements engineering: Evaluation of current methods. , 2003 .

[23]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[24]  Richard Dapoigny,et al.  Towards a Context Theory for Context-aware systems , 2007, AITamI@IJCAI.

[25]  Steffen Staab,et al.  QOM - Quick Ontology Mapping , 2004, GI Jahrestagung.

[26]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[27]  Boris Motik,et al.  MAFRA - A MApping FRAmework for Distributed Ontologies , 2002, EKAW.

[28]  Laurent Foulloy,et al.  Deriving Behavior from Goal Structure for the Intelligent Control of Physical Systems , 2005, ICINCO.

[29]  Gerd Stumme,et al.  FCA-MERGE: Bottom-Up Merging of Ontologies , 2001, IJCAI.

[30]  Barbara Farbey,et al.  Exploring Requirements: Quality Before Design , 1991 .

[31]  Gregory R. Olsen,et al.  An Ontology for Engineering Mathematics , 1994, KR.

[32]  Andrew J. Cowell,et al.  Evaluating Agent Architectures: Cougaar, Aglets and AAA , 2003, SELMAS.

[33]  Marco Schorlemmer,et al.  Situated Semantic Alignment , 2006, EUMAS.

[34]  Mitsuru Ikeda,et al.  An Overview of \Learning Goal Ontology , 2000 .

[35]  Jan L. Top,et al.  Engineering ontologies , 1997, Int. J. Hum. Comput. Stud..

[36]  Enrico Motta,et al.  Ontology-driven document enrichment: principles, tools and applications , 2000, Int. J. Hum. Comput. Stud..

[37]  Mark A. Musen,et al.  PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment , 2000, AAAI/IAAI.

[38]  Jon Barwise,et al.  Information Flow: The Logic of Distributed Systems , 1997 .

[39]  Fabien L. Gandon,et al.  On Ontology Matching Problems - for Building a Corporate Semantic Web in a Multi-Communities Organization , 2004, ICEIS.

[40]  Pedro M. Domingos,et al.  Ontology Matching: A Machine Learning Approach , 2004, Handbook on Ontologies.

[41]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[42]  J. Charlet,et al.  Interopérabilité en médecine : quand le contenu interroge le contenant et l'organisation , 2002 .

[43]  L. Foulloy,et al.  Service integration in distributed control systems: an approach based on fusion of mereologies , 2004, IEEE Conference on Cybernetics and Intelligent Systems, 2004..

[44]  Colette Rolland,et al.  Guiding the Construction of Textual Use Case Specifications , 1998, Data Knowl. Eng..

[45]  Mark A. Musen,et al.  Anchor-PROMPT: Using Non-Local Context for Semantic Matching , 2001, OIS@IJCAI.

[46]  Natalya F. Noy,et al.  Semantic integration: a survey of ontology-based approaches , 2004, SGMD.

[47]  Nicolas Prat,et al.  Goal Formalisation and Classification for Requirements Engineering , 1996 .

[48]  Fabrice Jouanot.  Un modèle sémantique pour l'interopération de systèmes d'information , 2000, INFORSID.

[49]  John Fox,et al.  Modelling Clinical Goals: a Corpus of Examples and a Tentative Ontology , 2004, CGP.

[50]  Nicola Guarino,et al.  Ontologies and Knowledge Bases. Towards a Terminological Clarification , 1995 .

[51]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[52]  Valéry Psyché,et al.  Apport de l'ingénierie ontologique aux environnements de formation à distance , 2003 .

[53]  Gregory D. Abowd,et al.  A Conceptual Framework and a Toolkit for Supporting the Rapid Prototyping of Context-Aware Applications , 2001, Hum. Comput. Interact..

[54]  N. Mellal,et al.  A multi-agent specification for the goal-ontology mapping in distributed complex systems , 2006, 2006 7th International Baltic Conference on Databases and Information Systems.

[55]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[56]  Jacqueline Bourdeau,et al.  Using Ontological Engineering to Overcome Common AI-ED Problems , 2000 .

[57]  Yannis Kalfoglou,et al.  Centre for Intelligent Systems and Their Applications , 2006 .

[58]  Mitsuru Ikeda,et al.  Is What You Write What You Get?: An Operational Model of Training Scenario , 2000, Intelligent Tutoring Systems.

[59]  James A. Hendler,et al.  Ontology-based Web agents , 1997, AGENTS '97.

[60]  Axel van Lamsweerde,et al.  Goal-Oriented Requirements Engineering: A Guided Tour , 2001, RE.

[61]  John F. Sowa,et al.  Conceptual graphs summary , 1992 .

[62]  Laurent Foulloy,et al.  Modeling and Multi-agent Specification of IF-Based Distributed Goal Ontologies , 2006, IEA/AIE.

[63]  Hans-Peter Schnurr,et al.  Do not use this gear with a switching lever! Automotive industry experience with semantic guides , 2005, GI Jahrestagung.

[64]  L. Foulloy,et al.  The Fusion Process of Goal Ontologies using Intelligent Agents in Distributed Systerns , 2006, 2006 3rd International IEEE Conference Intelligent Systems.

[65]  Michel Dumontier,et al.  CO: A chemical ontology for identification of functional groups and semantic comparison of small molecules , 2005, FEBS letters.