论文浅尝 | SPARQL 语言的 ASK 查询表达性研究进展

论文作者之一：杨炫兴，天津大学博士生。

---

链接：http://cic.tju.edu.cn/faculty/zhangxiaowang/publication/ASK.pdf

动机

SPARQL是万维网联盟（World Wide Web Consortium，简记W3C）推荐的知识图谱标准查询语言，其包含四类查询：SELECT、CONSTRUCT、ASK和DESCRIBE。与一般SELECT查询返回解不同，ASK查询返回布尔值（真或假）。自从2008年1月15日，万维网联盟W3C 首次发布SPARQL1.0到2013年进一步发布SPARQL1.1，以SELECT为代表的SPARQL基础理论取得较大进展。近年来，牛津大学开始研究CONSTRUCT并取得一些进展。然而，归咎于ASK基础理论刻画SPARQL的复杂问题，目前鲜有ASK基础理论研究工作。这项工作开始尝试研究ASK查询的表达能力（即，布尔表达性），并对SPARQL1.0标准的核心语言（由四个构子AND、OPT_F、UNION、FILTER构成的语言）以及这些子语言与SPARQL1.1标准中三类否定构子（Negation）：DIFF_F、DIFF和MINUS结合的子语言，共计64个子语言，给出了其完整的表达关系哈斯图(Hasse Diagram)。相比SELECT查询表达性，ASK查询刻画的是子语言之间更细微的表达差异性。这项工作研究结果将有助于为SELECT查询提供优化理论基础，进一步完善SPARQL理论体系是官方提出的为RDF数据定制的查询语言。

亮点

本文的主要贡献可以概括为以下四点：

（1）分析并刻画了所有涉及SPARQL1.0算（AND，UNION，OPT_F，FILTER）的共16个子语言之间的表达关系哈斯图。

（2）分析并刻画了（1）中的16个子语言在引入MINUS算子后的表达关系哈