Semantics and Services for the WDML

Moderator: Michael Kohlhase

Mathematical knowledge is rich in content, sophisticated in structure, and technical in presentation. The carriers of this knowledge: mathematical documents are at the same time precision tools optimized for the efficient communication among specialists who share a common knowledge context and at the same time formidable obstacles to be overcome to build up just this shared context which is a prerequisite for understanding. One possible answer to this dilemma is to add machine-actionable annotations to documents (semantic annotations) and embed semantic services into documents that help non-expert readers overcome these difficulties (active documents).

In this breakout session we will explore how digitization efforts can be complemented by a semantization effort that makes the WDMS semantically accessible and turns mathematical documents into active documents.