[Om] Proposal for Extending OpenMath Standard with a JSON Encoding

[Tom Wiesing]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: omstd20-diff.pdf
Type: application/pdf
Size: 366264 bytes
Desc: omstd20-diff.pdf
URL: <http://mailman.openmath.org/pipermail/om/attachments/20190705/2b3bd99d/attachment-0001.pdf>