Re: TDL Model Theory

>Anyone wanting a heads-up on current state of play:
>
>http://lists.w3.org/Archives/Public/www-archive/2002Jan/0114.html
>
>Patrick and I are now at integration stage and looking well-placed for
>meeting the end-of-the-week deadline.

OK, let me slow you down. Idiom P in this MT requires the range of a 
property to be a literal-value pair. But that is wrong, for P. If I 
want to say that the range of a property is xsd:integer, I mean to 
say that the range is whatever xsd says integers are, ie the value, 
not a literal-value pair. One hundred and twenty-three is an integer; 
the pair <'123',123> is not an integer (according to XSD).

Pat


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes

Received on Wednesday, 23 January 2002 16:23:36 UTC