W3C home > Mailing lists > Public > public-rdf-wg@w3.org > March 2012

Re: three kinds of dataset

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Tue, 06 Mar 2012 12:52:45 -0500 (EST)
Message-Id: <20120306.125245.439484304.pfpschneider@gmail.com>
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 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:25:47 GMT