OMDoc.org: The OMDoc Portal
OMDoc is a markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge.
OMDoc.org serves as a community portal for the OMDoc community and as a clearinghouse for information about OMDoc-based projects and extensions to other sciences.
OpenMath Content Dictionary Wiki
Our semantic wiki SWiM is now being used as a browser and editor for the official OpenMath Content Dictionaries.
Release: JOMDoc v0.1.1
The first version of JOMDoc, our Java API for OMDoc documents, has been released!
Krextor: KWARC RDF extractor
Krextor is an extensible XSLT-based framework for extracting RDF from XML, supporting multiple input languages (including OMDoc) as well as multiple output RDF notations.
Call for Module Maintainers
We will restart development on the OMDoc format with the goal of reaching Version
2.0. To make the format more modular, speed up the development process and share
the burden, we will have module maintainers who drive the development process in
close cooperation with the OMDoc project leader.
Please nominate yourself or others by e-mail to m.kohlhase at
jacobs-university dot de or directly to the OMDoc mailing list.
Web Site reorganization
We have reorganized the web site to better reflect the division of the OMDoc format and the omdoc.org community portal. Please report any problems and inconsistencies to m.kohlhase at jacobs-university dot de