Editing OpenMath Content Dictionaries with SWiM

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. Content dictionary files can be imported and exported from and to the local computer; a direct connection to the OpenMath Subversion repository is work in progress. The talk includes a live demo of the current state of SWiM the envisaged workflow.

Author(s): 
Christoph Lange
Publication_details: 
3rd JEM Workshop, 31 Jan.-1 Feb. 2008, Barcelona Spain
Τύπος: 
Slide presentation
Ημερομηνία: 
2008/02/01
Partner_node: 
Jacobs University