I have split it in the KWARC fork, and I rather like the new form. Michael
On 08.07.19 13:28, James Davenport wrote: > > Could do. Or we could keep it as is, and just retitle it “Changes to > OpenMath” rather than “Changes between OpenMath 1.1 and OpenMath 2”. > > > > *From:*Michael Kohlhase [mailto:michael.kohlh...@fau.de] > *Sent:* 08 July 2019 10:55 > *To:* James Davenport <mas...@bath.ac.uk>; Tom Wiesing > <tom.wies...@fau.de> > *Cc:* om@openmath.org > *Subject:* Re: [Om] Proposal for Extending OpenMath Standard with a > JSON Encoding > > > > Dear James, > > On 08.07.19 10:44, James Davenport wrote: > > Looks good - I don’t know enough JSON to comment on the technical > details. There’s some editorial work that needs doing - Appendix H > is increasingly inappropriately titled! > > Just to reconfirm, you object to the "OM2 revision 3" is not being in > the title. > > I would suggest that we split Appendix H into "OM 1.1 to OM 2" and > into "OM2 Revisions". What do you think? > > Michael > > James > > Sent from my iPhone > > > On 8 Jul 2019, at 09:08, Tom Wiesing <tom.wies...@fau.de > <mailto:tom.wies...@fau.de>> wrote: > > Dear all, > > Me and Michael would like to propose an extension of the > OpenMath standard to endorse an OpenMath JSON Encoding. We > have made a pull request at [0] and attached a diffed pdf. > > JSON is a lightweight data-interchange format used heavily in > the Web Applications area. Adding a JSON Encoding thus > contributes to making OpenMath web-interoperable. The source > code for a validator of this proposed encoding, as well as a > translator from/to the XML encoding can be found at [1]. It is > also accessible via API at [2]. > > We presented this encoding during the OpenMath workshop at > CICM 2018 (see [3] and [4]), however we were only able to make > a concrete standard proposal until now. We are hoping to > discuss this during the upcoming OpenMath workshop at CICM > 2019 next week, however wanted to send out our proposal > beforehand. > > Greetings, > Tom > > [0] https://github.com/OpenMath/OMSTD/pull/69 > [1] https://github.com/tkw1536/OpenMath-JSON > [2] https://omjson.openmath.org > [3] http://ceur-ws.org/Vol-2307/paper53.pdf > [4] https://www.cicm-conference.org/2018/slides/OpMa2.pdf > > _______________________________________________ > Om mailing list > Om@openmath.org <mailto:Om@openmath.org> > http://mailman.openmath.org/cgi-bin/mailman/listinfo/om > > <omstd20-diff.pdf> > > -- > ---------------------------------------------------------------------- > Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 > > Professur für Wissensrepräsentation & -verarbeitung > Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room > 11.139, > tel/fax: (49) 9131-85-64052/55, michael.kohlh...@fau.de > <mailto:michael.kohlh...@fau.de> > ---------------------------------------------------------------------- -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42 Professur für Wissensrepräsentation & -verarbeitung Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139, tel/fax: (49) 9131-85-64052/55, michael.kohlh...@fau.de ----------------------------------------------------------------------
_______________________________________________ Om mailing list Om@openmath.org http://mailman.openmath.org/cgi-bin/mailman/listinfo/om