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

Question

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

对于以下示例：

@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

也就是说，只有"；最古老的祖先"；链的子体作为主体，所有子体作为对象。换言之，我不希望任何后代作为主体。

我知道我缺少一个FILTER，或者FILTER NOT EXISTS，或者一个额外的SELECT-WHERE，但我所有的尝试目前都返回了空表(即，我否定了所有选择的三元组(。

我发现的最接近的问题是这个问题，尽管我无法正确执行自己选择的答案或对问题的评论。

我感谢你的帮助。谢谢

Answer 1

对我来说，首先尝试用单词来表达查询总是有帮助的。你想说的是：；只给我那些祖先，他们自己没有任何进一步的祖先"；。

要在SPARQL中对此进行公式化，请使用FILTER NOT EXISTS约束，类似于以下内容：

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

这里的[]位是一个匿名变量，基本上你是在说"；如果祖先有任何父级，则不应返回"；。