6th JEM Workshop (Joining Educational Mathematics), ICWL 2009, Aachen, Germany

1. Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion
Towards a Wiki for Interactive Educational
Mathematics
6th JEM Workshop @ ICWL 2009
Christoph Lange
Jacobs University, Bremen, Germany
KWARC – Knowledge Adaptation and Reasoning for Content
This 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

2. 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

3. Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion
Building Block: SWiM Semantic Wiki
base infrastructure
permission management
traditional wiki: all users equal
browse
here maybe: student ≠ teacher
discuss edit
Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 3/13

4. Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion
Building Block: JOBAD (Web Services in
Interactive Documents)
understand
access web services
browse
discuss edit
Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 4/13

5. Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion
SWiM – A Semantic Wiki for Mathematics
http://wiki.openmath.org
Special focus on OpenMath Content Dictionary Maintenance, but
generalisable
Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 5/13

6. Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion
SWiM: Minor Fixes (1)
One OpenMath CD is one file
in a Subversion repository, but
what you actually fix is, e. g., a
typo in the description of a
symbol.
Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 6/13

7. 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 metadata
field dc:description
Actually 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

8. Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion
SWiM: Discuss Revisions
Local discussion forums per wiki page (CD, symbol, etc.)
Posts classified w. r. t. argumentation ontology ⇒ enables
problem-solving assistance
Ongoing survey: http://tinyurl.com/5qdetd
Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 8/13

9. 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

10. Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion
JOBAD: Definition Lookup Service
http://jomdoc.omdoc.org/wiki/AI-Mashup
Lecture Notes with interactive lookup of symbol definitions
Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 10/13

11. Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion
JOBAD: Architecture
integrated backend or independent web services
unit content notation
converter dictionaries collection
Web Services
proxy renderer
menu layers elision folding unit definition notation initially
mouse keybd conversion lookup selection generates
Client Modules
action
GUI objects Services
Document XHTML+MathML+OpenMath, JavaScript
Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 11/13

12. Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion
Roadmap
1 Basics: put JavaScript and a backend together – done with
TNTBase backend
2 Offer services that we have: definition lookup; later: notation
switching
3 Integrate 3rd party services: unit conversion; later: CAS,
MathDox, ActiveMath services
4 Outreach to the web: links to related resources, e. g. on
Wikipedia
5 Most frequently requested: save adaptations – simply store
current state; later: user modelling
6 Not just formulæ: visualised rhetorical structures, interactive
proof exploration
Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 12/13

13. Vision SWiM Semantic Wiki JOBAD Interactive Docs Roadmap Conclusion
Conclusion
interact with
web services
browse
discuss edit
Ch. Lange (Jacobs University) Towards a Wiki for Interactive Educational Mathematics August 21, 2009 13/13