arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2012.01658cs.DBcs.PLcs.SC
收藏

RDF和SPARQL的代数图变换方法

An Algebraic Graph Transformation Approach for RDF and SPARQL

Dominique Duval, Rachid Echahed, Frédéric Prost

摘要:

我们考虑了万维网联盟(W3C)关于RDF框架及其相关的查询语言SPARQL的建议。我们提出了一个新的形式化框架,范畴理论的基础上,提供了明确和简洁的形式化定义的主要基本特征的RDF和SPARQL。我们定义RDF图以及SPARQL基本图模式作为一些嵌套类别的对象。这使得人们可以明确,特别是,空白节点的作用。此外,我们认为基本SPARQL CONSTRUCT和SELECT查询和形式化的操作语义后,一种新的代数图变换方法称为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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑