W3C home > Mailing lists > Public > public-rdf-wg@w3.org > December 2011

Re: Agenda 21 Dec 2011

From: Pat Hayes <phayes@ihmc.us>
Date: Fri, 16 Dec 2011 22:47:44 -0600
Cc: David Wood <david@3roundstones.com>, RDF WG <public-rdf-wg@w3.org>
Message-Id: <1260C90D-E9AB-4270-B136-FDA2913D9AAA@ihmc.us>
To: Sandro Hawke <sandro@w3.org>

On Dec 16, 2011, at 10:21 PM, Sandro Hawke wrote:

> ... maybe I can figure out some TriG
> entailment tests....    Like, does this TriG document / dataset:
> 
>        { <a> <b> <c> }
> 
> entail this RDF graph:
> 
>    <a> <b> <c>.
> 
> I think it should, so we can have metadata in TriG, but other people
> have disagreed.   How should we be gather test cases like this?


FWIW, 'entailment' has a fairly precise meaning. A entails B when B is true whenever A is, or more precisely if, for every possible interpretation I, if A is true in I then B is true in I. So it only makes sense to speak of entailment when there is some notion of truth-in-an-interpretation to base it on. So,  what are the truth conditions for datasets? Can one assert a dataset (ie claim it to be true)? How does one do that? 

Pat


------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes
Received on Saturday, 17 December 2011 04:48:21 GMT

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