OMDoc is a markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge.
OMDoc differs from the presentation-based approaches surveyed in this status report on Math on the Web in that it concentrates on representing the meaning of mathematical formulae instead of their appearance. OMDoc is an extension of the OpenMath and MathML. It extends these formats by markup for the document, statement and theory level of mathematical documents, so that the document author can specify them and the consumer (an OMDoc reader or a mathematical software system) can take advantage of them.
This allows to develop semantics-based added-value services for displaying and manipulating mathematical formulae and structured documents. more
The current stable version of the OMDoc format is OMDoc1.2 which was released in December 2001 and is considered the mature state of OMDoc 1. History
Work on OMDoc Version 2 has started. more
Examples, tools and systems, the OMDoc distribution, …