SPARQL Query Containment with ShEx Constraints

Abdullah Abbas 1 Pierre Genevès 1 Cécile Roisin 1 Nabil Layaïda 1
1 TYREX - Types and Reasoning for the Web
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : ShEx (Shape Expressions) is a language for expressing constraints on RDF graphs. We consider the problem of SPARQL query containment in the presence of ShEx constraints. We first investigate the complexity of the problem according to the fragments considered for SPARQL queries and for ShEx constraints. In particular, we show that the complexity of SPARQL query containment remains the same with or without ShEx constraints. We develop two radically different approaches for solving the problem and we evaluate them. The first approach relies on the joint use of a ShEx validator and a tool for checking query containment without constraints. In a second approach, we show how the problem can be solved by a reduction to a fragment of first-order logic with two variables. This alternative approach allows to take advantage of any of the many existing FOL theorem provers in this context. We evaluate how the two approaches compare experimentally, and report on lessons learned. To the best of our knowledge, this is the first work addressing SPARQL query containment in the presence of ShEx constraints.
Type de document :
Communication dans un congrès
ADBIS 2017 - 21st European Conference on Advances in Databases and Information Systems , Sep 2017, Nicosia, Cyprus. Springer, 10509, LNCS - Lecture Notes in Computer Science
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01414509
Contributeur : Tyrex Equipe <>
Soumis le : mercredi 29 novembre 2017 - 14:13:38
Dernière modification le : jeudi 11 octobre 2018 - 08:48:04

Fichier

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

Identifiants

  • HAL Id : hal-01414509, version 2

Collections

Citation

Abdullah Abbas, Pierre Genevès, Cécile Roisin, Nabil Layaïda. SPARQL Query Containment with ShEx Constraints. ADBIS 2017 - 21st European Conference on Advances in Databases and Information Systems , Sep 2017, Nicosia, Cyprus. Springer, 10509, LNCS - Lecture Notes in Computer Science. 〈hal-01414509v2〉

Partager

Métriques

Consultations de la notice

280

Téléchargements de fichiers

78