Upload
christoph-lange
View
633
Download
1
Tags:
Embed Size (px)
DESCRIPTION
3rd JEM Workshop (Joining Educational Mathematics), 2008
Citation preview
Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM
Editing OpenMath Content Dictionaries with SWiM3rd JEM Workshop, 2008
Christoph Lange
Jacobs University, Bremen, Germany(formerly International University Bremen)
KWARC – Knowledge Adaptation and Reasoning for ContentThis 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
Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM
Setting
OpenMath 3 Standard in developmentContent 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
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 browserThe ugly way: Emacs with nxml-mode, run make, open browser (Michael
Kohlhase’s favorite ,)The wiki way: interactive editing right in the browser ⇒ instant feedbackSimilar comparison for collaboration: E-mail, shared repository, wiki
Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 3
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"/><OMI>2</OMI><OMV name="x"/>
</OMA>
Possible renderings:2 · x , 2× x , or 2x(defined in arith1.ntn)
Typical workflow:Change/fix/improve/enhance the notation definition (ND) for asymbolCheck 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
Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM
SWiM
SWiM is a semantic wiki for collaboratively . . .buildingeditingbrowsing
. . . 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
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
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, documentsSWiM’s goals
collaborative editor for mathematical documentsuser interface to mathematical services
Small chunks of OMDoc (e. g. one theorem) put on wiki pages,densely linkedSymbols and their notation defined in the wiki itself (i. e. ContentDictionaries are wiki pages!)
Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 7
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
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
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
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
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
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
Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM
Editing OpenMath CDs in SWiM
SWiMDatabase
“working copy”
BrowserOpenMath
SubversionRepository
updatelock
unlockcommit
load
store
1. Edit
2. Save
SWiM needs its own database, but we still support the “ugly” way ofediting (it’s not that ugly after all ,)Future: wiki with full Subversion backend, mathematical databaseOMBase [Zholudev08]
Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 14
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 toimplementConnection to a local XML editor possible (cf. MediaWiki)More?
My to-do list:Enhance semantic browsing (currently for OMDoc statement level) toCDs and notation definitionsImprove the wiki experience: break CDs into smaller pieces, e. g. onewiki 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
Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM
Outlook
SWiM supports the basic wiki features for mathematical documentsSemantic services operate on structures extracted from thesedocuments
SWiM+
1
¿∫
−∞
ze−12?2
d ?
1.----------------2.----------------
<xml> ...</xml>
ChangeManagement
Publishing
Search
LearningAssistance
pythagoraspartial-diff-eqnproton
Proof for …
Easy Editing
Ch. Lange (Jacobs University Bremen) Editing OpenMath Content Dictionaries with SWiM February 1, 2008 16
Use Case: CD and Notation Editing SWiM and OMDoc OpenMath CDs in SWiM
References
Sebastian Schaffert: IkeWiki – A semantic wiki for collaborativeknowledge management. Salzburg Research Forschungsgesellschaft,2006.Michael Kohlhase: OMDoc – An open markup format formathematical 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