SPARQL:过滤掉在​​任何其他 SELECTed 三元组中显示为对象的主题

SPARQL: FILTER out subjects which appear as objects in any other SELECTed triple

我需要检索具有传递关系的实体的三元组,但我只想将传递链末端的实体作为主体。

对于以下示例:

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<:a0> rdfs:label "a0" ;
    <:has_parent> <:a1> .

<:b0> rdfs:label "b0" ;
    <:has_parent> <:b1> .

<:a1> rdfs:label "a1" ;
    <:has_parent> <:a2> .

<:a2> rdfs:label "a2" ;
    <:has_parent> <:a3> .

<:a3> rdfs:label "a3" .

<:b1> rdfs:label "b1" ;
    <:has_parent> <:b2> .

<:b2> rdfs:label "b2" .

当我运行以下SPARQL查询(使用rdflib-5.0.0)时:

SELECT ?ancestor ?descendant
WHERE 
{
   ?descendant <:has_parent>+ ?ancestor .
}
ORDER BY ?ancestor

我得到:

:a1 is_ancestor_of  :a0
:a2 is_ancestor_of  :a0
:a2 is_ancestor_of  :a1
:a3 is_ancestor_of  :a2
:a3 is_ancestor_of  :a0
:a3 is_ancestor_of  :a1
:b1 is_ancestor_of  :b0
:b2 is_ancestor_of  :b1
:b2 is_ancestor_of  :b0

但我想得到的是:

:a3 is_ancestor_of  :a2
:a3 is_ancestor_of  :a0
:a3 is_ancestor_of  :a1
:b2 is_ancestor_of  :b1
:b2 is_ancestor_of  :b0

只有一个链的“最老祖先”作为主体,所有后代作为客体。换句话说,我不想要任何后代作为主体。

我知道我缺少一个过滤器,或者一个不存在的过滤器,或者一个额外的 SELECT-WHERE 但我所有的尝试目前都返回空表(即我否定了所有选定的三元组)。

我找到的最接近的问题是 this one,尽管我无法正确实施自选答案或对问题的评论。

感谢您的帮助。谢谢。

对我来说,首先尝试用文字表达查询总是有帮助的。你想说的是:“只给我那些自己没有任何其他祖先的祖先”。

要在 SPARQL 中制定此规则,请使用 FILTER NOT EXISTS 约束,如下所示:

FILTER NOT EXISTS { ?ancestor <:has_parent> [] }

这里的 [] 位是一个匿名变量,基本上你是在说“如果一个祖先有 any parent,他们不应该被归还".