私は現在、SPARQL 1.1 含意レジームについて文書化/テストを行っており、推奨事項には次のように繰り返し述べられています。
スコーピング グラフは、アクティブ グラフと同等のグラフです。
しかし、それはアクティブなグラフが参照しているものを指定していません:それはクエリで使用されるデータセットですか? ストア内のすべてのグラフの和集合?
これを判断するためのテストとして、<http://www.example.org/>RDF スキーマと直接型推論ストア (v2.7.14) を使用してセサミ メモリ ストアでこのグラフを URI 化しました。
@prefix ex:<http://www.example.org/> .
ex:book1 rdf:type ex:Publication .
ex:book2 rdf:type ex:Article .
ex:Article rdfs:subClassOf ex:Publication .
ex:publishes rdfs:range ex:Publication .
ex:MITPress ex:publishes ex:book3 .
私は次のクエリを試しています（つまり、デフォルトのグラフを使用して推論エンジンを使用することを意味します）
SELECT ?s WHERE { ?s a ex:Publication . }
予想どおり、3 つのインスタンスすべてが返されます
<http://www.example.org/book1>
<http://www.example.org/book2>
<http://www.example.org/book3>
クエリ中：
SELECT ?s FROM ex: WHERE { ?s a ex:Publication . }
返品のみ
<http://www.example.org/book1>
上記の状況下では、両方の結果が同じであってはなりませんか?
データとスキーマがストア内の 2 つのグラフ ( と のよう<urn:rdfs-schema>に<urn:data>、またはさらに多くのグラフに散らばっている) に分割され、クエリが両方のグラフ (またはスキーマ関連のグラフのサブセット) をデフォルトのグラフの代わりに FROM 句を使用しますか?
推論はストア全体でグローバルにする必要がありますか、それともクエリ データセットに依存しますか?
それとも、これを実装依存の問題にするほど推奨が緩いのでしょうか?
ライトをありがとう、
最大。
EDITこの質問は、SPARQL 1.1 含意レジームと FROM 句を使用したクエリにリダイレクトされています (フォローアップ)