[Om] name of OMS

Michael Kohlhase m.kohlhase at jacobs-university.de
Fri Aug 1 10:09:23 CEST 2008

David Carlisle wrote:
>>  But <CDDefinition> does not define a CD, but declares a symbol in a
>>  CD.
> Yes it's best not to "see" the CD prefix on the element names at all,
> just thing of them as a pre-namespaces namespace mechanism (rather like
> the OM prefix on openmath instance elements). If you read it as CD
> Definition then it could be thought to mena definition of a CD, but if
> you read it as CD:Definition then it's the Definition element in the CD
> Vocabulary which is a better reading.
You are right, but unfortunately, it is not really a definition in the 
strict sense either. It is more a declaration of the form "symbol foo 
exists and has some properties". In almost all instances we have in the 
CDs the properties (either in the description or in the CMP/FMPs) do not 
fully define a symbol. But we should probably let this go.

> David
> ________________________________________________________________________
> The Numerical Algorithms Group Ltd is a company registered in England
> and Wales with company number 1249803. The registered office is:
> Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.
> This e-mail has been scanned for all viruses by Star. The service is
> powered by MessageLabs. 
> ________________________________________________________________________
> _______________________________________________
> Om mailing list
> Om at openmath.org
> http://openmath.org/mailman/listinfo/om

 Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62 
 Professor of Computer Science     Campus Ring 12, 
 School of Engineering & Science   D-28759 Bremen, Germany
 Jacobs University Bremen*         tel/fax: +49 421 200-3140/-493140
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
 skype: m.kohlhase   * International University Bremen until Feb. 2007

-------------- next part --------------
A non-text attachment was scrubbed...
Name: m_kohlhase.vcf
Type: text/x-vcard
Size: 320 bytes
Desc: not available
Url : http://openmath.org/pipermail/om/attachments/20080801/57ac2637/attachment.vcf 

More information about the Om mailing list