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

Re: TDL Model Theory

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Wed, 23 Jan 2002 15:23:44 -0600
Message-Id: <p05101004b874d983d7f9@[65.212.118.208]>
To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
Cc: w3c-rdfcore-wg@w3.org
>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 EST

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