Ontotext GraphDB中Coalesce的非SPARQL规范行为问询

问题背景 #

按照SPARQL规范描述：COALESCE函数返回首个无错误求值的表达式的RDF术语值，求值未绑定变量会触发错误；若所有参数均无法求值为RDF术语，或无表达式能无错误求值，均会触发错误。但在Ontotext GraphDB中执行以下查询：

select * where { 
    ?s ?p ?o .
    BIND (COALESCE( ?doesNotExist, ?doesNotExist2) AS ?definitelyDoesNotExist)
} limit 100 

并未触发错误，反而得到第4列definitelyDoesNotExist且无任何变量值。

原因解释 #

你对SPARQL规范的理解存在偏差：未绑定变量作为COALESCE的参数时，求值结果是「未绑定」，而非错误。SPARQL规范中COALESCE的错误触发逻辑细节如下：

• 仅当参数求值时出现非未绑定类的错误（比如类型不匹配、无效函数调用、除零运算等），才会判定该参数“求值错误”并跳过；
• 未绑定变量的求值结果是合法的「未绑定」状态，不属于“错误”范畴，COALESCE会直接跳过该参数，继续尝试下一个；
• 只有当所有参数要么是未绑定，要么求值时触发真正的错误，且没有任何参数能返回有效RDF术语时，才会触发查询错误。

在你的查询中，?doesNotExist和?doesNotExist2都是未绑定变量，COALESCE遍历所有参数后得到的结果是「未绑定」，因此不会触发错误。查询结果中definitelyDoesNotExist列存在但无值，正是该变量处于未绑定状态的正常表现，这一行为完全符合SPARQL规范，并非GraphDB的特有实现。

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