- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Tue, 18 Sep 2012 16:14:19 -0400
- To: Pat Hayes <phayes@ihmc.us>
- CC: Ivan Herman <ivan@w3.org>, David Wood <david@3roundstones.com>, "public-rdf-wg@w3.org Group WG" <public-rdf-wg@w3.org>
On 09/18/2012 03:48 PM, Pat Hayes wrote: > On Sep 18, 2012, at 7:33 AM, Ivan Herman wrote: > >> Peter, >> >> still trying to understand, bear with me. >> >> RDF entailment is described in terms of I-s, so I try to translate what you describe in terms of those; this would allow me to compare with the original proposal. What you seem to say that a model for a Dataset (G, <n1,G1>,...,<nk,Gk>) is a (I0,I1,...,Ik) so that I0 satisfies G, and Ii satisfies Gi. Ie, the models for each element of the dataset are mutually 'independent' from one another. > I don't think that was what Peter was suggesting. (Was it??) Correct, this is not what I was suggesting. peter
Received on Tuesday, 18 September 2012 20:14:49 UTC