Krextor is the KWARC RDF Extractor. It is an extensible XSLT-based framework for extracting RDF from XML, supporting multiple input languages as well as multiple output RDF notations. Krextor provides convenience templates that try to do “the right thing”™ in many common cases, as to reduce the need for manually writing repetitive code.

Krextor comes with extraction modules for OMDoc and OpenMath content dictionaries.

The extracted RDF graph will in most cases be an outline of the semantic