Lightning talk given at the Semantic Wiki Meeting at the International Semantic Web Conference. This is a very short and general summary of research that I have been doing for some time.

One important part of the feedback that I got was: Maybe people don't actually mind clicking one out of five reply buttons. Don't overrate automatic annotation: it's not too trivial after all.

SWiM is a semantic wiki for mathematical knowledge management. It natively supports OpenMath and OMDoc format and makes documents in these formats editable, browsable, and reusable on the semantic web. I am currently enhancing SWiM by capabilities for editing and debugging OpenMath content dictionaries. For example, one can define the notation of a symbol and immediately check whether one has got it right by viewing a sample document using that symbol.

Lightning talk presenting the idea of using an argumentation ontology to make the structure of a wiki discussion about a (mathematical) knowledge item more explicit; this technology is used in SWiM.

Slides of http://www.jem-thematic.net/en/node/840

We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical
knowledge machine-processable and thus allows for a multitude of useful
applications. But as it is hard to read and write for humans, an editor needs to understand its inherent semantics and allow for a human-readable presentation. The semantic wiki SWiM offers this support for
the OpenMath markup language. Using OpenMath as an example, we
present a way of integrating a semantic markup language into a semantic

Poster for http://www.jem-thematic.net/en/node/835

Slides for http://www.jem-thematic.net/en/node/835

SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domain-specific structural semantic markup language OMDoc. It motivates users to contribute to collections of mathematical knowledge by instantly sharing the benefits of knowledge-powered services with them. SWiM is currently being used for authoring content dictionaries, i. e. collections of uniquely identified mathematical symbols, and prepared for managing a large-scale proof formalisation effort.

Das semantische Wiki SWiM (M = Mathematik) wurde entwickelt, um mathematisches Wissen in einer kollaborativen Umgebung zu verwalten und nutzbar zu machen. Vom Grundprinzip her ähnlich aufgebaut wie die MediaWiki-Software der Wikipedia, möchte es mehr von dem in seiner Datenbank enthaltenen Wissen verstehen, um den Anwendern spezifische Dienste anbieten zu können: Dienste, mit denen Arbeitsgruppen von Wissenschaftlern neue mathematische Theorien entwickeln können, aber auch Dienste, mit denen Schüler und Studenten Mathematik lernen können.

There are many collaborative work environments for scientific knowledge (e.g. Wikipedia, PlanetMath, Connexions), but they lack semantic services and thus cannot offer sophisticated knowledge management. SWiM is trying to solve this problem by offering the advantages of both collaborative systems and knowledge management tools in an integrated system, encouraging users to contribute knowledge, and, using this knowledge, improving services for users. Services are planned for easier editing, learning assistance, change management, scientific publishing, and more.