sparql - 如何将模型检查逻辑查询转换为SPARQL查询？

Question

假设我有以下 RDF 数据:

@prefix : <urn:ex:>

:m  :A  "a"
:m  :A  "b"
:m  :A  "c"
:m  :B  "a"
:m  :B  "b"

我可以使用什么SPARQL查询来检查RDF模型是否满足以下逻辑公式？

∀x A(X) → B(x)

Answer 1

SPARQL 没有条件或通用量化，但有存在性(有什么与此匹配吗？)、(隐式)合取和否定(在“不存在”意义上)。

所以重写问题:

∀x A(x) → B(x) ⇒
∀x ¬ ( A(x) ∧ ¬ B(x) ) ⇒
¬ ∃x A(x) ∧ ¬ B(x)

这就是 SPARQL 可以做的事情，几乎:

# Is there anything of type A but not B?
ASK {
  { ?x a :A } MINUS { ?x a :B }
}

如果存在任何违反约束的情况，此查询将返回true。