Jem-related work of the KWARC research group at the Jacobs University Bremen

OMDoc, a Semantic Markup Language

Publishing of version 1.2 of the Open Mathematical Documents specification (OMDoc), an open markup language for mathematical Documents. Further information on OMDoc can be found at the JEM website. In addition, we are currently setting up a website with information on OMDoc. Moreover, being concerned with attracting more potential users of OMDoc, we also created introductory articles on that topic both in the English and in the German Wikipedia.

sTEX: Semantically Enhanced TEX

In the sTEX project we investigate how we can use the macro language of TEX to make it into an MKM format by supplying specialized macro packages, which will enable the author to add semantic information to the document in a way that does not change the visual appearance. We speak of semantic pre-loading for this process and call our collection of macro packages (Semantic TEX). Thus, sTEX can serve as a conceptual interface between the document author and MKM systems: Technically, the semantically pre-loaded LATEX documents are transformed into the (usually XML-based) MKM representation formats, but conceptually, the ability to semantically annotate the source document is sufficient. Please find additional information at the sTEX project website at as well as on the JEM websites.

SWiM: a Semantic Wiki

Another contribution to the use of semantic mark-up for e-learning is the development of the first version of SWiM, a semantic wiki for collectively authoring mathematical. Please find additional information on SwiM on the JEM website or at the KWARC homepage

locutor: Management of Change of Mathematical Documents

The locutor system aims at providing a management of change functionality for arbitrary XML documents ranging from informal, e.g. instruction or construction manuals, to formal documents, e.g. programs or specifications. Providing a user-friendly management of change application supports authors in the collaborative and consistent development of educational document. Furthermore, it facilitates the reusability of educational content. Please find further information on locutor on the JEM website or at the KWARC homepage