Filename extension | .omdoc |
---|---|
Internet media type | application/omdoc+xml |
Developed by | Michael Kohlhase |
Type of format | Markup language |
Container for | MathML,OpenMath |
Extended from | OpenMath |
Standard | OMDoc 1.2 |
OMDoc (Open Mathematical Documents) is asemantic markup format formathematical documents. WhileMathML only covers mathematical formulae and the relatedOpenMath standard only supports formulae and “content dictionaries” containing definitions of the symbols used in formulae, OMDoc covers the whole range of written mathematics.
OMDoc allows for mathematical expressions on three levels:
On each level, formal syntax and informal natural language can be used, depending on the application.
OMDoc is a semantic markup language that allows writing down themeaning of texts about mathematics. In contrast toLaTeX, for example, it is not primarily presentation-oriented. An OMDoc document need not specify what its contents should look like. A conversion to LaTeX andXHTML (with PresentationMathML for the formulae) is possible, though. To this end, the presentation of each symbol can be defined.
Today, OMDoc is used in the following settings:
OMDoc has been developed by the German mathematician and computer scientistMichael Kohlhase since 1998. So far, there have been the following releases:
It is planned to create the infrastructure for a “semantic web for technology and science” based on OMDoc. To this end, OMDoc is being extended towards sciences other than mathematics. The first result isPhysML, an OMDoc variant extended towardsphysics.
For a better integration with other Semantic Web applications, anOWL ontology of OMDoc is under development, as well as an export facility toRDF.