Revising the OpenMath 3 Content Dictionaries with SWiM

user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231497887 AND uid = 0 in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT DISTINCT u.uid, u.name, s.timestamp FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.timestamp >= 1231497887 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.

Inserito da Lange, Christoph il Mer, 2008/10/29 - 19:24

The semantic wiki SWiM is now being used for the revision of the OpenMath 3 Content Dictionaries. The wiki at wiki.openmath.org contains the latest draft versions of these content dictionaries. Anybody can browse and discuss. The OpenMath 3 developers can also edit. This paper explains how the system works.

The purpose of this case study is twofold:

supporting the OpenMath developers with a tool that is more advanced than accessing the OpenMath Subversion repository with a text or XML editor
evaluating how well SWiM helps the OpenMath developers to get common tasks done: revising symbol and notation definitions, updating metadata of content dictionaries and symbol definitions, discussing about improvements of the content dictionaries, keeping track of what has been done to what part of a content dictionary, by whom, and why.

Challenges:

capturing the workflows of OpenMath content dictionary editing and supporting them
motivating the OpenMath developers to actually use the wiki interface by pointing out the benefits
seamless and lossless data exchange between the wiki and the Subversion repository

Successes:

So far: