No equipment, time, bandwidth, or any other resource from the UniversitÃ¤t des Saarlandes or the DFKI, was used while researching, writing, or publishing these papers.
We present an exercise description language suitable for the representation of interactive exercises which involve mathematical entities, and have complex structures. One of the goals of the language is to provide primitives for support of interactive environments where adaptive presentation of steps and feedback is required. Using this scheme, exercises can be generated from static documents, in what can be seen as a layered scheme: the interactivity layer is applied over the static layer, yielding an interactive version of the content. This significantly speeds up the authoring process, makes the document management process easier, and helps in reusing the document. We believe that the information model presented in this paper, as well as the proposed way of deployment, may provide grounds for new extensions of today's standards helping to overcome some of the limitations that they currently have.
These are articles written during my work at the UniverstÃ¤t des Saarlandes and the DFKI (Deutsches Forschungszentrum fÃ¼r KÃ¼nstliche Intelligenz):
Annotating mathematical knowledge with semantics has obviously become of a major importance for systems dealing with mathematical knowledge management. We investigate various possibilities for authors to produce semantically annotated mathematics using existing general purpose editors such as OpenOffice[2] and TeXmacs[3].
We use the semantic markup language OMDoc[1] for the representation of mathematical knowledge. OMDoc is an XML language which is an extension of an OpenMath standard for representation of mathematical formulas. It classiffies the items of mathematical knowledge in deffinitions, axioms, theorems, lemmas, corollaries, proofs and other types of conceptual markup needed for building the ontology of mathematical knowledge.
Annotating mathematical documents with semantics is a tedious process, since authors have to provide an amount of additional annotations to their documents. We have been investigating different styles of authoring tools that can help authors not familiar with XML languages, since for those editing the XML document directly is a non trivial and expensive process.
We consider two different styles of WYSIWYG editors: OpenOffice which is the open source version of an advanced office program able to import and export Microsoft Office documents and TeXmacs, macro-based editor combining some features of Emacs and LaTeX. Each of these editors have their pros and cons in usability for annotating the documents with semantics and their architectural particularities impose different technical approaches and restrictions.