Proposition n° 11

Titre : Combiner logique et expression régulières dans un langage de requêtes pour le web sémantique

Responsable(s) : Jean-François Baget (Email : jean-francois.baget@inrialpes.fr), Jérôme Euzenat (Email : jerome.euzenat@inrialpes.fr)

Spécialité(s) :
  III - Intelligence, Interaction, Information

Laboratoire(s) :
  INRIA

Description du Sujet :

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.