research
∙
02/21/2022
A Rule-based Operational Semantics of Graph Query Languages
We consider a core language of graph queries. These queries are seen as ...
share
research
∙
06/23/2021
Querying RDF Databases with Sub-CONSTRUCTs
Graph query languages feature mainly two kinds of queries when applied t...
research
∙
03/22/2021
A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond
We introduce a class of rooted graphs which allows one to encode various...
research
∙
12/03/2020
An Algebraic Graph Transformation Approach for RDF and SPARQL
We consider the recommendations of the World Wide Web Consortium (W3C) a...
research
∙
10/02/2020
All You Need Is CONSTRUCT
In SPARQL, the query forms SELECT and CONSTRUCT have been the subject of...
research
∙
12/19/2019
Proceedings Tenth International Workshop on Graph Computation Models
This volume contains the post-proceedings of the Tenth International Wor...
research
∙
10/16/2019
On foundational aspects of RDF and SPARQL
We consider the recommendations of the World Wide Web Consortium (W3C) a...
research
∙
04/17/2019
True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans
We address the problem of defining graph transformations by the simultan...
research
∙
08/09/2018
A Set-Theoretic Framework for Parallel Graph Rewriting
We tackle the problem of attributed graph transformations and propose a ...
research
∙
03/07/2018
On the Verification of Logically Decorated Graph Transformations
We address the problem of reasoning on graph transformations featuring a...
research
∙
06/24/2014