Editing OpenMath Content Dictionaries with SWiM

744 views

Published on

3rd JEM Workshop (Joining Educational Mathematics), 2008

Published in: Technology, Business
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
744
On SlideShare
0
From Embeds
0
Number of Embeds
2
Actions
Shares
0
Downloads
8
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Editing OpenMath Content Dictionaries with SWiM

  1. 1. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM Editing OpenMath Content Dictionaries with SWiM 3rd JEM Workshop, 2008 Christoph Lange Jacobs University, Bremen, Germany (formerly International University Bremen) KWARC – Knowledge Adaptation and Reasoning for Content This work was supported by JEM-Thematic-Network ECP-038208. February 1, 2008 Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 1
  2. 2. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM Setting OpenMath 3 Standard in development Content markup format for mathematical formulæ (“objects”) One work package: revising the Content Dictionaries (CDs) Collections of related symbols, for each symbol: declaration, definition, notation, type, other metadata Here: particular focus on notations Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 2
  3. 3. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM Editing Workflows: The Good, the Bad, and the Ugly How to revise a content dictionary? The bad way: Notepad, manual transformation to XHTML+MathML, open browser The ugly way: Emacs with nxml-mode, run make, open browser (Michael Kohlhase’s favorite ) The wiki way: interactive editing right in the browser ⇒ instant feedback Similar comparison for collaboration: E-mail, shared repository, wiki Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 3
  4. 4. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM Debugging Notation Definitions Consider the symbol times in arith1.ocd: <OMA> <OMS name="times" cd="arith1"/> Possible renderings: <OMI>2</OMI> 2 · x , 2 × x , or 2x <OMV name="x"/> (defined in arith1.ntn) </OMA> Typical workflow: Change/fix/improve/enhance the notation definition (ND) for a symbol Check the appearance of a sample formula in a sample document Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 4
  5. 5. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM SWiM SWiM is a semantic wiki for collaboratively . . . building editing browsing . . . mathematical knowledge represented in OMDoc [Kohlhase06]. Target audience: mathematicians developing new theories (or CDs) scholars learning mathematics (not in this talk) Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 5
  6. 6. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM The SWiM Prototype SWiM prototype: IkeWiki [Schaffert06] with OMDoc (http://kwarc.info/projects/swim/) editing, presentation, navigation; future work: semantic services Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 6
  7. 7. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM Editing, Presenting, and Browsing OMDoc The native format of SWiM is OMDoc [Kohlhase06] OMDoc: superset of OpenMath, adding mathematical statements, theories, documents SWiM’s goals collaborative editor for mathematical documents user interface to mathematical services Small chunks of OMDoc (e. g. one theorem) put on wiki pages, densely linked Symbols and their notation defined in the wiki itself (i. e. Content Dictionaries are wiki pages!) Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 7
  8. 8. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM Demo: Wiki front page Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 8
  9. 9. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM Demo: A mathematical document Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 9
  10. 10. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM Demo: Editing formulae Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 10
  11. 11. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM Demo: Editing XML Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 11
  12. 12. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM Demo: Small wiki pages Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 12
  13. 13. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM Demo: Creating small pages Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 13
  14. 14. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM Editing OpenMath CDs in SWiM 1. Edit update load lock SWiM OpenMath Browser Database Subversion store unlock Repository “working copy” commit 2. Save SWiM needs its own database, but we still support the “ugly” way of editing (it’s not that ugly after all ) Future: wiki with full Subversion backend, mathematical database OMBase [Zholudev08] Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 14
  15. 15. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM How would you like it? Your wish list: Native OCD support instead of OMDoc conversion would be easy to implement Connection to a local XML editor possible (cf. MediaWiki) More? My to-do list: Enhance semantic browsing (currently for OMDoc statement level) to CDs and notation definitions Improve the wiki experience: break CDs into smaller pieces, e. g. one wiki page per symbol Don’t worry, doing make arith1.ocd is easy Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 15
  16. 16. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM Outlook SWiM supports the basic wiki features for mathematical documents Semantic services operate on structures extracted from these documents Easy Editing Search Proof for … 1 1 z −2 ? 2 pythagoras ∫ e d? partial-diff-eqn  ¿ −∞ proton 1.------- --------- 2.------- --------- SWiM+ Publishing Learning Assistance Change Management <xml> ... </xml> Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 16
  17. 17. Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM References Sebastian Schaffert: IkeWiki – A semantic wiki for collaborative knowledge management. Salzburg Research Forschungsgesellschaft, 2006. Michael Kohlhase: OMDoc – An open markup format for mathematical documents (Version 1.2). LNAI 4180, Springer, 2006. Vyacheslav Zholudev: Towards a distributed database for OMDoc. 3rd JEM Workshop, 2008. Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 17

×