JOMDoc

A Java API for OMDoc documents – like DOM, but with lots of OMDoc-specific syntactic sugar, intelligence, and constraint checking.

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   

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