- From: pat hayes <phayes@ai.uwf.edu>
- Date: Tue, 19 Nov 2002 21:38:13 -0500
- To: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
- Cc: w3c-rdfcore-wg@w3.org
>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 . Oooh, does it?? That is, where did those IEXT(I(math:whatevers)) get their semantic restrictions from? Can a datatype impose some extra semantic conditions on some *properties* as well as on the datatyped literals ?? That's a more generous notion of datatype than we have been considering up to now. . I didn't put anything like that in the MT, but maybe I should have done. In fact I like this idea. Where are the math: thingies defined? (URI??) Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32501 (850)291 0667 cell phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes s.pam@ai.uwf.edu for spam
Received on Tuesday, 19 November 2002 21:38:18 UTC