论RDF与SPARQL的基础层面
数据库
2020-03-17 v2 形式语言与自动机理论
编程语言
摘要
我们考量万维网联盟（W3C）关于资源描述框架（RDF）及其关联查询语言SPARQL的推荐标准。我们提出一个基于范畴论的新形式框架，为RDF和SPARQL的主要基本特征提供清晰简洁的形式定义。我们提议将RDF图以及SPARQL基本图模式的概念定义为某些嵌套范畴中的对象。这使得我们能够特别澄清空节点的作用。此外，我们考量基本的SPARQL CONSTRUCT和SELECT查询，并遵循一种称为POIM的新型代数图变换方法，形式化其操作语义。
引用
@article{arxiv.1910.07519,
title = {On foundational aspects of RDF and SPARQL},
author = {Dominique Duval and Rachid Echahed and Frederic Prost},
journal= {arXiv preprint arXiv:1910.07519},
year = {2020}
}