MASTÈRE MATHÉMATIQUES ET INFORMATIQUE 2E ANNÉE
Spécialité "Intelligence Interaction Information"
ANNEE 2004/2005

RESPONSABLES : Jean-François Baget & Jérôme Euzenat

TEL : 476 61 53 66 & 476 61 53 27

ADRESSE ELECTRONIQUE : Jean - Francois . Baget À inrialpes . fr, Jerome . Euzenat À inrialpes . fr

LABORATOIRE ET EQUIPE : Équipe Exmo, INRIA Rhône-Alpes

PROFIL DU PROJET : Parcours intelligence artificielle

TITRE :

Référence: Proposition n°11

RÉSUMÉ :

RDF (et son extension RDFS) est un langage de représentation de connaissances dédié à la représentation de ressources dans le web sémantique. La subsomption dans ce langage peut être calculée par un appariement de graphes, liant les termes de la requête à une réponse dans une base de faits.

Bien que ce mécanisme soit généralement au coeur des langages de requêtes développés autour de RDF/S, une autre approche (inspirée des réseaux sémantiques) consiste à décrire des chemins par des expressions régulières, et à chercher ces chemins dans la base de faits.

Tous les langages de requêtes utilisant une approche mixte souffrent d'au moins un des défauts suivants:

• absence d'une sémantique formelle
• incomplétude des raisonnements
• pas d'arrêt des calculs
• abandon de l'appariement de graphes

Le but de l'étudiant est de définir un langage (syntaxe et sémantique) conjugant ces deux approches et d'étudier des algorithmes efficaces pour calculer la subsomption dans ce langage.