SWiM

SWiM, the Semantic Wiki for Mathematical Knowledge Management, currently in a prototype stage and being implemented by Christoph Lange at Jacobs University Bremen, is coded in Java and XSLT as a fork of IkeWiki. Its pages are stored in OMDoc or OpenMath, both semantic mathematical markup languages. For reasoning and querying, the Krextor RDF extractor is used to extract RDF from that markup.

[edit] SemWiki@ESWC2006 presentation

This work has first been presented at SemWiki2006 as a demo and a poster [1]. Here is the paper, written by Christoph Lange and Michael Kohlhase. See also the project's homepage.

Editing: WYSIWYG
Annotation mechanism: manual,assisted
Subject Attribution: current
Subject Granularity: document, section, phrase (annotations can be more fine-grained, but only document-level annotation is used for navigation)
Representation destinction: false
Terminology reuse: true
Object type: any
Context: true (for OMDoc elements, as they can have metadata)
Import of Instances: true
Import of Ontologies: true (as in IkeWiki, but only intended for developers, as OMDoc's system ontology is static)
Export: true