OMDoc

From semanticweb.org.edu
Jump to: navigation, search

OMDoc is a markup format based on XML for mathematical knowledge representation with numerous applications: creation of customized modules for e-learning, data exchange between different theorem provers, web services, and more. It has been invented by Michael Kohlhase. OMDoc can be used as an ontology language for mathemat.css: It allows for modeling an ontology of mathemat.css by formally modeling statements about mathematical concepts.

http://www.omdoc.org