Recursion in SPARQL

In this paper we propose a general purpose recursion operator to be added to SPARQL, formalize its syntax and develop algorithms for evaluating it in practical scenarios. We also show how to implement recursion as a plug-in on top of existing systems and test its performance on several real world datasets.

[1]  Leonid Libkin,et al.  Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series) , 2004 .

[2]  Jean-François Baget,et al.  Extending SPARQL with regular expression patterns (for querying RDF) , 2009, J. Web Semant..

[3]  Egor V. Kostylev,et al.  Beyond Well-designed SPARQL , 2016, ICDT.

[4]  Maurizio Atzori.  Computing Recursive SPARQL Queries , 2014, 2014 IEEE International Conference on Semantic Computing.

[5]  Marcelo Arenas,et al.  nSPARQL: A navigational language for RDF , 2010, J. Web Semant..

[6]  Sebastian Rudolph,et al.  Foundations of Semantic Web Technologies , 2009 .

[7]  Moshe Y. Vardi,et al.  Regular Queries on Graph Databases , 2017, Theory of Computing Systems.

[8]  Alberto O. Mendelzon,et al.  GraphLog: a visual formalism for real life recursion , 1990, PODS '90.

[9]  Letizia Tanca,et al.  Semantic Web Information Management - A Model-Based Perspective , 2009, Semantic Web Information Management.

[10]  Jérôme Euzenat,et al.  Constrained regular expressions for answering RDF-path queries modulo RDFS , 2014, Int. J. Web Inf. Syst..

[11]  Srikanta J. Bedathur,et al.  Sparqling kleene: fast property paths in RDF-3X , 2013, GRADES.

[12]  Mariano P. Consens,et al.  Extended Property Paths: Writing More SPARQL Queries in a Succinct Way , 2015, AAAI.

[13]  B. Motik,et al.  RDFox: A Highly-Scalable RDF Store , 2015, SEMWEB.

[14]  George H. L. Fletcher,et al.  gMark: Schema-Driven Generation of Graphs and Queries , 2017, 2017 IEEE 33rd International Conference on Data Engineering (ICDE).

[15]  Egor V. Kostylev,et al.  CONSTRUCT Queries in SPARQL , 2015, ICDT.

[16]  Paolo Missier,et al.  Extracting PROV provenance traces from Wikipedia history pages , 2013, EDBT '13.

[17]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[18]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[19]  Sebastian Rudolph,et al.  Schema-Agnostic Query Rewriting in SPARQL 1.1 , 2014, International Semantic Web Conference.

[20]  Sebastian Rudolph,et al.  How to Best Nest Regular Path Queries , 2014, Description Logics.

[21]  Jarek Gryz,et al.  WAVEGUIDE: Evaluating SPARQL Property Path Queries , 2015, EDBT.

[22]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[23]  Axel Polleres,et al.  On the relation between SPARQL1.1 and Answer Set Programming , 2013, J. Appl. Non Class. Logics.

[24]  Valeria Fionda,et al.  Explaining Graph Navigational Queries , 2017, ESWC.

[25]  Marcelo Arenas,et al.  Foundations of Modern Query Languages for Graph Databases , 2016, ACM Comput. Surv..

[26]  Jarek Gryz,et al.  Evaluation of SPARQL Property Paths via Recursive SQL , 2013, AMW.

[27]  Moshe Y. Vardi.  On the Complexity of Bounded-Variable Queries. , 1995, PODS 1995.

[28]  Leonid Libkin,et al.  Elements of Finite Model Theory , 2004, Texts in Theoretical Computer Science.

[29]  Marcelo Arenas,et al.  On the Semantics of SPARQL , 2009, Semantic Web Information Management.

[30]  Leonid Libkin,et al.  Trial for RDF: adapting graph query languages for RDF data , 2013, PODS '13.

[31]  Jorge Pérez,et al.  Relative Expressiveness of Nested Regular Expressions , 2012, AMW.

[32]  Claudio Gutiérrez,et al.  The Multiset Semantics of SPARQL Patterns , 2016, SEMWEB.

[33]  Harry G. Mairson,et al.  Undecidable optimization problems for database logic programs , 1993, JACM.

[34]  Anthony Widjaja Lin,et al.  Expressive Path Queries on Graphs with Data , 2013, LPAR.

[35]  Dan Suciu,et al.  vSPARQL: A view definition language for the semantic web , 2011, J. Biomed. Informatics.

[36]  Shan Shan Huang,et al.  Datalog and Recursive Query Processing , 2013, Found. Trends Databases.

[37]  Claudio Gutiérrez,et al.  NautiLOD: A Formal Language for the Web of Data Graph , 2015, TWEB.

[38]  Marcelo Arenas,et al.  Semantics and Complexity of SPARQL , 2006, International Semantic Web Conference.

[39]  Krys J. Kochut,et al.  SPARQLeR: Extended Sparql for Semantic Association Discovery , 2007, ESWC.

[40]  Diego Calvanese,et al.  Nested Regular Path Queries in Description Logics , 2014, KR.

[41]  José Emilio Labra Gayo,et al.  Semantics and Validation of Shapes Schemas for RDF , 2014, SEMWEB.

[42]  Yavor Nenov,et al.  Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems , 2014, AAAI.

[43]  Amit P. Sheth,et al.  Ρ-Queries: enabling querying for semantic associations on the semantic web , 2003, WWW '03.