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.
Publication_details:
3rd JEM Workshop, 31 Jan.-1 Feb. 2008, Barcelona SpainΤύπος:
Slide presentationΗμερομηνία:
2008/02/01URL:
SlidesPartner_node:
Jacobs University- Εκτυπώσιμη μορφή
- 1590 εμφανίσεις

