Two tools addressing different aspects of educational mathematical documents have been developed in our research group and presented to the JEM community at previous occasions: SWiM is a semantic wiki for collaborating on such documents, and JOBAD is a framework that allows for reading documents interactively. In this paper, we outline a vision of an integrated educational environment for interactive learning and collaboration. Starting from an overview of the current state of both SWiM and JOBAD, we show how the vision can be achieved by integrating both systems.

Active mathematical documents are distinguished from traditional paper-oriented ones by their ability to interactively adapt to a reader's inputs. This includes changes in the presentation of the content of the document as well as changes of that content itself. We have developed the JOBAD architecture, a client/server infrastructure for active mathematical documents. A server-side module generates active documents, which a client-side JavaScript library makes accessible for user interaction.

At http://wiki.openmath.org, the OpenMath 2 and 3 Content Dictionaries are accessible via a semantic wiki interface, powered by the SWiM system (http://www.jem-thematic.net/de/node/316). We shortly introduce the inner workings of the system, then describe how to use it, and conclude with first experiences gained from OpenMath society members working with the system (cf. http://www.jem-thematic.net/en/node/1192) and an outlook to further development plans.

The ontology languages RDFS and OWL lack practical documentation support. We present the mathematical markup language OMDoc as a tool for documenting Semantic Web ontologies.

The semantic web ontology languages RDFS and OWL are
widely used but limited in both their expressivity and their support for
modularity and integrated documentation. Expressivity, modularity, and
documentation of formal knowledge have always been important issues
in the MKM community. Therefore, we try to improve these ontology
languages by well-tried MKM techniques.

Concretely, we propose embedding the language concepts into OMDoc
to make use of its modularity and documentation infrastructure. We show
how OMDoc can be made compatible with semantic web ontology lan-

The semantics of a XML-based language can be specified by
mapping an XML schema to an ontology, thus enabling the wide range
of XML applications to contribute to the semantic web. The Krextor
XML→RDF extraction framework proposes a practical solution to this problem, novel in its extensibility.
We present its architecture and show how it can easily be extended to
support additional input and output languages.

As the semantic web ontology languages RDFS and OWL are limited in
both their expressivity and their support for modularity and documentation,
we propose the mathematical markup language OMDoc as an alternative.
We show how OMDoc can be made compatible with semantic web ontology
languages, focusing on knowledge representation, modular design, documentation, and metadata. We evaluate our technology by re-implementing the
FOAF ontology and applying it in a novel metadata framework for technical
documents (including ontologies).

SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge. The knowledge is represented in the domain-specific structural semantic markup languages OMDoc and OpenMath. SWiM aims at motivating users to contribute to collections of mathematical knowledge by instantly sharing the benefits of knowledge-powered services with them. It is currently being used for authoring OpenMath Content Dictionaries -- lightweight collections of semi-formal definitions of mathematical symbols.

Among the activities that people participate in on the Social
Web are argumentative discussions and decision making. This paper
analyzes a series of use-cases (from the perspective of social media sites)
that share the presence of such argumentative discussions and where
the structure of online discussions can be represented in SIOC. Our goal
is to externalize implicit argumentation structures hidden in the user-
generated content. For capturing it and making it explicit, we propose a
SIOC Argumentation ontology module as a formal representation.

Lightning talk given at the Semantic Wiki Meeting at the International Semantic Web Conference. This is a very short and general summary of research that I have been doing for some time.

One important part of the feedback that I got was: Maybe people don't actually mind clicking one out of five reply buttons. Don't overrate automatic annotation: it's not too trivial after all.