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

TEST: datatype testcase

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Sun, 17 Nov 2002 14:14:22 +0100
To: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
Message-ID: <OF69F5B7B5.39142AE2-ONC1256C74.004862A4-C1256C74.0048CA18@agfa.be>

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

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Sunday, 17 November 2002 08:15:02 EST

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