Operational Semantics for SPARQL Update

  • Ross Horne
  • Vladimiro Sassone
  • Nicholas Gibbins
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7185)


Concurrent fine grained updates are essential for using RDF stores in dynamic modern Web applications, where users increasingly contribute content as often as they read content. SPARQL Update is a language proposed by the W3C for fine grained updates for RDF stores. In this work we propose an operational semantics for an update language for RDF, which models core features of SPARQL Update. Firstly, an abstract syntax for RDF and updates is presented. Secondly, the operational semantics is defined using relations over the abstract syntax. The operational semantics specifies all possible operational behaviours of updates in the presence of an RDF store. The specification is useful as a common reference for compiler engineers and as a foundation for the static analysis of updates.


Regular Expression Link Data Operational Semantic Abstract Syntax SPARQL Query 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abramsky, S.: What are the fundamental structures of concurrency? We still don’t know! Electronic Notes in Theoretical Computer Science 162, 37–41 (2006);Proceedings of the Workshop Essays on Algebraic Process CalculiCrossRefGoogle Scholar
  2. 2.
    Beckett, D., Berners-Lee, T.: Turtle - Terse RDF Triple Language. Team submission, W3C (2008)Google Scholar
  3. 3.
    Berners-Lee, T.: Read-Write Linked Data, personal view (December 2010),
  4. 4.
    Berners-Lee, T., Connolly, D., Kagal, L., Scharf, Y., Hendler, J.: N3logic: A logical framework for the World Wide Web. Theory and Practice of Logic Programming 8(3), 249–269 (2008)MathSciNetzbMATHCrossRefGoogle Scholar
  5. 5.
    Brickley, D., Guha, R.: RDF vocabulary description language 1.0: RDF Schema. Recommendation REC-rdf-schema-20040210, W3C (2004)Google Scholar
  6. 6.
    Carroll, J.J., Bizer, C., Hayes, P., Stickler, P.: Named graphs. Journal of Web Semantics 3(4), 247–267 (2005)CrossRefGoogle Scholar
  7. 7.
    Magiridou, M., Sahtouris, S., Christophides, V., Koubarakis, M.: RUL: A Declarative Update Language for RDF. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 506–521. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall (1971)Google Scholar
  9. 9.
    Gearon, P., Passant, A., Polleres, A.: SPARQL 1.1 Update. Working draft WD-sparql11-update-20110512, W3C (May 2011)Google Scholar
  10. 10.
    Hoare, C., Möller, B., Struth, G., Wehrman, I.: Concurrent Kleene Algebra. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 399–414. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  11. 11.
    Horne, R.: Programming Languages and Principles for Read–Write Linked Data. Ph.D. thesis, University of Southampton (2011)Google Scholar
  12. 12.
    Horne, R., Sassone, V.: A verified algebra for Linked Data. In: FOCLASA 2011, Aachen, August 10. Electronic Proceedings in Theoretical Computer Science, vol. 58, pp. 20–33 (2011)Google Scholar
  13. 13.
    Klyne, G., Carroll, J.: Resource Description Framework: Concepts and abstract syntax. Recommendation REC-rdf-concepts-20040210, W3C (2004)Google Scholar
  14. 14.
    Kozen, D.: Kleene algebra with tests. ACM Transactions on Programing Languages and Systems 19, 427–443 (1997)CrossRefGoogle Scholar
  15. 15.
    Pérez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of SPARQL. ACM Transactions on Database Systems 34(3), 1–45 (2009)CrossRefGoogle Scholar
  16. 16.
    Plotkin, G.D.: A structural approach to operational semantics. internal notes. Aarhus University (1981)Google Scholar
  17. 17.
    Prud’hommeaux, E., Seaborne, A.: SPARQL query language for RDF. Recommendation REC-rdf-sparql-query-20080115, W3C (2008)Google Scholar
  18. 18.
    Seaborne, A., Manjunath, G.: SPARQL/Update: A language for updating RDF graphs. External HPL-2007-102, HP Labs Bristol (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Ross Horne
    • 1
  • Vladimiro Sassone
    • 1
  • Nicholas Gibbins
    • 1
  1. 1.Electronics and Computer ScienceUniversity of SouthamptonUK

Personalised recommendations