选择每组前 X 个结果

Adr*_*end 3 grouping sparql limit data-cube

我有一堆带有附加属性的 RDF 数据立方体观察,在我的例子中是记录该值的日期。

例如,该模式很简单(省略其他维度/度量/属性):

<obs1> a qb:Observation ;
  my:lastupdate '2017-12-31'^^xsd:date ;
  qb:dataSet <dataSet1> .

<obs2> a qb:Observation ;
  my:lastupdate '2016-12-31'^^xsd:date ;
  qb:dataSet <dataSet1> .

<obs2_1> a qb:Observation ;
  my:lastupdate '2017-12-31'^^xsd:date ;
  qb:dataSet <dataSet2> .

<obs2_2> a qb:Observation ;
  my:lastupdate '2015-12-31'^^xsd:date ;
  qb:dataSet <dataSet2> .
Run Code Online (Sandbox Code Playgroud)

qb:DataSet所以我的店里有很多。现在我想找出my:lastupdate每个数据集的最后 X 值。假设我想要每个特定数据集的最后 5 个值。

对于一个特定的数据集,我可以非常轻松地做到这一点:

SELECT * WHERE {

  ?observation my:lastupdate ?datenstand ;
                 qb:dataSet <dataSet1>                                                                                                                                            
} ORDER BY DESC(?datenstand) LIMIT 5    
Run Code Online (Sandbox Code Playgroud)

但如果这在每个数据集的单个 SPARQL 查询中完全可能的话,我有点迷失了。我尝试了与子选择、LIMIT 和 GROUP BY 组合的各种组合,但没有任何结果导致我正在寻找的结果。

A'B*_*A'B 5

这种查询模式在现已不存在的 SemanticOverflow Q+A 网站上被详细讨论为“获取每个国家/地区的 3 个最大的城市”,普遍的共识是“获取每个主项目的前 n 个相关项目”形式的查询是无法通过单个 SPARQL 查询进行有效管理。

核心问题是嵌套查询是自下而上评估的,GROUP/LIMIT 子句将应用于整个结果集而不是每个组。

自下而上规则的唯一有用的例外是(not) exists过滤器,它对当前绑定具有可见性。您可以利用这一事实来编写如下查询:

select ?country ?city ?population where {

    ?country a :Country; :city ?city.
    ?city :population ?population.

    filter not exists { select * where {

        ?country :city ?_city.
        ?_city :population ?_population.

        filter ( ?_population > ?population )

    } offset 3 }

} order by ?country desc(?population)
Run Code Online (Sandbox Code Playgroud)

不幸的是,这种方法通常不适用于大型现实世界数据集,因为它涉及扫描和过滤每个国家/城市组的笛卡尔积。