[Om] JSON Binding for OpenMath?

[Moritz Schubotz]

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
<michael.kohlhase at fau.de> 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, michael.kohlhase at fau.de
> ----------------------------------------------------------------------
>
>
> _______________________________________________
> Om mailing list
> Om at openmath.org
> http://mailman.openmath.org/cgi-bin/mailman/listinfo/om



-- 
Moritz Schubotz
Researcher

isg.uni-konstanz.de/people/moritz-schubotz
+49 1578 047 1397