Re: [xtm-wg] The XTM data model: the wheel has already been invented

[Sam Hunting <sam_hunting@yahoo.com>]

--- auillans@labri.u-bordeaux.fr wrote:
> 
> Hi
> 
> > XTM. Topic maps are
> >there to describe knowledge, so why not describe XTM's data model
> using
> >itself?
> 
> I may be wrong but I think you may face a major problem we already
> discused with Sam in Paris. If you want be formal you can't describe
> your model
> by your model. It's a well know problem in logic : I explain lets %
> be
> the mathematical symbol of first order logic meaning "for all". What
> does the next sentence means : "%x in X means %x in the set X". The
> right sentence is "%x in X means for all x in the set X".
> 
> We had that problem with Sam in Paris when he tryed to describe with
> XTM what was a template.

I believe that the templating mechanism has an "escape" to PSIs, so the
problem of defining a language in terms of itself does not arise.
Otherwise, we couldn't bootstrap the system.

S.

=====
<!-- "To imagine a language is to imagine a form of life."
     - Ludwig Wittgenstein, Philosophical Investigations -->

__________________________________________________
Do You Yahoo!?
Get email at your own domain with Yahoo! Mail. 
http://personal.mail.yahoo.com/?.refer=text

------------------------ Yahoo! Groups Sponsor ---------------------~-~>
Secure your servers with 128-bit SSL encryption!
Grab your copy of VeriSign's FREE Guide,
"Securing Your Web site for Business." Get it now!
http://us.click.yahoo.com/KVNB7A/e.WCAA/bT0EAA/2n6YlB/TM
---------------------------------------------------------------------_->

To Post a message, send it to:   xtm-wg@eGroups.com

To Unsubscribe, send a blank message to: xtm-wg-unsubscribe@eGroups.com 

Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/