GraphDB查询onto:implicit为何返回onto:explicit结果？

1. GraphDB虚拟上下文的特殊性质 #

GraphDB中的onto:explicit和onto:implicit并非普通的存储型命名图，而是虚拟上下文：

• onto:explicit：包含所有显式插入的三元组（无论是否能被推理生成）
• onto:implicit：包含所有通过推理规则生成的三元组，其中包括那些和显式三元组完全重复的条目（即显式插入且符合推理规则的三元组，会同时出现在两个虚拟上下文中）

2. 普通FROM查询返回混合结果的原因 #

当你执行：

select * from <http://www.ontotext.com/implicit> where { 
    ?s ?p ?o .
}

这里的FROM是将查询的默认图设置为onto:implicit虚拟上下文，但这个上下文里的三元组分为两类：纯推理生成的隐式三元组，以及和显式三元组重复的条目。你看到的“同时返回explicit结果”，本质是这些重复的三元组——它们既属于onto:explicit，也属于onto:implicit。

添加MINUS后，相当于从onto:implicit的结果中排除了所有在onto:explicit中存在的三元组，剩下的就是仅由推理生成的纯隐式三元组，因此结果符合预期。

3. FROM NAMED无效的原因 #

FROM NAMED的作用是声明查询中可以引用的命名图，但并不会改变默认图的范围。GraphDB的默认图默认包含onto:explicit + onto:implicit的所有三元组。如果你的WHERE子句没有用GRAPH子句明确指定要查询onto:implicit这个命名图，查询依然会遍历默认图的所有内容，此时即使加MINUS也无法过滤掉默认图里的显式三元组。

要正确使用FROM NAMED查询，必须在WHERE中明确指定目标命名图：

select *
from named <http://www.ontotext.com/implicit>
where { 
    graph <http://www.ontotext.com/implicit> {
        ?s ?p ?o .
    }
    minus{
        graph <http://www.ontotext.com/explicit> {
            ?s ?p ?o .
        }
    }
}

或者更直接的写法（无需FROM NAMED）：

select * where { 
    graph <http://www.ontotext.com/implicit> {
        ?s ?p ?o .
    }
    minus{
        graph <http://www.ontotext.com/explicit> {
            ?s ?p ?o .
        }
    }
}

内容的提问来源于stack exchange，提问作者enigma