Question

这是来自SPARQL 1.1 entailment regimes and query with FROM clause

的后续问题

我目前正在记录/测试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图形，而推理公理位于＆＃34;位于＆＃34;在默认图表中？

感谢您的见解，

最大

SPARQL 1.1蕴涵制度和使用FROM子句查询（后续）

0 个答案: