Un solveur léger efficace pour interroger le Web sémantique
(2012) Journées Francophones de Programmation par Contraintes (JFPC 2012) — Location: Toulouse France (22.May.2012)
Files
jfpc2012_Castor.pdf
Open Access - Adobe PDF
- 208.24 KB
Details
- Authors
- Abstract
- 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-difficile. Nous modélisons les requêtes SPARQL de manière déclarative, au moyen de CSPs. 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 benchmarksmontrent la faisabilité et l’efficacité de l’approche.
- Affiliations
Université de Lyon, LIRIS, Villeurbanne (France)
Citations
le Clément de Saint Marcq, V., Deville, Y., Solnon, C., & Champin, P.-A. (2012). Un solveur léger efficace pour interroger le Web sémantique. Journées Francophones de Programmation par Contraintes (JFPC 2012), Toulouse France. https://hdl.handle.net/2078.5/225182