Raisonner le Web Sémantique avec des Graphes
Mardi 31 Mai 2005 - Nice
Journée thématique organisée dans le cadre de la plate-forme AFIA 2005 (Association française pour l'intelligence artificielle).
Contact : rwsg@lirmm.fr
Organisateurs :  | Olivier Corby (INRIA, Sophia) |
| Catherine Faron-Zucker (I3S, UNSA Sophia) |
| Michel Leclère (LIRMM, Montpellier) |
| Francky Trichet (LINA, Nantes) |
| Date limite de soumission : |
20 mars 2005 |
| Notification aux auteurs : |
8 avril 2005 |
| Journée Thématique : |
31 mai 2005 (matin) |
Depuis quelques années,
une certaine effervescence règne autour du concept de « web
sémantique », effervescence qui a conduit à l’émergence de plusieurs
standards « web sémantique » de représentation de connaissances :
RDF, le langage de représentation d'annotations ; OWL, le langage de
représentation d'ontologies ; RuleML le langage de représentation de règles.
Ces langages disposent pour certains d'une sémantique formelle mais ne
disposent pas de mécanismes de raisonnement. Ce sont des langages d'échange de
connaissances sur le web, qui n'ont pas vocation à offrir de tels services. Cependant
la mise en place d’un service inférentiel pour le web sémantique nécessite de
définir des mécanismes d'opérationnalisation de ces langages, , i.e. des
mécanismes visant à ajouter une sémantique opérationnelle à la sémantique
formelle des primitives et de leurs constructeurs. Si les logiques de
descriptions sont la cible privilégiée pour opérationnaliser OWL, elles ne sont
à l'heure actuelle pas capables de supporter RDF ou RuleML.
Le web sémantique véhicule également l'idée d'un web compréhensible à
la fois par les hommes et les machines. Les travaux sur les Topic Maps
répondent à cette idée en permettant une représentation aisée des connaissances
par des graphes bâtis autour de notions simples. Cependant, ils ne disposent
pas d’une sémantique formelle permettant de définir les raisonnements que l’on
pourrait mettre en place sur eux
Il existe en France une
communauté de chercheurs travaillant autour de la représentation de
connaissances et des raisonnements à partir de graphes. Cette communauté partage
un même formalisme de représentation des connaissances : les graphes
conceptuels.
La demi-journée thématique
« raisonner le web sémantique avec des graphes » doit permettre de
réunir les chercheurs et industriels intéressés par ce thème afin de croiser
les différents points de vues, d’échanger sur les projets en cours et
d’envisager la naissance d’une collaboration scientifique sur ce thème. On
cherchera à cibler quelles inférences sont utiles pour le web sémantique, et en
quoi les modèles de graphes permettent de répondre à ces inférences. Les
présentations pourront aborder des problèmes théoriques aussi bien
qu’applicatifs et pourront concerner des travaux passés, en cours ou en projet
Les présentations porteront sur les sujets suivants (liste
non-exhaustive):
| Annotation : construction, vérification ; |
| Ontologies : construction, validation, alignement, fusion ; |
| Requêtes : formulation, reformulation, extension de requêtes ; |
| Moteurs d’inférences : recherche d’information, navigation sémantique, services sémantiques, implémentation (passage à l'échelle, aspects distribués) ; |
| Liens entre langages du web sémantique (RDF/S, OWL, RuleML, Topic Maps…) et langages de graphes ; |
| Applications ; |
| Interface et visualisation des connaissances. |
| Soumission et Déroulement de la demi-journée |
Les auteurs sont invités à
soumettre un résumé de trois pages maximum à rwsg@lirmm.fr
avant le 20 mars 2005. Les soumissions acceptées feront l’objet d’une
présentation de 20 minutes. La demi-journée prendra alors la forme d’une réunion
de travail afin de favoriser la constitution d’un groupe de recherches.
| 
