ON FOUNDATIONAL ASPECTS OF RDF AND SPARQL

Abstract : We consider the recommendations of the World Wide Web Consortium (W3C) about the Resource Description Framework (RDF) and the associated query language SPARQL. We propose a new formal framework based on category theory which provides clear and concise formal definitions of the main basic features of RDF and SPARQL. We propose to define the notions of RDF graphs as well as SPARQL basic graph patterns as objects of some nested categories. This allows one to clarify, in particular, the role of blank nodes. Furthermore, we consider basic SPARQL CONSTRUCT and SELECT queries and formalize their operational semantics following a novel algebraic graph transformation approach called POIM.
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02316115
Contributor : Frédéric Prost <>
Submitted on : Tuesday, October 15, 2019 - 10:10:58 AM
Last modification on : Friday, October 25, 2019 - 1:29:42 AM

Files

rdf.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02316115, version 1
  • ARXIV : 1910.07519

Collections

Citation

Dominique Duval, Rachid Echahed, Frederic Prost. ON FOUNDATIONAL ASPECTS OF RDF AND SPARQL. 2019. ⟨hal-02316115⟩

Share

Metrics

Record views

40

Files downloads

11