Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations

Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machine-processable and thus allows for a multitude of useful applications. But as it is hard to read and write for humans, an editor needs to understand its inherent semantics and allow for a humanreadable presentation. The semantic wiki SWiM offers this support for the OpenMath markup language. Using OpenMath as an example, we present a way of integrating a semantic markup language into a semantic wiki using a document ontology and extracting RDF triples from XML markup. As a benefit gained from making semantics explicit, we show how SWiM supports the collaborative editing of definitions of mathematical symbols and their visual appearance. 1 Making Mathematical Wikis More Semantic What does a wiki need in order to support mathematics in a semantic way? First, there needs to be a way to edit mathematical formul

• Type: Conference
• Year: 2008
• Where: SEMWIKI
• Authors: Christoph Lange 0002
• Keywords: Data Mining, Mathematical, Semantic Markup, Semantics, SEMWIKI 2008