使用 COUNT 和 ORDER 的 SPARQL 查询返回奇怪的结果

Question

以下查询对存储中的所有三元组进行计数

SELECT count(*) where { ?s ?p <http://dbpedia.org/resource/Cat> }

并返回预期结果

http://dbpedia.org/sparql?default-graph-uri=http://dbpedia.org&query=select+count(*)+{ +%3Fs+%3Fp+%3Chttp://dbpedia.org/resource/Cat%3E+}+&debug=on&timeout=&format=text/html&save=display&fname=

但是，当我第一次尝试时不小心留在了 ORDER BY 语句中，例如，

select count(*) { ?s ?p <http://dbpedia.org/resource/Cat> } order by ?s

然后我得到一个很长的结果列表

http://dbpedia.org/sparql?default-graph-uri=http: //dbpedia.org&query=select+count(*)+{+%3Fs+%3Fp+%3Chttp://dbpedia.org/resource/Cat%3E+}+order+by+%3Fs&debug=on&timeout=& ;format=text/html&save=display&fname=

谁能解释为什么会出现这个结果以及它意味着什么？这可能是 Virtuoso SPARQL 实现的一个错误吗？

Answer 1

如果您在不同的商店（即在
http://api.talis.com/stores/bbc-backstage/services/sparql (它不运行 virtuoso）

第一个查询有效......

SELECT (count(?s) as ?c)
WHERE {
?s ?p <http://purl.org/ontology/po/Version> .
}

而第二个

SELECT (count(?s) as ?c)
WHERE {
?s ?p <http://purl.org/ontology/po/Version> .
} order by ?s

......给出了相同的结果。

实际上计数 + 排序在这里没有多大意义，因为 ?s 没有被选择检索。但正如你所说，你无意中尝试了它......它看起来确实像一个错误。

我的建议是向 virtuoso 用户邮件列表发送电子邮件以通知此问题。

Answer 2

我们（= OpenLink）在这里遇到了麻烦。这个 ORDER BY ?s 在形式上是查询中的一个错误：没有分组的聚合意味着“对所有内容进行聚合”，在查询的输出端不应该有聚合之外的变量。然而，现在不会报告此错误：违反此规则的情况如此之多，以至于 SQL 编译器会进行自动分组，并且我们的 SPARQL-to-SQL 预处理器也会在可能的情况下忽略此错误。

我们可能会保持当前的行为不变。如果添加“严格”编译模式，在这种情况下将会触发错误报告。

Answer 3

这可能是 Virtuoso 的一个错误，它似乎将带有聚合和 ORDER BY 子句的查询视为具有隐式 GROUP BY 子句。除了 DBPedia 端点之外，我在其他 Virtuoso 端点上也注意到了这一点。

IMO 这是一个错误，您应该按照 msalvadores 的建议将其报告给 Virutoso 用户邮件列表