Question

我正在尝试标识具有完全相同的“三元组”的主题。在此示例数据中，:Set2应该被标识为与:Set1的唯一精确匹配，而:Set1和:Set3由于值{{1}而并非完全匹配}。

:VAL_E

我在StackOverflow上找到了示例SPARQL，该示例将@prefix : <https://www.example.org/Eg#>. :Set1 :hasValue :VAL_A, :VAL_B, :VAL_C, :VAL_D . :Set2 :hasValue :VAL_A, :VAL_B, :VAL_C, :VAL_D . :Set3 :hasValue :VAL_A, :VAL_B, :VAL_C, :VAL_D, :VAL_E . :Set4 :hasValue :VAL_A, :VAL_B . :Set5 :hasValue :VAL_F, :VAL_G, :VAL_H, :VAL_I, :VAL_J .与其他集合甚至number of matches之间匹配的单个三元组标识为，但没有将如何将一组三元组的精确匹配标识为a整个。我预计需要将:Set1和FILTER NOT EXISTS组合使用，但是我无法正确使用语法。

更新：我从@StanislavKralin改编了SPARQL以查找与：Set1相同的其他Set。几乎可以正常工作。

!SAMETERM

但是，我的查询结果包括：Set4，这是不正确的。

SELECT DISTINCT  ?s2 {
  :Set1 ?p ?o .
  ?s2 ?p ?o .
  FILTER NOT EXISTS { :Set1 ?p1 ?o1 . FILTER NOT EXISTS { ?s2 ?p1 ?o1 } }
  FILTER NOT EXISTS { ?s2 ?p2 ?o2 . FILTER NOT EXISTS { :Set1 ?p2 ?o2 } } # omits match from :Set3 to :Set1
  FILTER (STR(:Set1) < STR(?s2))
}

我想念什么？

[更新] 如以下评论中所述，斯坦尼斯拉夫（Stanislav）在Stardog社区论坛https://community.stardog.com/t/unexpected-sparql-filter-results/2745/14上提供了进一步的解释和代码，以及Pavel Klinov解释Stardog当前行为的其他信息。如您所见，已打开故障单以进行解决。同时，斯坦尼斯拉夫（Stanislav）提供的以下代码可提供正确的结果：

:Set2
:Set4

Answer 1

在Apache Jena Fuseki和Ontotext GraphDB中进行了测试：

SELECT DISTINCT ?s1 ?s2 {
  ?s1 ?p ?o .
  ?s2 ?p ?o .
  FILTER NOT EXISTS { ?s1 ?p1 ?o1 . FILTER NOT EXISTS { ?s2 ?p1 ?o1 } }
  FILTER NOT EXISTS { ?s2 ?p2 ?o2 . FILTER NOT EXISTS { ?s1 ?p2 ?o2 } }
  FILTER (STR(?s1) < STR(?s2))
}

说明

让S1和S2分别是以:s1和:s2为主题的三元组。
S1 ≡ S2是什么意思？这意味着S1 ⊆ S2和S2 ⊆ S1。
S1 ⊆ S2是什么意思？这表示∀x(x ∈ S1 → x ∈ S2)。
不幸的是，SPARQL中没有类似∀（“为所有人”）的内容。
但是，可以改写¬∃x¬(x ∈ S1 → x ∈ S2)并使用SPARQL的NOT EXISTS。
最后，x ∈ S1可以翻译为:s1 ?p ?o。

另请参阅this answer。

SPARQL：查找具有相同三元组的主题吗？

1 个答案: