用于查询语义网的表达语言

查询RDF数据的问题是语义Web开发的中心问题。自2008年标准化以来，查询语言SPARQL已经成为查询RDF的标准语言。然而，该语言的2008版缺少了一些重要功能：处理RDFS和OWL词汇表的推理功能，利用RDF数据的图形结构的导航功能，以及表达某些自然查询所需的一般递归形式。为了克服这些限制，最近发布了一个新版本的SPARQL，名为SPARQL1.1，其中包括RDFS和OWL词汇表的隐含机制，以及通过正则表达式表达导航模式的机制。不幸的是，仍然有一些有用的导航模式无法在SPARQL1.1中表达，而且该语言缺乏表达递归查询的通用机制。

据我们所知，没有一种RDF查询语言能够结合上述功能，并且能够有效地进行评估。这项工作的目的是填补这一空白。朝着这个方向，我们将重点放在OWL2的OWL2QL配置文件上，并表明每一个富含上述特征的SPARQL查询都可以自然地转换为以基于Datalog扩展的语言表达的查询，该扩展允许值发明和分层否定。然而，这种语言的查询求值问题非常棘手，这并不奇怪，因为它的表达能力足以编码一些固有的困难查询。我们确定了它的一个自然片段，并证明它足够容易处理和强大，可以定义具有所需功能的SPARQL查询。