GraphDB中SPARQL的BIND与OPTIONAL执行顺序疑问

问题场景 #

在启用OWL2-RL优化的GraphDB实例中，库内已插入2个ObjectProperty、2个DatatypeProperty。执行包含OPTIONAL和BIND的SPARQL查询后，结果出现异常：结果集第三行的isDataProp_flag字段存在有效值，但通过BOUND()函数对该字段的判断结果不符合逻辑预期。查看查询执行计划后发现，原查询中的BIND语句被提前执行了。

核心疑问点 #

• 按照SPARQL优化组的执行顺序，第一个BIND执行时isDataProp_flag尚未被绑定，理论上isDataProp字段应该全部为false，但实际输出结果并非如此。
• GraphDB为何允许将依赖OPTIONAL查询结果的BIND语句提前移动执行？这明显违反了SPARQL查询的逻辑依赖顺序。

符合预期的查询写法（使用EXISTS） #

改用EXISTS替代原有的OPTIONAL+BIND+BOUND写法后，查询结果完全符合预期。示例查询如下：

PREFIX ex: <http://your-namespace/>
SELECT ?s ?isDataProp
WHERE {
  ?s a ex:YourSubjectClass .
  # 通过EXISTS直接判断是否存在DatatypeProperty关联
  BIND(EXISTS { ?s ex:your-datatype-property ?o } AS ?isDataProp)
}

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