JOMDoc
From MathWeb
A Java API for OMDoc documents – like DOM, but with lots of OMDoc-specific syntactic sugar, intelligence, and constraint checking.
Contents |
History and Roadmap
The original version has been developed by Normen Müller for his Verifun-OMDoc connection. It's now being continued in a summer internship of Kristina Sojakova and will soon be available as a part of the OMDoc distribution.
Supported formats
- OMDoc (with RelaxNG validation)
- embedded OpenMath and MathML formulae are supported.
- generic XML can work, too.
Data structures
- can resolve links (anything with URIref type) and <OMS name="..." cd="..."/>
Documentation
There's not much javadoc documentation yet, but it will gradually grow.
Requirements
- For use in SWiM
- URL resolution by call-back.
See also our collected JOMDoc/OMBase Use Cases
