Re: Web semantics, aka denotational semantics for CRUD operations on RDF datasets

Dear Martynas,

FWIW, you may be interested in a couple of papers that addressed the 
semantics of REST/CRUD/HTTP in the context of RDF, with differing aims 
in mind:

[1] models one REST service and its inner workings using the pi calculus 
and triple/tuple space computing, in order to describe interaction patterns.

[2] RESTdesc describes REST services using rules with the aim of 
automated composition, where you can plug in any semantics of 
requests/responses.

[3] The RSTS models resources of one REST service, similarly to a state 
machine, based on RDF graphs, in order to talk about what happens when a 
client interacts with the REST service.

[4] The LDTS models many REST resources from the view of an all-seeing 
observer, based on RDF datasets, in order to define servers and clients.

[5] ASM4LD models many REST resources from the view of a client, based 
on RDF datasets, in order to define a model of computation.

Cheers,

Tobias (Käfer)

[1] Hernández and García: A formal definition of RESTful semantic web 
services. Proc. 1st WS-REST (2010)
[2] Verborgh, Steiner, van Deursen, Coppens, Vallés, van de Walle: 
Functional Descriptions as the Bridge between Hypermedia APIs and the 
Semantic Web. Proc. 3rd WS-REST (2012)
[3] Stadtmüller, Speiser, Harth, Studer: Data-Fu: a language and an 
interpreter for interaction with read/write linked data. Proc. 22nd WWW 
(2013)
[4] Harth, Käfer: Towards Specification and Execution of Linked Systems. 
Proc. 28th GvD (2016)
[5] Käfer, Harth: Rule-based Programming of User Agents for Linked Data. 
Proc. 11th LDOW (2018)

Received on Friday, 22 February 2019 22:55:08 UTC