openmath

Version imprimable
  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231492937 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 >= 1231492937 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.

Revising the OpenMath 3 Content Dictionaries with SWiM

Soumis par Lange, Christoph le 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

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)

Reference: 
Easily editing and browsing complex OpenMath markup with SWiM
Partner institution: 
Jacobs University