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' peterReceived on Tuesday, 6 March 2012 17:53:21 UTC
This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 22:02:03 UTC