OMDoc

Template: Infobox file format / Maintenance / Magic number missing template: Infobox file format / Maintenance / type missing template: Infobox file format / Maintenance / missing site

OMDoc (Open Mathematical Documents) is a semantic markup language for mathematical documents. While MathML only can represent mathematical formulas and the related OpenMath standard beyond just "Content Dictionaries " knows that contain definitions for terms used in formulas symbols, OMDoc covers the whole range of written mathematics.

Scope

OMDoc knows math expressions at three levels:

At each level, a formal or informal natural language syntax are used depending on the application.

Semantics and presentation

OMDoc is a semantic markup language in which one can express the meaning of mathematical texts. In contrast to LaTeX it is not geared primarily to presentation. An OMDoc document does not specify how its contents should look like. However, conversion to LaTeX or XHTML ( with formulas in Presentation MathML ) is possible. For this purpose, the notation of symbols are defined.

Applications

Today OMDoc is used in the following areas:

History

OMDoc is developed since 1998 by the German mathematician and computer scientist Michael Kohlhase (currently at Jacobs University Bremen). So far, the following versions have been released:

Future developments

The development of an OMDoc -based infrastructure for a " Semantic Web of engineering and natural sciences " is planned. These OMDoc will be extended to other sciences as mathematics. The first result is PhysML, an OMDoc version, which is extended in the direction of physics.

For better integration with other Semantic Web applications, there is also an OWL ontology of OMDoc in development, an export function to RDF.