为什么SPARQL UNION块内FILTER无法使用外部绑定变量？

这是SPARQL变量作用域规则和查询引擎求值逻辑共同导致的，和Jena Fuseki的UNION分支求值策略直接相关：

• 外层书写的BIND("Chapel Hill" as ?placename)理论上属于全局作用域，但SPARQL对UNION的处理规则是先独立求解每个UNION分支内的结果，最后再做并集合并。
• 第一个UNION分支的图模式里，只匹配了历史标记的类型、名称、备注三个属性，既没有在分支内绑定?placename，也没有用任何三元组模式关联?placename；反而后面两个UNION分支里，都写了?place skos:prefLabel ?placename的匹配模式，这会让查询引擎把?placename识别为需要通过三元组匹配获取值的变量，而不是外层定义的固定常量。
• 引擎求解第一个分支时，执行到FILTER CONTAINS(?markerDescription, ?placename)这一步时，?placename处于完全未绑定的状态。SPARQL规则中如果函数传入未绑定的参数，会返回计算错误，而FILTER会直接把所有触发计算错误的结果行全部过滤掉，最终导致第一个分支一条结果都返回不出来。
• 当直接把字符串"Chapel Hill"写在FILTER里时，第二个参数是固定字面量，不存在未绑定的问题，匹配逻辑就能正常执行。

修复方案 #

两种改法都能解决问题：

• 把?placename的固定值绑定放到每个UNION分支内部，确保每个分支执行FILTER或三元组匹配时，变量已经有确定值
• 用VALUES代替外层BIND来固定变量值，VALUES定义的变量会被引擎直接识别为全局常量，不会被当成需要匹配的待求解变量，优化器不会错误忽略它的固定值。

修复后可正常运行的查询示例：

PREFIX nct: <http://n2t.net/ark:/39333/ncg/type#>
PREFIX ncv: <http://n2t.net/ark:/39333/ncg/vocab#>
PREFIX skos: <http://www.w3.org/2004/02/skos/core#>

SELECT ?label ?url WHERE {
  VALUES ?placename { "Chapel Hill" }
  {
    ?marker 
      a nct:HistoricalMarker ;
      skos:prefLabel ?label ;
      skos:note ?markerDescription ;
    .
    FILTER CONTAINS(?markerDescription, ?placename)
  }
  UNION
  {
    ?musician skos:prefLabel ?label .
    ?place
      skos:prefLabel ?placename ;
      ncv:associatedWithAgent ?musician ;
    .
  }
  UNION
  {
    ?movie skos:prefLabel ?label .
    ?place
      skos:prefLabel ?placename ;
      ncv:filmingLocationFor ?movie ;
    .
  }
}

内容的提问来源于stack exchange，提问作者Ryan Shaw