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.
Liste complète des métadonnées

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-00809859
Contributor : Christine Solnon <>
Submitted on : Wednesday, April 10, 2013 - 7:59:22 AM
Last modification on : Thursday, February 7, 2019 - 4:15:21 PM
Document(s) archivé(s) le : Monday, April 3, 2017 - 3:24:14 AM

File

jfpc2012.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00809859⟩

Share

Metrics

Record views

385

Files downloads

270