From MathWeb

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.

Supported formats

The following formats are currently supported; others can be added easily:

• Input:
  • OMDoc
  • OpenMath Content Dictionaries
  • RDFa
  • OMDoc interpreted as OWL
  • Microformats: hCalendar (experimental)
• Output:
  • RXR
  • Turtle
  • RDF/XML
  • Java callback

Resources

• homepage
• Subversion URL (for developers)
• Trac URL (bug tracker)
• Mailing list: mailto:project-krextor@jacobs-university.de (homepage)