- From: Pat Hayes <phayes@ihmc.us>
- Date: Fri, 16 Dec 2011 22:47:44 -0600
- To: Sandro Hawke <sandro@w3.org>
- Cc: David Wood <david@3roundstones.com>, RDF WG <public-rdf-wg@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 UTC