- From: Jan Grant <Jan.Grant@bristol.ac.uk>
- Date: Wed, 3 Sep 2003 09:29:54 +0100 (BST)
- To: pat hayes <phayes@ihmc.us>
- Cc: Jeremy Carroll <jjc@hpl.hp.com>, w3c-rdfcore-wg <w3c-rdfcore-wg@w3.org>
On Tue, 2 Sep 2003, pat hayes wrote: > >The test case document currently doesn't have explicit > >"consistent/inconsistent" test cases; these have usually been encoded > >using entailment or non-entailment of false graphs. > > Well, if y'all are happy to phrase things this way, then OK; but > there is no such thing as a false graph, actually. I know; the test case manifest uses a "constant" to stand in for "a false [pseudo-]graph" when describing test cases with false conclusions. -- jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/ Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/ Lambda calculus? I hardly know 'er!
Received on Wednesday, 3 September 2003 04:33:09 UTC