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

OpenMath trac at strawberry.eecs.jacobs-university.de
Fri Sep 12 15:38:50 CEST 2008


#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 jhd):

 Replying to [ticket:81 jauecker]:
 > 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?
 Please, no! I think there is only one set of CONCEPTS, to which differnet
 words are attached in different subcultures. This is therefore an issue
 for renderers, not for CDs as such.

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


More information about the Trac mailing list