Dear community,
we are in the process of defining OpenMath-RDF, which is an OpenMath-based vocabulary for representing mathematical content in RDF. I am interested in your opinion and possible use cases like knowledge management or execution of calculations.
OpenMath-RDF specification (WIP):
https://openmath.org/om-rdf/
https://github.com/OpenMath/om-rdf/
Java-based PoC implementation:
https://github.com/numerateweb/numerateweb
Best regards,
Ken