Un solveur léger efficace pour interroger le Web Sémantique
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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...