W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > September 2003

Re: Action needed: subClassOf on datatypes

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>
Message-ID: <Pine.GSO.4.44.0309030927580.5130-100000@mail.ilrt.bris.ac.uk>

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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:59:54 EDT