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
14
Embed
Processing and Publishing Content Math with JOMDoc and JOBAD
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Processing and Publishing Content Math withJOMDoc and JOBAD
Content Math Training Camp 2010
Christoph Lange
Jacobs University, Bremen, GermanyKWARC – Knowledge Adaptation and Reasoning for Content
July 07, 2010
Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBADJuly 07, 2010 1/14
Java object model (one class per XML element) for OMDoc (andMathML and OpenMath for formulæ), plus many other services:Schema validationRenderer: OpenMath/Content MathML→ Presentation MathML(pattern-matching XML notation definitions), context-sensitiveRest of OMDoc→ XHTML+RDFa (XSLT)Document restructuring: e. g. flattening/modularizingdocuments
Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBADJuly 07, 2010 2/14
Download or check out from http://jomdoc.omdoc.org
Binary distributionJAR file ready for inclusion into Java projectsexecutable shell script for validation, rendering, documentrestructuringGUI frontend for rendering
Source code (Eclipse-ready)Contribute: Trac project management site, mailing list
Lange (Jacobs) Processing and Publishing Content Math with JOMDoc and JOBADJuly 07, 2010 3/14
TNTBase (→ other talk): versioned XML database with specialservices for OMDocSWiM (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 JOBADJuly 07, 2010 5/14