Operational semantics for SPARQL update

Ross Horne; Vladimiro Sassone; Nicholas Gibbins

doi:10.1007/978-3-642-29923-0_16

Operational semantics for SPARQL update

Ross Horne, Vladimiro Sassone, Nicholas Gibbins

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

6 Citations (Scopus)

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.

Original language	English
Title of host publication	The Semantic Web
Subtitle of host publication	Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings
Editors	Jeff Z. Pan, Huajun Chen, Hong-Gee Kim, Juanzi Li, Zhe Wu, Ian Horrocks, Riichiro Mizoguchi, Zhaohui Wu
Place of Publication	Berlin
Publisher	Springer-Verlag
Pages	242-257
Number of pages	16
ISBN (Electronic)	9783642299230
ISBN (Print)	9783642299223
DOIs	https://doi.org/10.1007/978-3-642-29923-0_16
Publication status	Published - 31 May 2012

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7185
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

regular expression
link data
operational semantic
abstract syntax
SPARQL query

Access to Document

10.1007/978-3-642-29923-0_16

Cite this

Horne, R., Sassone, V., & Gibbins, N. (2012). Operational semantics for SPARQL update. In J. Z. Pan, H. Chen, H.-G. Kim, J. Li, Z. Wu, I. Horrocks, R. Mizoguchi, & Z. Wu (Eds.), The Semantic Web: Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings (pp. 242-257). (Lecture Notes in Computer Science; Vol. 7185). Springer-Verlag. https://doi.org/10.1007/978-3-642-29923-0_16

Horne, Ross ; Sassone, Vladimiro ; Gibbins, Nicholas. / Operational semantics for SPARQL update. The Semantic Web: Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings. editor / Jeff Z. Pan ; Huajun Chen ; Hong-Gee Kim ; Juanzi Li ; Zhe Wu ; Ian Horrocks ; Riichiro Mizoguchi ; Zhaohui Wu. Berlin : Springer-Verlag, 2012. pp. 242-257 (Lecture Notes in Computer Science).

@inproceedings{68e2be3a7d8a47beb64342d956c66dfd,

title = "Operational semantics for SPARQL update",

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.",

keywords = "regular expression, link data, operational semantic, abstract syntax, SPARQL query",

author = "Ross Horne and Vladimiro Sassone and Nicholas Gibbins",

year = "2012",

month = may,

day = "31",

doi = "10.1007/978-3-642-29923-0_16",

language = "English",

isbn = "9783642299223",

series = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag",

pages = "242--257",

editor = "Pan, {Jeff Z.} and Huajun Chen and Hong-Gee Kim and Juanzi Li and Zhe Wu and Ian Horrocks and Riichiro Mizoguchi and Zhaohui Wu",

booktitle = "The Semantic Web",

}

Horne, R, Sassone, V & Gibbins, N 2012, Operational semantics for SPARQL update. in JZ Pan, H Chen, H-G Kim, J Li, Z Wu, I Horrocks, R Mizoguchi & Z Wu (eds), The Semantic Web: Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings. Lecture Notes in Computer Science, vol. 7185, Springer-Verlag, Berlin, pp. 242-257. https://doi.org/10.1007/978-3-642-29923-0_16

Operational semantics for SPARQL update. / Horne, Ross; Sassone, Vladimiro; Gibbins, Nicholas.
The Semantic Web: Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings. ed. / Jeff Z. Pan; Huajun Chen; Hong-Gee Kim; Juanzi Li; Zhe Wu; Ian Horrocks; Riichiro Mizoguchi; Zhaohui Wu. Berlin: Springer-Verlag, 2012. p. 242-257 (Lecture Notes in Computer Science; Vol. 7185).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

TY - GEN

T1 - Operational semantics for SPARQL update

AU - Horne, Ross

AU - Sassone, Vladimiro

AU - Gibbins, Nicholas

PY - 2012/5/31

Y1 - 2012/5/31

N2 - 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.

AB - 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.

KW - regular expression

KW - link data

KW - operational semantic

KW - abstract syntax

KW - SPARQL query

U2 - 10.1007/978-3-642-29923-0_16

DO - 10.1007/978-3-642-29923-0_16

M3 - Conference contribution book

SN - 9783642299223

T3 - Lecture Notes in Computer Science

SP - 242

EP - 257

BT - The Semantic Web

A2 - Pan, Jeff Z.

A2 - Chen, Huajun

A2 - Kim, Hong-Gee

A2 - Li, Juanzi

A2 - Wu, Zhe

A2 - Horrocks, Ian

A2 - Mizoguchi, Riichiro

A2 - Wu, Zhaohui

PB - Springer-Verlag

CY - Berlin

ER -

Horne R, Sassone V, Gibbins N. Operational semantics for SPARQL update. In Pan JZ, Chen H, Kim HG, Li J, Wu Z, Horrocks I, Mizoguchi R, Wu Z, editors, The Semantic Web: Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings. Berlin: Springer-Verlag. 2012. p. 242-257. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-29923-0_16

Operational semantics for SPARQL update

Abstract

Publication series

Keywords

Access to Document

Fingerprint

Cite this