SPARQL Filter中NOT与equals、bound结合的异常行为问询

问题回顾 #

要查找作者不匹配的图书条目（涵盖：仅图书有作者、仅关联文章有作者、两者都有但作者不同三种情况），但原Filter仅返回Item3，Item4、Item5未被选中；移除Filter中的!后能正确返回Item1、Item2，需要明确Filter的问题根源。

核心问题：SPARQL的三态布尔逻辑 #

SPARQL的FILTER表达式存在三种结果：true、false、error（又称unknown）。只有当表达式求值为true时，当前变量绑定才会被保留；若结果为false或error，绑定都会被过滤。

关键规则：未绑定变量参与比较操作（如=）时，结果为error，而非false。

逐个分析图书条目绑定情况 #

先明确每个Item的变量绑定状态：

• Item1：?bookAuthor=Author1，?articleAuthor=Author1
• Item2：?bookAuthor未绑定，?articleAuthor未绑定
• Item3：?bookAuthor=Author1，?articleAuthor=Author2
• Item4：?bookAuthor=Author1，?articleAuthor未绑定
• Item5：?bookAuthor未绑定，?articleAuthor=Author1

原Filter表达式拆解 #

原Filter代码：

! ( ( (!bound(?bookAuthor)) && (!bound(?articleAuthor)) ) || (?bookAuthor = ?articleAuthor) )

逐个计算每个Item的表达式结果：

1. Item1：
   括号内：(false && false) || (true) → true，取反后为false → 被过滤（符合预期，作者匹配）
2. Item2：
   括号内：(true && true) || false → true，取反后为false → 被过滤（符合预期，两者都无作者）
3. Item3：
   括号内：(false && false) || (false) → false，取反后为true → 保留（正确）
4. Item4：
   括号内的?bookAuthor = ?articleAuthor因?articleAuthor未绑定，结果为error；整个括号表达式为(false && true) || error → error，取反后仍为error → 被过滤
5. Item5：
   括号内的?bookAuthor = ?articleAuthor因?bookAuthor未绑定，结果为error；整个括号表达式为(true && false) || error → error，取反后仍为error → 被过滤

这就是Item4、Item5未被返回的核心原因：当其中一个变量未绑定时，比较操作产生error，导致整个Filter表达式结果为error，绑定被过滤。

修正后的Filter写法 #

要避免未绑定变量参与比较，需明确逻辑：筛选**至少有一方有作者，且作者不匹配（或仅一方有作者）**的条目，可采用两种写法：

写法一：先确保至少有一个作者存在，再排除作者匹配的情况 #

FILTER ( 
  (bound(?bookAuthor) || bound(?articleAuthor)) && 
  !(bound(?bookAuthor) && bound(?articleAuthor) && ?bookAuthor = ?articleAuthor)
)

写法二：直接枚举所有符合条件的场景 #

FILTER (
  // 仅图书有作者
  (bound(?bookAuthor) && !bound(?articleAuthor)) ||
  // 仅关联文章有作者
  (!bound(?bookAuthor) && bound(?articleAuthor)) ||
  // 两者都有且作者不同
  (bound(?bookAuthor) && bound(?articleAuthor) && ?bookAuthor != ?articleAuthor)
)

两种写法均可正确返回Item3、Item4、Item5。

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