OMDoc: Open Mathematical Documents

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 (content) MathML standards. It extends these formats by markup for the document 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. See an example in computer-supported education.