[Trac] [OpenMath] #30: Sort out types

[OpenMath]

#30: Sort out types
---------------------------------+------------------------------------------
    Reporter:  kohlhase          |           Owner:  kohlhase        
        Type:  proposal          |          Status:  new             
    Priority:  blocker           |       Milestone:  MathML3CD Draft1
   Component:  OM/MML Alignment  |         Version:                  
    Keywords:                    |   Include_gantt:  0               
Dependencies:                    |      Due_assign:  YYYY/MM/DD      
   Due_close:  YYYY/MM/DD        |  
---------------------------------+------------------------------------------
 This is the meta-issue for sorting out types in the MathML. At the moment
 things are quite confusing.
  * We have the CDs omtypes.ocd, mathmltypes.ocd, sts.ocd that all
 contribute types and type constructors, they must be critically evaluated
 and merged. See Issue #26
  * the STS type system should be rethought; see Issue #21.
  * the *.mts files contain type information from the old appendix C of the
 MathML2 spec, they should be merged into the *.sts files; See Issue #29
  * the baisc types used in the *.sts and *.mts files often variables,
 should we make them constants, then we need a CD for those that are not in
 omtypes.ocd, mathmltypes.ocd, sts.ocd, See Issue #27
  * if we have many types (and MathML3/OM3) acknowledge the existence of
 type systems, should we introduce new roles for types in CDs? See Issue
 #28

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