Mathematical Semantic Web with Krextor

08 Dec 2008

Krextor is now able to extract RDFa metadata and OWL ontologies from OMDoc, thus improving the integration of OMDoc with the semantic web.

OpenMath Content Dictionary Wiki

03 Sep 2008

Our semantic wiki SWiM is now being used as a browser and editor for the official OpenMath Content Dictionaries.

Release of JOMDoc v0.1.1

28 Jul 2008

The first version of JOMDoc, our Java API for OMDoc documents, has been released!

Krextor the KWARC RDF extractor

17 Jun 2008

Krextor](http://kwarc.info/projects/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

22 May 2007

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.