仕様書

[1] RDF 1.1 Concepts and Abstract Syntax (2014-04-26 12:01:24 +09:00 版) https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-concepts/index.html#h2_section-dataset
[19] SPARQL 1.1 Query Language (2013-03-21 11:27:53 +09:00 版) http://www.w3.org/TR/sparql11-query/#rdfDataset
[23] RDF 1.1 Concepts and Abstract Syntax (2014-04-27 13:11:35 +09:00 版) https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-concepts/index.html#h2_section-generalized-rdf

定義

[2] RDF データ集合datasetは、RDFグラフの集成であって、次のものから成ります >>1, >>19。

[8] 実装によっては名前付きグラフで空のものを扱えませんから、空の名前付きグラフが存在するかしないかに意味を持たせないようにすると相互運用性上の問題を回避できます。 >>1

[24] 一般化 RDF データ集合generalized RDF datasetは、RDFグラフではなく一般化RDFグラフを利用できるRDFデータ集合です。更にグラフ名としてリテラルも使えます。 >>23

[5] グラフ名graph nameは、IRI または空白節点です。グラフ名はRDFデータ集合内で固有でなければなりません。 >>1

[7] グラフ名は、形式的にグラフと組み合わされているだけであり、実際にはグラフを示すものである必要はありません。グラフ名におよって示される資源がどんなものか、それとグラフがどのような関係であるかについて RDF 仕様上の制約はありません。 >>1

[9] SPARQL 1.1 はグラフ名が空白節点となることを認めていません >>1, >>19。

[25] 一般化RDFデータ集合ではグラフ名にリテラルも認められます >>23。

[11] RDFデータ集合 D1, D2 がデータ集合同型dataset-isomorphicであるための必要十分条件は、両者に次のような全単射 M が存在することです >>1。

[12] M により空白節点から空白節点へと写像される
[13] M はリテラルと IRI に関して恒等写像である
[14] すべての三項組 (s, p, o) について M((s, p, o)) = (M(s), M(p), M(o)) である
[15] すべてのグラフ G = {t1, ..., tn} について M(G) = {M(t1), ..., M(tn)} である
[16] D2 の既定グラフは D1 に M を適用した結果である
[17] 名前 n、グラフ G の組が D1 の名前付きグラフであることは、名前 M(n)、グラフ M(G) が D2 の名前付きグラフであることの必要十分条件である

[21] RDFデータ集合は SPARQL で導入されたようです。

[22] RDF 1.1 で RDF 本体仕様に RDFデータ集合の定義が追加されました。この時に >>9 の通り空白節点をグラフ名とできるよう拡張されました。

[26] RDF 1.1 で一般化RDFデータ集合も追加されました。