Introduction de raisonnement dans un outil industriel de gestion des connaissances

• Main Author: Carloni, Olivier
• Language: fra
• Published: Université Montpellier II - Sciences et Techniques du Languedoc 2008
• Subjects: [INFO:INFO_SE] Computer Science/Software Engineering; [INFO:INFO_SE] Informatique/Génie logiciel; Graphes Conceptuels; Web Sémantique; Topic Maps; Logique; Raisonnement; Intelligence Artificielle; Représentation des Connaissances et Raisonnements; RDF; OWL; Logique du premier ordre; Logique des prédicats; Ontologie; Contraintes; Règles; Inférence; Déduction logique; Sémantique formelle
• Online Access: http://tel.archives-ouvertes.fr/tel-00387017; http://tel.archives-ouvertes.fr/docs/00/38/70/17/PDF/These-Olivier-Carloni.pdf

Le travail de thèse présenté dans ce document porte sur la conception d'un service de validation et d'enrichissement d'annotations pour un outil industriel de gestion des connaissances basé sur le langage des Topic Maps (TM). Un tel service nécessitant la mise en oeuvre de raisonnements sur les connaissances, il a été nécessaire de doter le langage des TM d'une sémantique formelle. Ceci a été réalisé par l'intermédiaire d'une transformation réversible des TM vers le formalisme logique des graphes conceptuels qui dispose d'une représentation graphique des connaissances (les TM pouvant facilement en être munie d'une). La solution a été mise en oeuvre dans deux applications, l'une conçue pour la veille médiatique et l'autre pour la promotion de ressources touristiques. Schématiquement, des annotations sont extraites automatiquement des documents selon le domaine concerné (actualité/économie ou tourisme) puis ajoutées à la base de connaissances. Elles sont ensuite fournies au service d'enrichissement et de validation qui les complète de nouvelles connaissances et décide de leur validité, puis retourne à la base de connaissance le résultat de l'enrichissement et de la validation.