SPARQL查询编写：筛选覆盖车辆全部待修项的维修店铺

核心匹配规则 #

仅当待筛选主体的全部关联目标客体，都属于被匹配主体的关联客体集合时，才选中该主体；允许被选中主体存在集合外的额外关联客体。

业务场景说明 #

需要筛选出能够维修自有车辆全部故障的维修店铺，对应示例数据逻辑如下：

• 车辆实体通过hasRepair属性关联所有需要维修的项目
• 维修店铺实体通过doesService属性关联自身可提供的所有维修服务
• 筛选规则：店铺可提供的服务必须完全覆盖车辆所有待修项目，同时允许店铺提供车辆无需的额外服务（比如换油、轮胎更换等）

示例数据集 #

本次测试用的三元组数据如下：

<.car> <.hasRepair> <.engine> .
<.car> <.hasRepair> <.color> .
<.car> <.hasRepair> <.body> .

<.shop1> <.doesService> <.color> .
<.shop2> <.doesService> <.engine> .
<.shop2> <.doesService> <.color> .
<.shop2> <.doesService> <.body> .

数据中.car的待修项目包含发动机、漆面、车身三类；shop1仅能提供漆面维修服务，shop2可覆盖全部三类待修项目，预期查询结果仅返回shop2。

可用SPARQL语句 #

SELECT DISTINCT ?shop
WHERE {
  # 遍历所有提供维修服务的店铺
  ?shop <.doesService> ?anyService .
  # 核心判断：不存在任何一项车辆待修项目，是当前店铺无法提供服务的
  FILTER NOT EXISTS {
    <.car> <.hasRepair> ?requiredItem .
    FILTER NOT EXISTS {
      ?shop <.doesService> ?requiredItem .
    }
  }
}

写法说明：SPARQL没有原生支持全称量词（FOR ALL），通过双重否定实现全称判断是行业通用方案，该写法不会校验店铺是否有额外服务项，完全满足「允许额外服务」的要求，查询性能也优于子查询统计匹配数量的方案。

结果验证 #

运行上述查询后将仅返回符合要求的shop2；后续如果给shop2新增换油、保养等不在车辆待修列表里的服务项，查询依然会正常返回shop2，不会被额外服务影响筛选结果。

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