Un solveur léger efficace pour interroger le Web Sémantique

Vianney Le Clément de Saint-Marcq 1 Yves Deville 1 Christine Solnon 2 Pierre-Antoine Champin 3
2 M2DisCo - Geometry Processing and Constrained Optimization
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
3 SILEX - Supporting Interaction and Learning by Experience
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Résumé : Le Web Sémantique vise à construire des bases de données inter-domaines et distribuées à travers l'internet. SPARQL est un langage de requêtes standard pour ces bases de données. L'évaluation de telles requêtes est cependant NP-diffi cile. Nous modélisons les requêtes SPARQL de mani ère déclarative, au moyen de CSP. Une sémantique opérationnelle CP est proposée. Elle peut être utilisée pour une impl émentation directe dans des solveurs CP existants. Pour traiter des bases de donn ées de grande taille, nous introduisons un solveur spécialisé, léger et efficace, Castor. Les benchmarks montrent la faisabilit e et l'efficacité de l'approche.
Type de document :
Communication dans un congrès
JFPC 2012, May 2012, Toulouse, France. 2012
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00809859
Contributeur : Christine Solnon <>
Soumis le : mercredi 10 avril 2013 - 07:59:22
Dernière modification le : jeudi 19 avril 2018 - 14:38:05
Document(s) archivé(s) le : lundi 3 avril 2017 - 03:24:14

Fichier

jfpc2012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00809859, version 1

Citation

Vianney Le Clément de Saint-Marcq, Yves Deville, Christine Solnon, Pierre-Antoine Champin. Un solveur léger efficace pour interroger le Web Sémantique. JFPC 2012, May 2012, Toulouse, France. 2012. 〈hal-00809859〉

Partager

Métriques

Consultations de la notice

270

Téléchargements de fichiers

132