[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:            
    Keywords:                |   Include_gantt:  0         
Dependencies:                |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD    |  
-----------------------------+----------------------------------------------
 '''Chris:'''


 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.

 Is it OK that P-CMML uses the same name for these semantically
 different things.  I am not talking about 'obvious overloading' but
 'noticable differences' (eg, potentially, different signatures for
 operators).

 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?

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