[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):

 '''Chris:'''



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

 >Sorry can't parse that. What's "P-CMML"?.

 Pragmatic-Content or 'PC'.

 >>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.

 So why supply the description parts of any of them?
 OK, I can think of reasons but it would be useful
 to have a consensus on why:

  they exist;

  they appear explicitly in the MathML spec.

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