SWiM

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


 * See also:
 * publications
 * Demo: DemoURL:=http://swim.kwarc.info (see also the OpenMath wiki, a more realistic installation of SWiM)

Releases: Past and Future
While the latest proper release is quite old, work has been going on, mainly focusing on bugfixes. Please check out the sources or contact the developer for the latest version.

In future it is planned to port the mathematical extensions to IkeWiki's successor KiWi.

SemWiki@ESWC2006 presentation (old)
This work has first been presented at SemWiki2006 as a demo and a poster. Here is the paper, written by Christoph Lange and Michael Kohlhase. See also the project's homepage.

Features

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