- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Tue, 06 Mar 2012 13:31:52 -0500 (EST)
- To: antoine.zimmermann@emse.fr
- Cc: public-rdf-wg@w3.org

Well, I don't see where the infinity causes problems. RDF datasets and RDF graphs are going to be finite, after all, aren't they? Perhaps for mathematical cleanliness you might want to allow interpretations to have an infinite number of names, I suppose. The wiki seems to be missing the notion that Con(V) is an interpretation of the graph with name V. In any case, the two formulations appear to be quite close (modulo the issue just above). peter From: Antoine Zimmermann <antoine.zimmermann@emse.fr> Subject: Re: three kinds of dataset Date: Tue, 06 Mar 2012 19:10:36 +0100 > Why not indeed? This was my original idea, modulo a little improper > formulation (you can see the previous version in the wiki) but 1) Pat > was very much against this formulation, and 2) the current formulation > allows a dataset-interpretation to assign a "local" interpretation to a > potentially infinite set of terms. This is particularly useful for > reasoning with annotated triples (UC 6.2 in > http://www.w3.org/2011/rdf-wg/wiki/TF-Graphs-UC#.28B_priority.29_Reasoning_over_annotations). > > Le 06/03/2012 18:52, Peter F. Patel-Schneider a écrit : >> 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 18:32:28 UTC