ُEXISTS 和 join 两个 SPARQL 查询中的不同值返回不同的结果，而他们应该做同样的事情？

Question

在 DBpedia 上运行以下两个查询时，结果是不同的。 第一个查询给出 68 而第二个给出 42。唯一的区别是行

filter(exists {[] <http://dbpedia.org/ontology/nationality> ?o.}) 

替换为 join 以确保dbpo:country的 object 在dbpo:nationality中

{select distinct ?o { [] <http://dbpedia.org/ontology/nationality> ?o.}} 

第一个查询：

select count(*){
 {select distinct ?s ?o
 { ?o1 <http://dbpedia.org/ontology/successor> ?s . 
 ?o1 <http://dbpedia.org/ontology/governor> ?o2 . 
 ?o2 <http://dbpedia.org/ontology/country> ?o  
filter(exists {[] <http://dbpedia.org/ontology/nationality> ?o.})
filter(exists {?s <http://dbpedia.org/ontology/nationality> []})
}}.
}

第二个查询：

select count(*){
 {select distinct ?s ?o
 { ?o1 <http://dbpedia.org/ontology/successor> ?s . 
 ?o1 <http://dbpedia.org/ontology/governor> ?o2 . 
 ?o2 <http://dbpedia.org/ontology/country> ?o  
{select distinct ?o { [] <http://dbpedia.org/ontology/nationality> ?o.}} 
filter(exists {?s <http://dbpedia.org/ontology/nationality> []})
}}.
}

第一个查询的结果似乎是正确的。

Answer 1

您在第二个完整查询中的子查询中有一个DISTINCT ，这导致某些结果无法传递到最终结果集中。

请注意，从子查询中删除该关键字的此查询的结果与您的第一个匹配，即68 --

select count(*)
  { { select distinct ?s ?o
        { ?o1 <http://dbpedia.org/ontology/successor> ?s . 
          ?o1 <http://dbpedia.org/ontology/governor> ?o2 . 
          ?o2 <http://dbpedia.org/ontology/country> ?o  
          { select ?o { [] <http://dbpedia.org/ontology/nationality> ?o. } } 
          filter ( exists { ?s <http://dbpedia.org/ontology/nationality> [] } )
  } } }

我不能抽出时间来调查第二个查询中没有找到第一个和第三个查询的哪些结果行，但是我想如果您进一步深入研究所有这些?s和?o的描述，您将能够找到答案。

一个关键提示 — SPARQL 查询是从内向外评估的（也被描述为自下而上，但这很令人困惑，因为它不是文字底部，而是最低的子查询）。 这意味着select?o { [] <http://dbpedia.org/ontology/nationality>?o. } select?o { [] <http://dbpedia.org/ontology/nationality>?o. } (or select distinct?o { [] <http://dbpedia.org/ontology/nationality>?o. } ) is evaluated before the rest of the query -- while the filter clauses are evaluated after the main select .