如何解决SPARQL:查找具有相同三元组的主题吗?
我正在尝试标识具有完全相同的“三元组”的主题。在此示例数据中,: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_D .
:Set3 :hasValue :VAL_A,: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
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
解决方法
在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。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。