KWARC: Former Projects

The KWARC group has developed various added value services based on OMDoc-encoded content, including a mathematical knowledge base, a semantic search engine, management of change, a semantic wiki, mathematical web services, and invasive OMDoc editing technologies. Furthermore, the group works on the utilization of OMDoc to provide Logic Interoperability and to establish scientific Communities of Practice.

Semantization

  • The MathSearch project studies methods for information extraction and information retrieval for mathematical documents with the aim of providing semantically enhanced interaction for Zentralblatt Math and the arXiv.

  • Developing sematict search for mathematics.

Knowledge Representation & Management

  • Adding a semantic layer to MS PowerPoint.

  • In the FormalCAD project we develop a computer-supported, document-oriented process for systematic engineering design and a semantic help system for CAD systems.

  • A Java API for OMDoc documents.

  • Krextor, the ‚ÄčKWARC RDF Extractor, is an extensible XSLT-based framework for extracting RDF from XML, supporting multiple input languages as well as multiple output RDF notations. See

  • Developing sematict search for mathematics.

  • The OAF Project builds a theoretical framework for interoperability of theorem prover libraries and implements an information system that host and align multiple libraries in a joint semantic setting.

  • The SiSsI project develops methods and technologies to enhance spreadsheets semantically.

  • SWIM is a Semantic Wiki for Interactive Mathematics. The system has been superseded by the Planetary System.

  • A Distributed Versioned Storage for Mathematics

Foundations of Math (on the web)

  • The Logic Atlas and Integrator provides tools and representation formats for developing logics modularly and relating them to each other.

  • The OAF Project builds a theoretical framework for interoperability of theorem prover libraries and implements an information system that host and align multiple libraries in a joint semantic setting.