Re: three kinds of dataset

From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
Subject: Re: three kinds of dataset
>
> http://www.w3.org/2011/rdf-wg/wiki/TF-Graphs/RDF-Datasets-Proposal#Semantics

> 
> What precedes this in the wiki is Richard's proposal, which concerns the
> syntax. Richard does not necessarily endorse the semantics.
>
> Le 06/03/2012 17:49, Peter F. Patel-Schneider a écrit :
>> By the way, where is Antoine's proposal?
>>
>> peter

Why not just say that an RDF/RDFS/... dataset interpretation of 
	D = (G, {<n1,G1>, ..., <nk,Gk>}) 
is a structure
	I = (I, {<m1,I1>, ..., <mh,Ih>}) 
where I is an RDF/RDFS/... interpretation of G
and for each 1<=i<=k there is a j, 1<=j<=h such that mj=ni 
and Ij is an RDF/RDFS/... interpretation of Gi
(could also require ni distinct and h=k)

Then	D = (G, {<n1,G1>, ..., <nk,Gk>}) 
entails D' = (G', {<n'1,G'1>, ..., <n'k',G'k'>}) 
just when every RDF/RDFS/... datatset interpretation of D 
is also an RDF/RDFS/... datatset interpretation of G'

peter