[Trac] [OpenMath] #21: Rethink STS in light of RNC generation

[OpenMath]

#21: Rethink STS in light of RNC generation
----------------------------+-----------------------------------------------
     Reporter:  kohlhase    |          Owner:  kohlhase        
         Type:  proposal    |         Status:  new             
     Priority:  blocker     |      Milestone:  MathML3CD Draft1
    Component:  CD3 Format  |        Version:                  
   Resolution:              |       Keywords:                  
Include_gantt:  0           |   Dependencies:                  
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD      
----------------------------+-----------------------------------------------
Changes (by kohlhase):

  * owner:  jhd => kohlhase
  * component:  MathML CDs => CD3 Format

Comment:

 Replying to [ticket:21 kohlhase]:
 > A type system is only useful, if there are standard tools for using ist.
 I have made the first steps towards generating a RelaxNG schema from STS
 types. This would allow to generate a strict OpenMath/MathML Schema from
 the STS we have and integrate that e.g. into emacs with nxml or the
 official (lax) OpenMath3 Schema.

 We could re-interpret the STS type system as "Schema Type System" instead
 of "Simple Type System" :-).

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