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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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
Cyganiak, R.: A relational algebra for SPARQL. Technica report, Digital Media Systems Laboratory, HP Laboratories Bristol (2005)
data.gov. http://data.gov/
DBPedia SPARQL Endpoint. http://dbpedia.org/sparql
Sprql 1.1 entailment regimes. http://www.w3.org/TR/sparql11-entailment/
GeoNames Semantic Web. http://datahub.io/dataset/geonames-semantic-web
Owl 2 web ontology language document overview. http://www.w3.org/TR/owl2-overview/
Owl 2 web ontology language mapping to RDF graphs. www.w3.org/TR/owl2-mapping-to-rdf/
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)
Prud’hommeaux, E., Seaborne, A.: SPARQL query language for RDF, January 2008. http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/
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)
Semantic web use cases. http://www.w3.org/2001/sw/sweo/public/UseCases/
Semantic XBRL. http://datahub.io/package/semantic-xbrl
UniProt SPARQL Endpoint. http://beta.sparql.uniprot.org
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Bornea, M., Dolby, J., Fokoue, A., Kementsietsidis, A., Srinivas, K., Vaziri, M. (2016). An Executable Specification for SPARQL. In: Cellary, W., Mokbel, M., Wang, J., Wang, H., Zhou, R., Zhang, Y. (eds) Web Information Systems Engineering – WISE 2016. WISE 2016. Lecture Notes in Computer Science(), vol 10042. Springer, Cham. https://doi.org/10.1007/978-3-319-48743-4_24
Download citation
DOI: https://doi.org/10.1007/978-3-319-48743-4_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-48742-7
Online ISBN: 978-3-319-48743-4
eBook Packages: Computer ScienceComputer Science (R0)