[Om] name of OMS

[Michael Kohlhase]

Dear all,

I also side with James, David, and Arjeh.

I fear that Paul is victim of nomenclature introduced in OMDoc. There we 
have a <symbol> element that is analogous to <CDDefinition>.

I must say that both elements are somewhat confusing, <symbol> is not a 
symbol after all, but a symbol declaration. But <CDDefinition> does not 
define a CD, but declares a symbol in a CD. Maybe we should clarify this 
in the respective specifications.

Maybe we should even think about renaming (David, before you say 'njet', 
I must say that I am not sure that I would really propose it, but it is 
worth thinking about, since we are mixing MathML intuitions into 
OpenMath CDs). I am certainly thinking about this for OMDoc 2. But this 
discussion should go into the OM3 mailing list.

Michael

Arjeh Cohen wrote:
> I am inclined to go with David.  The Coca Cola logo (compare: symbol)
> appears many places.  There are probably regulations by the Coca Cola
> company (compare: CD) that specify the logo. In our CD the precise
> symbols (OMS) occurs, but is adorned with further information: the
> specifications.
>
> Best, Arjeh
>
>
> On Thu, Jul 31, 2008 at 09:18:16AM +0100, David Carlisle wrote:
>   
>>     
>>> That 17 angels can dance on the head of this pin. :-)
>>> More seriously, since a symbol IS a reference to an abstract idea,  
>>> then the CD entry probably is the symbol, and <OMS name="arcsin"  
>>> cd="transc1"/> is a reference to that symbol, so probbaly the wording  
>>> ought to be shifted inthe direction Paul suggests.
>>>       
>> personally I always thought of it the other way.
>> The OMS is the symbol and a CD gives definitions of symbols.
>>
>>
>> This seems to be the intuition behind the naming of CDs as
>> "Dictionaries". a token in a document is a word and dictionaries give
>> meanings of words. Just as an OMS in an OM Object is a Symbol, and
>> Content Dictionaries gfive meanings of symbols.
>>
>> 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
>>     
> _______________________________________________
> 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
----------------------------------------------------------------------