Results 1 
1 of
1
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 machineprocessable 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 ..."
Abstract

Cited by 9 (6 self)
 Add to MetaCart
(Show Context)
Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machineprocessable 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æ. Many wikis offer