openmath

Versión para impresión

Revising the OpenMath 3 Content Dictionaries with SWiM

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

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:

  1. all OpenMath CDs editable in the wiki
  2. OpenMath developers started to adopt the discussion and argumentation features

Lessons learned: 

(in progress)

Partner institution: