Re: Re 2: Agenda for 19 Sep 2012

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.


Received on Tuesday, 18 September 2012 20:14:49 UTC