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

OpenMath trac at strawberry.eecs.jacobs-university.de
Wed Jan 9 06:09:57 CET 2008

#21: Rethink STS in light of RNC generation
    Reporter:  kohlhase    |           Owner:  jhd             
        Type:  proposal    |          Status:  new             
    Priority:  blocker     |       Milestone:  MathML3CD Draft1
   Component:  MathML CDs  |         Version:                  
    Keywords:              |   Include_gantt:  0               
Dependencies:              |      Due_assign:  YYYY/MM/DD      
   Due_close:  YYYY/MM/DD  |  
 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.

 But there is a problem with the higher-order types that STS uses for sum
 and product (types have to be RelaxNG names). I can probably fudge it for
 second-order types, but that would be a hack.

 The MathML signatures allow intersection types (one symbol having more
 than one type), which STS does not. But for generation this would be very
 easy to integrate.

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

More information about the Trac mailing list