SWiM – A Semantic Wiki for Mathematical Knowledge Management

  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231487532 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 >= 1231487532 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.

In this chapter, we present the SWiM system, a prototype semantic wiki for collaboratively building,
editing, and browsing mathematical knowledge. SWiM is based on the semantic wiki IkeWiki, but re-
places the wiki text with OMDOc, a markup format and ontology language for mathematical documents
as the underlying knowledge representation format. Our long-term objective is to evolve SWiM into an
integrated platform for ontology-based added-value services. As a social semantic work environment, it
will facilitate the creation of a shared, public collection of mathematical knowledge (e.g., for education)
and serve scientists as a tool for collaborative development of new theories. We discuss the architec-
ture of the SWiM system focusing on its conceptual base, the OMDOc system ontology. In contrast to
other semantic wikis, SWiM uses the system ontology to operationalize the fragments and relations of
the underlying representation format, not only the domain ontology, that is, the relations between the
represented objects themselves. We will present the prototype implementation of the SWiM system and
propose its further evolution into a service platform for science and technology.

Publication_details: 
Jörg Rech, Björn Decker, Eric Ras (editors): Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications. IGI, 2008
Author(s): 
Christoph Lange, Michael Kohlhase
Nature: 
Other
Date: 
2008/06/01
Partner_node: 
Jacobs University