比较模型的同一性，但与变量？用减号构造？

我的团队正在实施一个变体Ceusters 的参照物追踪。在我们的实现中，实体的原始 URI 可以更改（更改为包含 UUID 的内容），但始终保留原始 URI 的链接。

例如：

:Joey rdf:type :person .
:New_York_City  rdf:type :locality .
:Joey :hometown :New_York_City .

可能会变成：

:Joey :replacedWith :ABC123 .
:ABC123 rdf:type :person .
:New_York_City  :replacedWith :FFF555 .
:FFF555  rdf:type :locality .
:ABC123 :hometown :FFF555 .

我正在编写一些 Scala 集成测试，以查看我们的软件是否正确进行引用跟踪。

具体来说，我知道我应该期待这个CorrectPattern:

:Joey :replacedWith ?person .
?person rdf:type :person .
:New_York_City  :replacedWith ?locale .
?locale  rdf:type :locality .
?person :hometown ?locale .

但我不知道什么是价值观?person and ?locale将。

I can SPARQL ASK for CorrectPattern...这会告诉我该模式是否存在。但我也想确认一下没有添加任何其他内容.

我以为我可以CONSTRUCT { ?s ?p ?o }, MINUS out CorrectPattern，并检查是否有空结果，但 Blazegraph 说：

java.util.concurrent.ExecutionException: org.openrdf.query.MalformedQueryException: CONSTRUCT WHERE 仅允许 WHERE 子句中的语句模式。

有任何想法吗？我想检查整个三重存储是否包含更多或更少内容CorrectPattern， 但我觉得CorrectPattern必须包含变量。

@AKSW 的评论再次拯救了我们，他似乎并不特别热衷于赚取声誉积分。

This CONSTRUCT，带有嵌入式SELECT，从我的模型中获取所有三元组，耗尽模型中的所有三元组MINUS块，即使它们包含变量。我很确定我可以充实MINUS阻止并完成我的任务。

PREFIX  rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
CONSTRUCT 
  { 
    ?s ?p ?o .
  }
WHERE
  { SELECT  ?s ?p ?o
    WHERE
      { { ?s  ?p  ?o }
        MINUS
          { ?s  rdf:type  ?o }
      }
  }