如何编写使用可变谓词的SPARQL查询以匹配规则输出评级结果

实现思路 #

• 匹配所有学生的分数数据
• 遍历所有评分规则，校验规则下的所有比较条件
• 根据条件中存储的动态比较谓词，执行对应的数值比较逻辑
• 仅保留该学生满足所有条件的规则，输出对应的评分结果

完整SPARQL查询语句 #

如果需要直接输出符合要求的三元组结果，推荐使用CONSTRUCT查询：

PREFIX : <#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>

CONSTRUCT {
  ?student :rating ?rating .
}
WHERE {
  # 获取所有学生的分数
  ?student :score ?score .
  
  # 获取所有评分规则及其对应评级
  ?rule :rating ?rating .

  # 动态调整允许的比较谓词，用户可按需修改列表内容
  VALUES ?allowedPredicate {
    :lessThan
    :notLessThan
    :greaterThan
    :notGreaterThan
  }

  # 校验：当前规则不存在任何学生不满足的条件
  FILTER NOT EXISTS {
    ?rule :condition ?condition .
    ?condition rdf:subject :score ;
               rdf:predicate ?compPredicate ;
               rdf:object ?threshold .
    
    # 限制仅使用允许范围内的比较谓词
    FILTER (?compPredicate = ?allowedPredicate)

    # 该条件不满足的判断逻辑
    FILTER (
      (?compPredicate = :lessThan && ?score >= ?threshold) ||
      (?compPredicate = :notLessThan && ?score < ?threshold) ||
      (?compPredicate = :greaterThan && ?score <= ?threshold) ||
      (?compPredicate = :notGreaterThan && ?score > ?threshold)
    )
  }
}

执行结果 #

运行上述查询后，将直接得到预期输出：

:Bob :rating :passed .
:John :rating :failed .

动态调整说明 #

如果需要调整支持的比较谓词，只需要修改VALUES ?allowedPredicate块内的谓词列表即可，无需修改其他查询逻辑。

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