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

Re: incomplete datatyping (was: Re: datatypes and MT)

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Wed, 07 Nov 2001 09:37:15 +0000
Message-Id: <5.1.0.14.2.20011107092038.03fe70a0@joy.songbird.com>
To: Pat Hayes <phayes@ai.uwf.edu>
Cc: Sergey Melnik <melnik@db.stanford.edu>, w3c-rdfcore-wg@w3.org
At 06:35 PM 11/6/01 -0600, Pat Hayes wrote:
>>and b) it transfigures the model
>>theory in such a way that I (and maybe others with similarly limited
>>mental abilities) have hard times understanding it - to the contrary of
>>my belief that MT is there to help clarify things.
>
>Well, I confess that I have not done a very good job of explaining the 
>idea intuitively, but it really is not very complicated once you get used 
>to it. It doesn't change any of the rest of the model theory, by the way: 
>the extra machinery only comes into play when literals are around. And I 
>would say that while the MT is there to help clarify things, it does that 
>by being precise, rather than by being simple.

Yes... I see the primary purpose of the MT is to give us a sound foundation 
for RDF, and to avoid the gotcha's that have plagued V1.0.   I don't expect 
DPH to read the MT to clarify his understanding of RDF;  rather, we who do 
read and agree on the MT can, as a result, should be able to present a 
description and test cases that is consistent and well-founded and 
consequently easier to follow.

#g


------------------------------------------------------------
Graham Klyne                    MIMEsweeper Group
Strategic Research              <http://www.mimesweeper.com>
<Graham.Klyne@MIMEsweeper.com>
------------------------------------------------------------
Received on Wednesday, 7 November 2001 05:33:00 EST

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