论文标题
RDF和SPARQL的代数图转换方法
An Algebraic Graph Transformation Approach for RDF and SPARQL
论文作者
论文摘要
我们考虑了万维网联盟（W3C）关于RDF框架及其相关查询语言SPARQL的建议。我们提出了一个基于类别理论的新正式框架，该框架提供了RDF和SPARQL的主要基本特征的清晰简洁的形式定义。我们将RDF图和SPARQL基本图模式定义为某些嵌套类别的对象。这允许人们特别阐明空白节点的作用。 此外，我们考虑了基本的SPARQL构造和选择查询，并在一种新的代数图转换方法称为POIM之后将其操作语义形式化。
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.
