The University of Southampton
University of Southampton Institutional Repository

Operational semantics for SPARQL Update

Operational semantics for SPARQL Update
Operational semantics for SPARQL Update
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.
linked data, sparql
978-3-642-29922-3
7185
242-257
Springer
Horne, Ross
4847dccd-7a84-44b7-9402-341d942c9427
Sassone, Vladimiro
df7d3c83-2aa0-4571-be94-9473b07b03e7
Gibbins, Nicholas
98efd447-4aa7-411c-86d1-955a612eceac
Pan, Jeff Z.
Chen, Huajun
Kim, Hong-Gee
Li, Juanzi
Wu, Zhe
Horrocks, Ian
Mizoguchi, Riichiro
Wu, Zhaohui
Horne, Ross
4847dccd-7a84-44b7-9402-341d942c9427
Sassone, Vladimiro
df7d3c83-2aa0-4571-be94-9473b07b03e7
Gibbins, Nicholas
98efd447-4aa7-411c-86d1-955a612eceac
Pan, Jeff Z.
Chen, Huajun
Kim, Hong-Gee
Li, Juanzi
Wu, Zhe
Horrocks, Ian
Mizoguchi, Riichiro
Wu, Zhaohui

Horne, Ross, Sassone, Vladimiro and Gibbins, Nicholas (2012) Operational semantics for SPARQL Update. Pan, Jeff Z., Chen, Huajun, Kim, Hong-Gee, Li, Juanzi, Wu, Zhe, Horrocks, Ian, Mizoguchi, Riichiro and Wu, Zhaohui (eds.) In The Semantic Web. Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings. Springer. pp. 242-257 .

Record type: Conference or Workshop Item (Paper)

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.

Text
Update.pdf - Version of Record
Download (112kB)

More information

Published date: 30 April 2012
Venue - Dates: 1st Joint International Semantic Technology Conference (JST 2011), China, 2011-12-04 - 2011-12-07
Keywords: linked data, sparql
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 271769
URI: https://eprints.soton.ac.uk/id/eprint/271769
ISBN: 978-3-642-29922-3
PURE UUID: 3e1182df-6a0d-453f-b526-205a554d7e03
ORCID for Nicholas Gibbins: ORCID iD orcid.org/0000-0002-6140-9956

Catalogue record

Date deposited: 11 Dec 2010 02:58
Last modified: 20 Jul 2019 01:11

Export record

Contributors

Author: Ross Horne
Author: Vladimiro Sassone
Author: Nicholas Gibbins ORCID iD
Editor: Jeff Z. Pan
Editor: Huajun Chen
Editor: Hong-Gee Kim
Editor: Juanzi Li
Editor: Zhe Wu
Editor: Ian Horrocks
Editor: Riichiro Mizoguchi
Editor: Zhaohui Wu

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×