- From: Jan Grant <Jan.Grant@bristol.ac.uk>
- Date: Fri, 22 Nov 2002 16:47:08 +0000 (GMT)
- To: RDFCore Working Group <w3c-rdfcore-wg@w3.org>
The cross-datatype entailment test cases are reasonably clear cut, from
a mathematical point of view, I think. But Patrick raises a good point
when he asks (with a weather eye on implementation?) "what does it mean
to say that datatype X is supported?"
The intention with an entailment test case that's described as having
datatype support for DTs X, Y and Z is this: that to be able to run the
test case, you are able to decide:
for any two datatyped literals, a and b, with the datatypes
of a and b coming from {X, Y, Z},
do a and b represent the same value?
(You don't need to be able to work out what that value is; just to
answer that question.)
Now, it might be better if the "datatype support" was recorded in the
test case manifest using a cons list; I'm willing to take advice on
that, but that is what is meant by the manifest contents at this stage.
jan
--
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/
They modified their trousers secretly.
Received on Friday, 22 November 2002 11:48:46 UTC