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.

Subject Attribution: current
Subject Granularity: document (some annotations, such as Dublin Core, can be more fine-grained, but SWiM doesn't use them)
Representation destinction: false
Terminology reuse: true
Object type: page
Context: true (for OMDoc elements, as they can have Dublin Core metadata)
Import of Instances: false (to be done; import of OMDoc, not of RDF)
Import of Ontologies: true (as in IkeWiki, but only intended for developers, as OMDoc's system ontology is static)
Export: false (to be done; export to RDF and to OMDoc)
Editing: XML (so far...)