Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion

Towards a Wiki for Interactive EducationalMathematics

6th JEMWorkshop @ ICWL 2009

Christoph Lange

Jacobs University, Bremen, Germany

KWARC – Knowledge Adaptation and Reasoning for ContentThis work was supported by JEM-Thematic-Network ECP-038208.

August 21, 2009

Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 1/13

Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion

The Vision

browse

discuss edit

Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 2/13

Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion

Building Block: SWiM Semantic Wiki

base infrastructurepermission management

traditional wiki: all users equalhere maybe: student ≠ teacher browse

discuss edit

Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 3/13

Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion

Building Block: JOBAD (Web Services inInteractive Documents)

browse

discuss edit

understand

access web services

Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 4/13

Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion

SWiM – A Semantic Wiki for Mathematics

http://wiki.openmath.orgSpecial focus on OpenMath Content Dictionary Maintenance, butgeneralisableCh. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 5/13

Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion

SWiM: Minor Fixes (1)

One OpenMath CD is one filein a Subversion repository, butwhat you actually fix is, e. g., atypo in the description of asymbol.

Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 6/13

Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion

SWiM: Minor Fixes (2)

$ svn log transc1.ocd...r1234 | clange | 2009-05-11 13:06:41 +0200(Mon, 11 May 2009) | 2 lines[Administrator@SWiM] replaced metadatafield dc:descriptionActually changed fragment cd:transc1+sin

SWiM as a Subversion frontend enables fine-grained maintenance.

Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 7/13

Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion

SWiM: Discuss RevisionsLocal discussion forums per wiki page (CD, symbol, etc.)

Posts classified w. r. t. argumentation ontology⇒ enablesproblem-solving assistanceOngoing survey: http://tinyurl.com/5qdetdCh. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 8/13

Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion

SWiM: Edit and Verify Notations

Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 9/13

Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion

JOBAD: Definition Lookup Service

http://jomdoc.omdoc.org/wiki/AI-MashupLecture Notes with interactive lookup of symbol definitions

Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 10/13

Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion

JOBAD: Architecture

integrated backend or independent web services

XHTML+MathML+OpenMath, JavaScript

GUI

menu

mouse

actionobjects Services

foldinglayers

keybddefinitionlookup

notationselection

elision unitconversion

unitconverter

contentdictionaries

notationcollection

renderer

initially generates

Document

Client Modules

Web Services

proxy

Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 11/13

Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion

Roadmap

1 Basics: put JavaScript and a backend together – done withTNTBase backend

2 Offer services that we have: definition lookup; later: notationswitching

3 Integrate 3rd party services: unit conversion; later: CAS,MathDox, ActiveMath services

4 Outreach to the web: links to related resources, e. g. onWikipedia

5 Most frequently requested: save adaptations – simply storecurrent state; later: user modelling

6 Not just formulæ: visualised rhetorical structures, interactiveproof exploration

Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 12/13

Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion

Conclusion

browse

discuss edit

interact with web services

Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 13/13