Introducing reasoning into an industrial knowledge management tool
| Autor: | Carloni, Olivier |
|---|---|
| Přispěvatelé: | Graphs for Inferences on Knowledge (GRAPHIK), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Montpellier II - Sciences et Techniques du Languedoc, Marie-Laure Mugnier, Collaboration du laboratoire LIRMM avec la société Mondeca, Projet Eiffel |
| Jazyk: | francouzština |
| Rok vydání: | 2008 |
| Předmět: |
Logique
Reasoning & Knowledge Representation Graphes Conceptuels Web Sémantique Predicates Calculus Rules Ontologie Règles [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] RDF Inférence Intelligence Artificielle Logique des prédicats Déduction logique FOL Semantic Web OWL Logical Deduction Ontology First Order Logic Sémantique formelle Raisonnement Contraintes Constraints Conceptual Graphs Topic Maps Représentation des Connaissances et Raisonnements Logique du premier ordre Formal Semantics |
| Zdroj: | Génie logiciel [cs.SE]. Université Montpellier II-Sciences et Techniques du Languedoc, 2008. Français |
| Popis: | This thesis deals with the design of an annotation validation and enrichment service for an industrial knowledge management tool based on the Topic Maps language (TM). As such a service needs reasoning capabilities on knowledge, one part of the work was to provide formal semantics to the TM language. This has been done by a mapping between TM language and conceptual graph logical formalism (which - as TM - is close to graph theoretic structures). The designed solution has been used in two end-user applications : one for media monitoring and the other for touristic promotional needs. In a schematic way, annotations are automatically extracted from documents (with regard to the cultural field : news/economy/politics/tourism/etc) and merged with the knowledge base. In a second time, they are sent to an enrichment and validation service which completes the annotation and verify its consistence ; and finally send back to the KB the enrichment and validation results.; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|