Krextor: The KWARC RDF Extractor

Krextor 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 was originally conceived to extract RDF in terms of the respective document ontologies from OMDoc documents and OpenMath content dictionaries within the semantic wiki SWiM.