W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2002

Re: TEST: datatype testcase

From: Jan Grant <Jan.Grant@bristol.ac.uk>
Date: Mon, 18 Nov 2002 11:33:58 +0000 (GMT)
To: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
cc: w3c-rdfcore-wg <w3c-rdfcore-wg@w3.org>
Message-ID: <Pine.GSO.4.44.0211181133160.22577-100000@mail.ilrt.bris.ac.uk>

On Sun, 17 Nov 2002, Jos De_Roo wrote:

>
> we have been testing/finding that
>
>   :road :repair "P1Y2M3DT10H30M"^^xsd:duration .
>   :testcase :made "2002-11-16T01:41:00+01:00"^^xsd:dateTime .
>   :john :birthday "1956-01-10"^^xsd:date .
>   :jenny :age "10"^^xsd:decimal .
>
> RDFS/XSD entails
>
>   :road :repair "P14M3DT10H30M"^^xsd:duration .
>   :testcase :made "2002-11-16T00:41:00Z"^^xsd:dateTime .
>   :john :birthday "1956-01-10T+02:00"^^xsd:date .
>   :jenny :age "1E1"^^xsd:decimal .
>
> Jan/Dave is this useful as a testcase?
>
>
> we also have been testing/finding that
>
>   nothing
>
> RDFS/XSD/MATH entails
>
>   "10.1"^^xsd:decimal math:greaterThan "8.4"^^xsd:decimal .
>   "P1Y2M"^^xsd:duration math:notGreaterThan "P14MT10H"^^xsd:duration .
>   "01:41:00+01:00"^^xsd:time math:lessThan "05:41:00Z"^^xsd:time .
>   "1956-01-10"^^xsd:date math:notLessThan "1956-01-10"^^xsd:date .
>   "10"^^xsd:int math:equalTo "010"^^xsd:int .
>   "10"^^xsd:string math:notEqualTo "010"^^xsd:string .
>
> but this is not yet proposed as a testcase

Very useful. Good stuff, Jos!

-- 
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/
"My army boots contain everything not in them." - Russell's pair o' Docs.
Received on Monday, 18 November 2002 06:37:02 EST

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