PSPARQL Query Containment

Melisachew Wudage Chekol 1 Jérôme Euzenat 1 Pierre Genevès 2 Nabil Layaïda 2
1 EXMO - Computer mediated exchange of structured knowledge
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Querying the semantic web is mainly done through SPARQL. This language has been studied from different perspectives such as optimization and extension. One of its extensions, PSPARQL (Path SPARQL) provides queries with paths of arbitrary length. We study the static analysis of queries written in this language, in particular, containment of queries: determining whether, for any graph, the answers to a query are contained in those of another query. Our approach consists in encoding RDF graphs as transition systems and queries as \mu-calculus formulas and then reducing the containment problem to testing satisfiability in the logic.
Type de document :
Communication dans un congrès
DBPL 2011 The 13th International Symposium on Database Programming Languages, Aug 2011, Seattle, United States. 8 p., 2011
Domaine :
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00619342
Contributeur : Vincent Quint <>
Soumis le : mardi 6 septembre 2011 - 10:53:17
Dernière modification le : lundi 5 octobre 2015 - 16:59:31
Document(s) archivé(s) le : lundi 5 décembre 2016 - 02:17:48

Fichier

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

Identifiants

  • HAL Id : hal-00619342, version 1

Collections

Citation

Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. PSPARQL Query Containment. DBPL 2011 The 13th International Symposium on Database Programming Languages, Aug 2011, Seattle, United States. 8 p., 2011. <hal-00619342>

Partager

Métriques

Consultations de
la notice

397

Téléchargements du document

145