SPARQL 1.1蕴涵制度和查询与FROM子句(后续)(SPARQL 1.1 entailment

2019-10-21 20:32发布

这是从后续问题SPARQL 1.1蕴涵制度和查询与FROM子句

我目前正在记录/测试约1.1 SPARQL制度蕴涵和推荐一再指出,

作用域图是图形的等同于活动图...

因此它似乎推断作用域的图形取决于查询。

问题是:不作用域图表从查询的数据集的茎(FROM /来自名为子句)或它指的是用于三重图案的实际当前活动图形上下文被评估?

用下面的图表

# 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-蕴涵制度,例如),并根据建议?

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>

由于在三重图案的活性曲线图,而在默认的图形推理公理“位于”的范围限定到指定的图形?

感谢您的洞察力,

最大。

文章来源: SPARQL 1.1 entailment regimes and query with FROM clause (follow-up)