1

这是SPARQL 1.1 蕴涵制度和使用 FROM 子句查询的后续问题

我目前正在记录/测试有关 SPARQL 1.1 蕴含机制的信息，并且该建议反复指出

范围图是图等价于活动图...

因此，推理范围图似乎取决于查询。

问题是：范围图是否源自查询的数据集（FROM/FROM NAMED 子句），还是指正在评估的三重模式的真​​实当前活动图上下文？

用下面的图

# Named graph: <urn:rdfs-schema-graph>
@prefix ex:<http://www.example.org/> .
ex:Article rdfs:subClassOf ex:Publication .
ex:publishes rdfs:range ex:Publication .

# Named graph: <urn:data-graph>
@prefix ex:<http://www.example.org/> .
ex:book1 a ex:Publication .
ex:book2 a ex:Article .
ex:MITPress ex:publishes ex:book3 .

以下查询应该返回什么（例如，在 RDFS-entailment 制度下）并根据建议？

PREFIX ex: <http://www.example.org/>
SELECT ?s 
FROM <urn:rdfs-schema-graph>
FROM NAMED <urn:data-graph>
WHERE {
  GRAPH <urn:data-graph> {
    ?s a ex:Publication .
  }
}

我应该取回所有三个资源：

<http://www.example.org/book1>
<http://www.example.org/book2>
<http://www.example.org/book3>

要不就

<http://www.example.org/book1>

因为三重模式上的活动图的范围是 NAMED 图，而推理公理在默认图中“定位”？

感谢您的洞察力，

最大限度。

4

0 回答 0