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

PROPOSITION DE PROJET


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 :

Types de données et RDFS: concilier complétude des inférences et l'efficacité des algorithmes

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:

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.


http://exmo.inria.fr/training/M2MI-2004-data.html

$Id: M2MI-2004-data.html,v 1.6 2021/12/17 16:04:32 euzenat Exp $