[Trac] [OpenMath] #81: Name Spaces / Various meanings

[OpenMath]

#81: Name Spaces / Various meanings
------------------------------+---------------------------------------------
     Reporter:  jauecker      |          Owner:  kohlhase  
         Type:  proposal      |         Status:  new       
     Priority:  major         |      Milestone:  CD3 Draft1
    Component:  OM3 Standard  |        Version:            
   Resolution:                |       Keywords:            
Include_gantt:  0             |   Dependencies:            
   Due_assign:  YYYY/MM/DD    |      Due_close:  YYYY/MM/DD
------------------------------+---------------------------------------------
Comment (by jauecker):

 '''David:'''



 >Is the name-space idea explained somewhere so that it is clear that we
 >can use what appears to be the same name for different things in
 >different CDs.

 this is 4.2.4.2 Content Symbols , which says

 ....    We need three bits of information to fully identify a symbol: ...

 which maks it (hopefully) clear that you need more than just the name.

 >Is it OK that P-CMML uses the same name for these semantically
 >different things.

 Sorry can't parse that. What's "P-CMML"?. I'd guess Presentation MathML?
 but if that is what you mean then I'm confused as presentation MathML
 desn't appear to use any names in common with content mathml does it?

 >Also, this does not deal with the case where the meaning varies
 >between mathematical subcultures of K-14: eg domain, range, image,
 >codomain. Maybe we need more than one CD for some subject areas?

 More CDs are needed but "we" don't necessarily need to supply them.
 Even in Mathml3 it will inevitably the case that in MathML, unlike
 OpenMath there is a core "blessed" set of pre-defined operators with
 some predefined (often very general to the point of being essentially
 undefined) meaning. The fact that there are other names and other
 meanings that don't get blessed can't be helped.

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/81#comment:1>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.