Re: heading toward datatyping telecon

At 08:19 PM 10/31/01 -0800, Sergey Melnik wrote:
><SUG3> was to make the interpretation of each literal symbol fixed and
>determined by its textual contents. Pat and Peter P.-S. (who provided
>valuable input as a non-member) propose a different approach, in which
>the meaning of literal symbols depends on the context where they
>appear (this context may be limited to a single statement, I'm not
>sure about that). To my knowledge, Pat is still working on a new draft
>of MT that relies on such context-dependent interpretation of
>literals.
>
>I'd like to ask Pat to try to wrap up some ideas (even if sketchy) and
>share them with the WG in form of examples and illustrations. We
>should attempt to achieve a common understanding of the options that
>are open at this point. Datatyping is critical in the sense that
>almost every single developer will need to deal with it. Therefore, it
>is essential that even persons who are far from logics and model
>theory (like some of us) understand the main points.
>
>In any case, tomorrow I'm going to summarize my revised understanding
>of the tradeoffs between a `straightforward' and Pat's/Peter's
>approach.

My voice also weighed in against the approach of completely fixed 
interpretation of literals:
   http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0572.html
   http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Oct/0602.html

#g


------------------------------------------------------------
Graham Klyne                    MIMEsweeper Group
Strategic Research              <http://www.mimesweeper.com>
<Graham.Klyne@MIMEsweeper.com>
------------------------------------------------------------

Received on Thursday, 1 November 2001 12:00:32 UTC