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°12

RÉSUMÉ :

RDFS est un langage de représentation de connaissances dédié à la représentation de ressources dans le web sémantique. Plusieurs degrés d'expressivité sont disponibles dans ce langage, suivant le type d'interprétations utilisé pour les graphes RDF. Mais alors que les mécanismes de subsomption pour les trois premiers types d'interprétation (simple, rdf et rdfs) sont bien connus, l'interprétation des types de données soulève de nombreux problèmes:

• leur spécification ne permet pas de décider en temps fini si l'intersection de deux types de données est vide
• même si l'on change ces spécifications, l'utilisation des types de données fait monter la complexité du problème de subsomption dans la hiérarchie polynomiale (de NP-complet, il devient au moins Pi2-P-complet)
• de plus, l'aspect langage de requêtes disparait: il n'est plus possible de répondre à une requête par un appariement des variables d'une requête avec des termes de la base de faits

Le but de ce stage est de proposer des modifications du langage (contraintes supplémentaires pour les spécifications des types de données; appauvrissement de la sémantique; restriction syntaxiques...) et d'étudier l'impact de ces modifications sur la décidabilité, la complexité et l'expressivité des langages ainsi obtenus.