- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Tue, 06 Mar 2012 12:52:45 -0500 (EST)
- To: antoine.zimmermann@emse.fr
- Cc: public-rdf-wg@w3.org
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
Received on Tuesday, 6 March 2012 17:53:21 UTC