Easily Editing and Browsing Complex OpenMath Markup with SWiM
Abstract:
We present how the mathematical semantic wiki SWiM has been enhanced
towards support for editing content dictionaries (CDs) in the semantic markup
language OpenMath. The ongoing revision of the OpenMath CDs for the
3rd version of the standard has motivated several enhancements to the SWiM
user interface: a structural editor for CDs and their most common elements,
particularly addressing notation definitions for symbols, the integration of
a visual OpenMath formula editor, and a form-based editor for metadata.
We show how OpenMath CDs imported from the filesystem or a Subversion
repository are split into handy fragments that are convenient to edit and
navigate, and reassembled on export.