An Executable Specification for SPARQL

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10042)


Linked Data on the web consists of over 1000 datasets from a variety of domains. They are queried with the SPARQL query language. There exist many implementations of SPARQL, and this rich ecosystem has demanded a precise specification and compliance tests. However, the SPARQL specification has grown in complexity, and it is increasingly difficult for developers to validate their implementations. In this paper, we present a declarative specification for SPARQL, based on relational logic. It describes SPARQL with just a few operators, and is executable: queries written in it can be directly executed against real datasets.


SPARQL Specification Simple SPARQL Query Compliance Testing Basic Graph Pattern (BGP) Triple Patterns 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Arenas, M., Pérez, J.: Querying semantic web data with SPARQL. In: Lenzerini, M., Schwentick, T. (eds.) Proceedings of 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2011, Athens, Greece, 12–16 June 2011, pp. 305–316. ACM (2011).
  2. 2.
    Cyganiak, R.: A relational algebra for SPARQL. Technica report, Digital Media Systems Laboratory, HP Laboratories Bristol (2005)Google Scholar
  3. 3.
  4. 4.
    DBPedia SPARQL Endpoint.
  5. 5.
    Sprql 1.1 entailment regimes.
  6. 6.
  7. 7.
    Owl 2 web ontology language document overview.
  8. 8.
    Owl 2 web ontology language mapping to RDF graphs.
  9. 9.
    Polleres, A., Wallner, J.P.: On the relation between SPARQL 1.1 and answer set programming. J. Appl. Non-Class. Log. 23(1–2), 159–212 (2013)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Prud’hommeaux, E., Seaborne, A.: SPARQL query language for RDF, January 2008.
  11. 11.
    Schenk, S.: A SPARQL semantics based on datalog. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 160–174. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  12. 12.
  13. 13.
  14. 14.
    UniProt SPARQL Endpoint.

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  1. 1.IBM Thomas J. Watson Research CenterYorktown HeightsUSA
  2. 2.Google ResearchMountain ViewUSA

Personalised recommendations