SPARQL：筛选出在任何其他选定三元组中显示为对象的主题

我需要为具有传递关系的实体检索三元组，但我只希望将该实体作为传递链末端的主体

对于以下示例：

@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" .

但我想得到的是：

: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，但我的所有尝试当前都返回了空表（即，我否定所有选定的三元组）

我发现的最接近的问题是，尽管我无法正确地实现自我选择的答案或对问题的评论

---

我感谢你的帮助。谢谢。

对我来说，首先尝试用文字表达查询总是有帮助的。你想说的是：“只给我那些自己没有更多祖先的祖先。”

要在SPARQL中对此进行表述，请使用

过滤器NOT EXISTS

约束，类似如下：

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

筛选器不存在{？祖先[]}

这里的

[]

位是一个匿名变量，基本上你说的是“如果一个祖先有任何父项，就不应该返回它们”

: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

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