Mathematical Semantic Web with Krextor

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