View source for OMDoc

{{Infobox file format
| name = Open Mathematical Documents
| icon =
| logo =
| screenshot = 
| extension = .omdoc
| mime = application/omdoc+xml
| type code =
| uniform type = 
| magic =
| owner = [[Biography:Michael Kohlhase|Michael Kohlhase]]
| genre = [[Markup language]]
| container for = [[MathML]], [[OpenMath]]
| contained by =
| extended from = [[OpenMath]]
| extended to = 
| standard = [http://omdoc.org/pubs/omdoc1.2.pdf OMDoc 1.2]
}}

'''OMDoc''' (Open Mathematical Documents) is a [[Philosophy:Semantics|semantic]] markup format for [[Mathematics|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 ==
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|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 writing down the ''meaning'' of texts about mathematics. In contrast to [[Software:LaTeX|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.

== Applications ==
Today, OMDoc is used in the following settings:

;E-learning:Creation of customized textbooks.
;Data exchange:OMDoc import and export modules are available for many [[Automated theorem proving|automated theorem provers]] and [[Software:Computer algebra system|computer algebra system]]s. 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.

== History ==
OMDoc has been developed by the German mathematician and computer scientist [[Biography:Michael Kohlhase|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:Physics|physics]].

For a better integration with other Semantic Web applications, an [[Web Ontology Language|OWL]] ontology of OMDoc is under development, as well as an export facility to [[Resource Description Framework|RDF]].

==See also==
* [[Mathematical knowledge management]]

== References ==
* Michael Kohlhase (2006): ''[http://www.mathweb.org/omdoc/pubs/omdoc1.2.pdf An Open Markup Format for Mathematical Documents (Version 1.2)]''. [[Lecture Notes in Computer Science|Lecture Notes in Artificial Intelligence]], no. 4180. Springer Verlag, Heidelberg. {{isbn|3-540-37897-9}}.

==External links==
* [http://www.mathweb.org/wiki/OMDoc Wiki for OMDoc and related projects]

{{Document markup languages}}

[[Category:Markup languages]]
[[Category:Mathematical markup languages]]
[[Category:Semantic Web]]
[[Category:XML-based standards]]

{{Sourceattribution|OMDoc}}