Dear all, I would be highly interested in that. I was trying to convert the MathML3 xsd to JSON yesterday all day. However, the result was still not satisfactory. While the tag names were good all the attribute constraints still don't come out nicely. For today, I was planning to restart from the rng format...
Best Moritz On Wed, May 2, 2018 at 8:57 AM, Michael Kohlhase <[email protected]> wrote: > Dear all, > > we have come across the need to communicate OpenMath Objects to JavaScript. > > We could go traditional and send over XML and have JS parse that into JS > Objects, or we could use a JSON binding for OpenMath. > > It actually seems that Nathan Carter has already done something very > much like that. [1] > > Would it make sense to standardize a JSON binding of OpenMath? After > all, JSON is one of the practical competitors for XML and used A LOT on > the web. > > Michael > > [1] https://lurchmath.github.io/openmath-js/site/ > > > -- > ---------------------------------------------------------------------- > 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, [email protected] > ---------------------------------------------------------------------- > > > _______________________________________________ > Om mailing list > [email protected] > http://mailman.openmath.org/cgi-bin/mailman/listinfo/om -- Moritz Schubotz Researcher isg.uni-konstanz.de/people/moritz-schubotz +49 1578 047 1397 _______________________________________________ Om mailing list [email protected] http://mailman.openmath.org/cgi-bin/mailman/listinfo/om
