Advertisement

An Executable Specification for SPARQL

  • Mihaela Bornea
  • Julian Dolby
  • Achille Fokoue
  • Anastasios Kementsietsidis
  • Kavitha Srinivas
  • Mandana Vaziri
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10042)

Abstract

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.

References

  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). http://doi.acm.org/10.1145/1989284.1989312
  2. 2.
    Cyganiak, R.: A relational algebra for SPARQL. Technica report, Digital Media Systems Laboratory, HP Laboratories Bristol (2005)Google Scholar
  3. 3.
    data.gov. http://data.gov/
  4. 4.
    DBPedia SPARQL Endpoint. http://dbpedia.org/sparql
  5. 5.
    Sprql 1.1 entailment regimes. http://www.w3.org/TR/sparql11-entailment/
  6. 6.
  7. 7.
    Owl 2 web ontology language document overview. http://www.w3.org/TR/owl2-overview/
  8. 8.
    Owl 2 web ontology language mapping to RDF graphs. www.w3.org/TR/owl2-mapping-to-rdf/
  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. http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/
  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. http://beta.sparql.uniprot.org

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Mihaela Bornea
    • 1
  • Julian Dolby
    • 1
  • Achille Fokoue
    • 1
  • Anastasios Kementsietsidis
    • 2
  • Kavitha Srinivas
    • 1
  • Mandana Vaziri
    • 1
  1. 1.IBM Thomas J. Watson Research CenterYorktown HeightsUSA
  2. 2.Google ResearchMountain ViewUSA

Personalised recommendations