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 operat...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Conference Paper |
| Language: | English |
| Published: |
2015
|
| Online Access: | https://hdl.handle.net/10356/81010 http://hdl.handle.net/10220/39006 |
| _version_ | 1826119895543185408 |
|---|---|
| author | Horne, Ross Sassone, Vladimiro Gibbins, Nicholas |
| author2 | Pan, Jeff Z. |
| author_facet | Pan, Jeff Z. Horne, Ross Sassone, Vladimiro Gibbins, Nicholas |
| author_sort | Horne, Ross |
| collection | NTU |
| description | 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. |
| first_indexed | 2024-10-01T05:07:36Z |
| format | Conference Paper |
| id | ntu-10356/81010 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T05:07:36Z |
| publishDate | 2015 |
| record_format | dspace |
| spelling | ntu-10356/810102020-05-28T07:18:25Z Operational Semantics for SPARQL Update Horne, Ross Sassone, Vladimiro Gibbins, Nicholas Pan, Jeff Z. Chen, Huajun Kim, Hong-Gee Li, Juanzi Wu, Zhe Horrocks, Ian Mizoguchi, Riichiro Wu, Zhaohui School of Computer Engineering Joint International Semantic Technology Conference (2011:Hangzhou,China) 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. Accepted version 2015-12-09T02:17:26Z 2019-12-06T14:19:29Z 2015-12-09T02:17:26Z 2019-12-06T14:19:29Z 2012 Conference Paper Horne, R., Sassone, V., & Gibbins, N. (2015). Operational Semantics for SPARQL Update. Lecture Notes in Computer Science, 7185, 242-257. https://hdl.handle.net/10356/81010 http://hdl.handle.net/10220/39006 10.1007/978-3-642-29923-0_16 en © 2012 Springer-Verlag Berlin Heidelberg. This is the author created version of a work that has been peer reviewed and accepted for publication by Proceedings of the Joint International Semantic Technology Conference, Lecture Notes in Computer Science, Springer. It incorporates referee’s comments but changes resulting from the publishing process, such as copyediting, structural formatting, may not be reflected in this document. The published version is available at: [http://dx.doi.org/10.1007/978-3-642-29923-0_16]. application/pdf |
| spellingShingle | Horne, Ross Sassone, Vladimiro Gibbins, Nicholas Operational Semantics for SPARQL Update |
| title | Operational Semantics for SPARQL Update |
| title_full | Operational Semantics for SPARQL Update |
| title_fullStr | Operational Semantics for SPARQL Update |
| title_full_unstemmed | Operational Semantics for SPARQL Update |
| title_short | Operational Semantics for SPARQL Update |
| title_sort | operational semantics for sparql update |
| url | https://hdl.handle.net/10356/81010 http://hdl.handle.net/10220/39006 |
| work_keys_str_mv | AT horneross operationalsemanticsforsparqlupdate AT sassonevladimiro operationalsemanticsforsparqlupdate AT gibbinsnicholas operationalsemanticsforsparqlupdate |