An Algebraic Graph Transformation Approach for RDF and SPARQL
Abstract
We consider the recommendations of the World Wide Web Consortium (W3C) about RDF framework and its 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 define 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.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2020
- DOI:
- 10.48550/arXiv.2012.01658
- arXiv:
- arXiv:2012.01658
- Bibcode:
- 2020arXiv201201658D
- Keywords:
-
- Computer Science - Databases;
- Computer Science - Programming Languages;
- Computer Science - Symbolic Computation;
- H.2.3;
- D.3.2;
- F.4.2
- E-Print:
- In Proceedings GCM 2020, arXiv:2012.01181. arXiv admin note: substantial text overlap with arXiv:1910.07519