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

[auillans@labri.u-bordeaux.fr]

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.


regards,


------------------------ Yahoo! Groups Sponsor ---------------------~-~>
Do you have 128-bit SSL encryption server security?
Get VeriSign's FREE Guide, "Securing Your
Web Site for Business." Get it now!
http://us.click.yahoo.com/2cW4jC/c.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/