SPARQL Construct查询仅生成图中不存在三元组的实现问题

针对你遇到的Fuseki中添加三元组后Construct查询返回空的问题，以下是几个排查和解决方向：

1. 明确指定查询的目标图 #

Fuseki对三元组的存在性检查可能依赖于图的明确指定，若未限定图范围，可能导致重复判断逻辑失效。修改查询时同时在CONSTRUCT和WHERE子句中指定目标图：

CONSTRUCT {
  GRAPH <http://your-target-graph> {
    ?subject P14 ?object1 ;
             P17 ?object2 .
  }
}
WHERE {
  GRAPH <http://your-target-graph> {
    ?subject a E13_sdhss_P35/P4 .
    # 替换为你获取object1/object2的实际逻辑
    ?subject <source-property-1> ?object1 .
    ?subject <source-property-2> ?object2 .
    # 过滤已存在的三元组
    FILTER NOT EXISTS { ?subject P14 ?_ }
    FILTER NOT EXISTS { ?subject P17 ?_ }
  }
}

2. 用子查询拆分候选集与过滤逻辑 #

Fuseki的查询优化可能导致FILTER NOT EXISTS提前执行，过滤掉本应生成的三元组。将候选三元组的获取和存在性检查拆分，强制先获取候选再过滤：

CONSTRUCT {
  ?subject P14 ?object1 ;
           P17 ?object2 .
}
WHERE {
  # 先查询出所有需要补充的主体和对应对象
  {
    SELECT ?subject ?object1 ?object2
    WHERE {
      ?subject a E13_sdhss_P35/P4 .
      # 替换为你获取object1/object2的实际逻辑
      ?subject <source-prop1> ?object1 .
      ?subject <source-prop2> ?object2 .
    }
  }
  # 排除已存在的三元组
  FILTER NOT EXISTS { ?subject P14 ?object1 }
  FILTER NOT EXISTS { ?subject P17 ?object2 }
}

3. 校验三元组的精确匹配 #

检查你手动添加的P14/P17三元组，确保其URI、数据类型、字面量格式和查询生成的完全一致。Fuseki对三元组的匹配是严格的，哪怕URI大小写、末尾斜杠或字面量格式（比如日期格式）有差异，都会被视为不同三元组；如果是完全一致的，才会被过滤。

4. 确认Fuseki的事务与缓存状态 #

如果添加三元组的操作未提交事务，Fuseki可能未将数据持久化，导致查询无法读取到新三元组。确保添加操作完成后提交事务，必要时重启Fuseki清除缓存，再测试查询。

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