OMDoc
From semanticweb.org
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 mathematics: It allows for modeling an ontology of mathematics by formally modeling statements about mathematical concepts.
