SWiM

SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge. The knowledge is represented in the domain-specific structural semantic markup languages OMDoc and OpenMath. SWiM aims at motivating users to contribute to collections of mathematical knowledge by instantly sharing the benefits of knowledge-powered services with them. It is currently being used for authoring OpenMath Content Dictionaries -- lightweight collections of semi-formal definitions of mathematical symbols. Browsing, annotation, and argumentation about problems with knowledge artifacts are of special interest in this case study.

See an introduction to this semantic wiki technology at: ConferenceCall_2008_11_20