Operational semantics for SPARQL update

Authors:
Ross Horne;Vladimiro Sassone;Nicholas Gibbins
Affiliations:
Electronics and Computer Science, University of Southampton, UK;Electronics and Computer Science, University of Southampton, UK;Electronics and Computer Science, University of Southampton, UK
Venue:
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
Year:
2011

Citing 6
Cited 1

Kleene algebra with tests

ACM Transactions on Programming Languages and Systems (TOPLAS)
N3logic: A logical framework for the world wide web

Theory and Practice of Logic Programming
Semantics and complexity of SPARQL

ACM Transactions on Database Systems (TODS)
Concurrent Kleene Algebra

CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Named graphs

Web Semantics: Science, Services and Agents on the World Wide Web
RUL: a declarative update language for RDF

ISWC'05 Proceedings of the 4th international conference on The Semantic Web

Tracing where and who provenance in Linked Data: A calculus

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.