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

user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231495884 AND uid = 0 in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT DISTINCT u.uid, u.name, s.timestamp FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.timestamp >= 1231495884 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.

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 human-readable presentation. The semantic wiki SWiM oﬀers 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 beneﬁt gained from making semantics explicit, we show
how SWiM supports the collaborative editing of deﬁnitions of mathematical symbols and their visual appearance.

Publication_details:

Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel: 3rd Workshop on Semantic Wikis, European Semantic Web Conference 2008

Author(s):

Christoph Lange

Nature:

Conference paper

Date:

2008/06/02

URL:

http://kwarc.info/projects/swim/pubs/semwiki08-notation-semantics.pdf

Partner_node:

Jacobs University