On the Power of SPARQL in Expressing Navigational Queries

This work is supported by the project of Research Foundation Flanders (FWO) under grant G.0489.10N.

[1]  A. Tarski,et al.  A Formalization Of Set Theory Without Variables , 1987 .

[2]  Jean-François Baget,et al.  Constrained Regular Expressions in SPARQL , 2008, SWWS.

[3]  Jie Wu,et al.  Small Worlds: The Dynamics of Networks between Order and Randomness , 2003 .

[4]  M. de Rijke,et al.  Semantic characterizations of navigational XPath , 2005, SGMD.

[5]  Richard Cyganiak,et al.  A relational algebra for SPARQL , 2005 .

[6]  Maarten Marx,et al.  Navigational XPath: calculus and algebra , 2007, SGMD.

[7]  Frank Wolter,et al.  Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.

[8]  Dan Suciu,et al.  Data on the Web: From Relations to Semistructured Data and XML , 1999 .

[9]  Mark E. J. Newman,et al.  The Structure and Function of Complex Networks , 2003, SIAM Rev..

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

[11]  Marcelo Arenas,et al.  Semantics and complexity of SPARQL , 2006, TODS.

[12]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

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

[14]  Claudio Gutierrez,et al.  Survey of graph database models , 2008, CSUR.

[15]  Thomas Eiter,et al.  Reasoning Web. Semantic Technologies for Advanced Query Answering , 2012, Lecture Notes in Computer Science.

[16]  Carsten Lutz,et al.  PDL with intersection and converse: satisfiability and infinite-state model checking , 2009, The Journal of Symbolic Logic.

[17]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[18]  C. Q. Lee,et al.  The Computer Journal , 1958, Nature.

[19]  Marcelo Arenas,et al.  Federation and Navigation in SPARQL 1.1 , 2012, Reasoning Web.

[20]  Marcelo Arenas,et al.  nSPARQL: A Navigational Language for RDF , 2008, SEMWEB.

[21]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[22]  Claudio Gutiérrez,et al.  The Expressive Power of SPARQL , 2008, SEMWEB.

[23]  R. McNaughton,et al.  Counter-Free Automata , 1971 .

[24]  Dirk Van Gucht,et al.  Algebraic foundation and optimization for object based query languages , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[25]  Vaughan R. Pratt,et al.  On the Syllogism: IV; and on the Logic of Relations , 2022 .

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

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

[28]  Jennifer Widom,et al.  Database Systems: The Complete Book , 2001 .

[29]  David Maier,et al.  Principles of dataspace systems , 2006, PODS '06.

[30]  Wolfgang Thomas,et al.  Languages, Automata, and Logic , 1997, Handbook of Formal Languages.

[31]  Alberto O. Mendelzon,et al.  Database techniques for the World-Wide Web: a survey , 1998, SGMD.

[32]  Wim Martens,et al.  Querying graph databases with XPath , 2013, ICDT '13.

[33]  Marcelo Arenas,et al.  Querying semantic web data with SPARQL , 2011, PODS.

[34]  Tim Berners-Lee,et al.  Linked Data - The Story So Far , 2009, Int. J. Semantic Web Inf. Syst..

[35]  Roger D. Maddux,et al.  Relation Algebras , 1997, Relational Methods in Computer Science.

[36]  Axel Polleres,et al.  From SPARQL to rules (and back) , 2007, WWW '07.

[37]  Maarten Marx,et al.  Multi-dimensional modal logic , 1997, Applied logic series.

[38]  Jan Van den Bussche,et al.  On the Satisfiability Problem for SPARQL Patterns , 2014, J. Artif. Intell. Res..

[39]  Marc Gyssens,et al.  Tagging as an Alternative to Object Creation , 1991, Query Processing for Advanced Database Systems.

[40]  Jan Van den Bussche,et al.  Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference , 2014, ArXiv.

[41]  Goetz Graefe,et al.  Fast algorithms for universal quantification in large databases , 1995, TODS.

[42]  Pablo Barceló,et al.  A Practical Query Language for Graph DBs , 2013, AMW.

[43]  Jan Van den Bussche,et al.  Relative expressive power of navigational querying on graphs , 2011, ICDT '11.

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

[45]  Faisal Alkhateeb,et al.  Querying RDF(S) with Regular Expressions , 2008 .