SPARQL Query Containment under RDFS Entailment Regime

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 : The problem of SPARQL query containment is defined as determining if the result of one query is included in the result of another for any RDF graph Query containment is important in many areas, including information integration query optimization, and reasoning about Entity-Relationship diagrams. We encode this problem into an expressive logic called mu-calculus: where RDF graphs become transition systems, queries and schema axioms become formulas. Thus, the containment problem is reduced to formula satisfiability test. Beyond the logic's expressive power, satisfiability solvers are available for it. Hence, this study allows to exploit these advantages.
Type de document :
Communication dans un congrès
Bernhard Gramlich and Dale Miller and Uli Sattler. 6th International Joint Conference on Automated Reasoning (IJCAR), Jun 2012, Manchester, United Kingdom. Springer, pp.134-148, 2012, 〈10.1007/978-3-642-31365-3_13〉
Domaine :
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00749087
Contributeur : <>
Soumis le : mardi 6 novembre 2012 - 16:00:01
Dernière modification le : vendredi 16 novembre 2012 - 14:54:22
Document(s) archivé(s) le : samedi 17 décembre 2016 - 08:08:16

Fichier

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

Identifiants

Collections

Citation

Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. SPARQL Query Containment under RDFS Entailment Regime. Bernhard Gramlich and Dale Miller and Uli Sattler. 6th International Joint Conference on Automated Reasoning (IJCAR), Jun 2012, Manchester, United Kingdom. Springer, pp.134-148, 2012, 〈10.1007/978-3-642-31365-3_13〉. 〈hal-00749087〉

Partager

Métriques

Consultations de la notice

480

Téléchargements de fichiers

134