Re: ACTION 2001-08-24#9 : issues with containers

At 07:42 PM 9/4/01 -0500, Dan Connolly wrote:
> > I have no axe to grind here: I would be happy to banish containers
> > and reification from RDF, myself. But I would like us to be clear on
> > the matter. If they are part of the language, with an intended
> > meaning, then the model theory - the definitive semantics of the
> > language - should define that meaning as far as possible. If they are
> > not part of the language then let's remove them from the language
> > (and maybe have an explicit status for them as part of a 'library' of
> > handy constructions). If they are part of the language but have no
> > defined meaning, then let us say so, and be ready to smile fixedly at
> > the mockery that would then be our due.
>
>I like the library idea.

Me too.  But I'd like to better understand how specific semantics 
associated with standard library elements might be formalized (i.e. stated 
without room for misinterpretation).

#g


------------------------------------------------------------
Graham Klyne                    Baltimore Technologies
Strategic Research              Content Security Group
<Graham.Klyne@Baltimore.com>    <http://www.mimesweeper.com>
                                 <http://www.baltimore.com>
------------------------------------------------------------

Received on Wednesday, 5 September 2001 07:06:43 UTC