Modélisation de réseaux sémantiques par des hypergraphes et applications

Abstract

Les évolutions du Web, prévues par le W3C, doivent favoriser le déploiement de services de meilleure qualité. Pour cela, la nouvelle architecture intègre un système de représentation de connaissances appelé Web Sémantique qui constitue la mise en œuvre d'un modèle théorique reposant sur la logique descriptive. Cette thèse, dont les recherches s'appliquent plus particulièrement au système de représentation de connaissances Topic Maps, a pour objectif de proposer une alternative a l'utilisation de la logique descriptive. Nous montrerons l’intérêt d'une structuration fondée sur la théorie des graphes dans le domaine de la représentation de connaissances. Cette thèse s'est inscrite, a l'origine, dans le cadre du projet europeen KePT ayant pour objectif la mise en place, pour l'application ITM de la société Mondeca, d'un environnement de visualisation de connaissances organisées selon la norme ISO 13250 Topic Maps. Les recherches sur le fractionnement de graphes menées dans le cadre du projet KePT ont montre le besoin d'une meilleure compréhension des topic maps et d'outils adaptés a la mise en œuvre de traitements efficaces. Ces besoins nous ont conduit a proposer un modèle formel fonde sur la théorie des graphes qui permet notamment l'expression de propriétés structurelles non exprimables par la logique du premier ordre. Outre son adaptation a des études théoriques, ce modèle formel permet l'adaptation d'algorithmes efficaces de la théorie des graphes a la mise en place de traitements difficilement envisageables auparavant dans une application industrielle.