Processing and Publishing Content Math with JOMDoc and JOBAD

1,134 views

Published on

Content Math Training Camp 2010

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

  • Be the first to like this

No Downloads
Views
Total views
1,134
On SlideShare
0
From Embeds
0
Number of Embeds
3
Actions
Shares
0
Downloads
2
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Processing and Publishing Content Math with JOMDoc and JOBAD

  1. 1. Processing and Publishing Content Math with JOMDoc and JOBAD Content Math Training Camp 2010 Christoph Lange Jacobs University, Bremen, Germany KWARC – Knowledge Adaptation and Reasoning for Content July 07, 2010 Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBAD July 07, 2010 1/14
  2. 2. JOMDoc – Java API (not only) for OMDoc http://jomdoc.omdoc.org (maintainer: Vyacheslav Zholudev) – a library of 300+ Java classes featuring . . . Java object model (one class per XML element) for OMDoc (and MathML and OpenMath for formulæ), plus many other services: Schema validation Renderer: OpenMath/Content MathML → Presentation MathML (pattern-matching XML notation definitions), context-sensitive Rest of OMDoc → XHTML+RDFa (XSLT) Document restructuring: e. g. flattening/modularizing documents Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBAD July 07, 2010 2/14
  3. 3. How to use JOMDoc Download or check out from http://jomdoc.omdoc.org Binary distribution JAR file ready for inclusion into Java projects executable shell script for validation, rendering, document restructuring GUI frontend for rendering Source code (Eclipse-ready) Contribute: Trac project management site, mailing list Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBAD July 07, 2010 3/14
  4. 4. JOMDoc’s Notation Definitions <notation> <prototype> <!-- the content markup pattern --> <om:OMA> <om:OMS cd="arith1" name="divide"/> <expr name="arg1"/> <expr name="arg2"/> </om:OMA> </prototype> <rendering> <!-- the presentation markup fragment --> <m:mfrac> <render name="arg1"/> <render name="arg2"/> </m:mfrac> </rendering> </notation> render(a) render(divide(a, b)) render(b) Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBAD July 07, 2010 4/14
  5. 5. Applications using JOMDoc TNTBase (→ other talk): versioned XML database with special services for OMDoc SWiM (semantic wiki powering http://wiki.openmath.org) Urs Holzer’s Gemse (MathML editor): Content MathML → Presentation MathML preview Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBAD July 07, 2010 5/14
  6. 6. JOBAD – Interactive Documents Now we can render OMDoc documents – let’s make them interactive! On-demand adaptation to the user’s presentation preferences (e. g. brackets, notation) On-demand information lookup without leaving the document JOBAD, the JavaScript API for OMDoc-based Interactive Documents http://jomdoc.omdoc.org/wiki/JOBAD (maintainer: Christoph Lange) Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBAD July 07, 2010 6/14
  7. 7. JOBAD Architecture integrated backend external services or data (MMT: logics; TNTBase: lecture notes; …) ext. repositories initially Wolfram|Alpha ontology/ notation generates Web definitions collection other CAS Services unit converter proxy renderer linked data … others … menu layers folding/ computation/ definition mouse keybd visibility rewriting lookup Client Modules action GUI objects Services Document XHTML+MathML+OpenMath, JavaScript (dashed lines denote old services being ported or new services being developed) Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBAD July 07, 2010 7/14
  8. 8. JOBAD – Customizing Display Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBAD July 07, 2010 8/14
  9. 9. JOBAD – Looking up Information (1) Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBAD July 07, 2010 9/14
  10. 10. JOBAD – Looking up Information (2) Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBAD July 07, 2010 10/14
  11. 11. JOBAD – Rewriting the Document (Unit Conversion) Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBAD July 07, 2010 11/14
  12. 12. JOBAD – Local Discussion Forums Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBAD July 07, 2010 12/14
  13. 13. TNTBase + JOMDoc + JOBAD Integrated (JOMDoc rendering XHTML+MathML+RDFa, JOBAD providing definition lookup and semantic navigation) Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBAD July 07, 2010 13/14
  14. 14. Conclusion JOMDoc: Java API and command line for validating, rendering, transforming, etc. OMDoc and other Content Math – http://jomdoc.omdoc.org JOBAD: JavaScript-based architecture for integrating services into interactive documents – http://jomdoc.omdoc.org/wiki/JOBAD Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBAD July 07, 2010 14/14

×