sparql - SPARQL 1.1 含意レジームと FROM 句を使用したクエリ (フォローアップ)

Question

これは、 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 含意体制の下で)、推奨事項に従っていますか?

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 .
  }
}

3 つのリソースすべてを取得する必要があります:

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

あるいは単に

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

トリプル パターンのアクティブなグラフは NAMED グラフにスコープされているため、推論の公理はデフォルトのグラフに「配置」されていますか?

あなたの洞察をありがとう、

最大。