Operational semantics for SPARQL Update
Horne, Ross, Sassone, Vladimiro and Gibbins, Nicholas (2012) Operational semantics for SPARQL Update. In, Pan, Jeff Z., Chen, Huajun , Kim, Hong-Gee , Li, Juanzi , Wu, Zhe , Horrocks, Ian , Mizoguchi, Riichiro and Wu, Zhaohui (eds.) The Semantic Web. Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings. 1st Joint International Semantic Technology Conference (JST 2011) , Springer, 242-257. (Lecture Notes in Computer Science: Information Systems and Applications, incl. Internet/Web, and HCI, 7185).
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
- Published Version
Download (110Kb) |
Description/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.
| Item Type: | Book Section |
|---|---|
| ISBNs: | 9783642299223 (paperback) |
| Keywords: | linked data, sparql |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 271769 |
| Date Deposited: | 11 Dec 2010 02:58 |
| Last Modified: | 25 Apr 2012 16:10 |
| Contributors: | Horne, Ross (Author) Sassone, Vladimiro (Author) Gibbins, Nicholas (Author) Pan, Jeff Z. (Editor) Chen, Huajun (Editor) Kim, Hong-Gee (Editor) Li, Juanzi (Editor) Wu, Zhe (Editor) Horrocks, Ian (Editor) Mizoguchi, Riichiro (Editor) Wu, Zhaohui (Editor) |
| Date: | 30 April 2012 |
| Status: | Published |
| Publisher: | Springer |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/271769 |
Actions (login required)
 |
View Item |
