Re: TEST: datatype testcase

>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