World Library  
Flag as Inappropriate
Email this Article


Article Id: WHEBN0008563981
Reproduction Date:

Title: OMDoc  
Author: World Heritage Encyclopedia
Language: English
Subject: Mathematical knowledge management, Semantic Web, Markup languages, MathML, FHTML
Collection: Markup Languages, Mathematical Markup Languages, Semantic Web, Xml-Based Standards
Publisher: World Heritage Encyclopedia


Open Mathematical Documents
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 a semantic markup format for mathematical documents. While MathML only covers mathematical formulae and the related OpenMath standard only supports formulae and “content dictionaries” containing definitions of the symbols used in formulae, OMDoc covers the whole range of written mathematics.


  • Coverage 1
  • Semantics and Presentation 2
  • Applications 3
  • History 4
  • Future Developments 5
  • References 6
  • See also 7
  • External links 8


OMDoc allows for mathematical expressions on three levels:

Object level
formulae, written in Content MathML (the non-presentational subset of MathML), OpenMath or languages for mathematical logic.
Statement level
definitions, theorems, proofs, examples and the relations between them (e.g. “this proof proves that theorem”).
Theory level
A theory is a set of contextually related statements. Theories may import each other, thereby forming a graph. Seen as collections of symbol definitions, OMDoc theories are compatible to OpenMath content dictionaries.

On each level, formal syntax and informal natural language can be used, depending on the application.

Semantics and Presentation

OMDoc is a semantic markup language that allows to write down the meaning of texts about mathematics. In contrast to LaTeX, for example, it is not primarily presentation-oriented. An OMDoc document need not specify what its contents should look like. A conversion to LaTeX and XHTML (with Presentation MathML 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:

creation of customized textbooks
Data exchange
OMDoc import and export modules are available for many automated theorem provers and computer algebra systems. OMDoc is intended to be used for communication between mathematical web services.
Document preparation
Documents about mathematics can be prepared in OMDoc and later exported to a presentation-oriented format like LaTeX or XHTML+MathML.


OMDoc has been developed by the German mathematician and computer scientist Michael Kohlhase since 1998. So far, there have been the following releases:

  • 1.0 (November 2000)
  • 1.1 (December 2001)
  • 1.2 (July 2006)

Future Developments

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 is PhysML, an OMDoc variant extended towards physics.

For a better integration with other Semantic Web applications, an OWL ontology of OMDoc is under development, as well as an export facility to RDF.


See also

External links

  • Homepage
  • Wiki for OMDoc and related projects
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from World Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.