SWiM: A Semantic Wiki for Mathematical Knowledge Management

SWiM: A Semantic Wiki for Mathematical Knowledge Management

Christoph Lange (Jacobs University, Germany) and Michael Kohlhase (Jacobs University, Germany)
DOI: 10.4018/978-1-59904-877-2.ch004
OnDemand PDF Download:


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 replaces 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 architecture 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.

Complete Chapter List

Search this Book:
Table of Contents
Klaus-Dieter Althoff
Jörg Rech
Chapter 1
Sören Auer, Zachary G. Ives
The concepts Social Software and Web 2.0 were coined to characterize a variety of (sometimes minimalist) services on the Web, which rely on social... Sample PDF
Enabling Social Semantic Collaboration: Bridging the Gap Between Web 2.0 and the Semantic Web
Chapter 2
Thomas Franz, Sergej Sizov
The paradigm of a flexible environment that supports the user in producing, organizing, and browsing the knowledge originates in the early 1940s, a... Sample PDF
Communication Systems for Semantic Work Environments
Chapter 3
Sebastian Schaffert
This chapter describes what I believe makes Social Software attractive for the Semantic Web community, and what makes the Semantic Web attractive... Sample PDF
Semantic Social Software: Semantically Enabled Social Software or Socially Enabled Semantic Web?
Chapter 4
Christoph Lange, Michael Kohlhase
In this chapter, we present the SWiM system, a prototype semantic wiki for collaboratively building, editing, and browsing mathematical knowledge.... Sample PDF
SWiM: A Semantic Wiki for Mathematical Knowledge Management
Chapter 5
Damaris Fuentes-Lorenzo, Juan Miguel Gómez, Ángel García Crespo
This chapter deals with a semantic wiki application devoted to news publishing, Cool- WikNews. This semantic application offers the functionalities... Sample PDF
CoolWikNews: More than Meets the Eye in the 21st Century Journalism
Chapter 6
Roar Fjellheim, David Norheim
Active Knowledge Support for Integrated Operations (AKSIO) is a work process-enabled knowledge management system that supports experience transfer... Sample PDF
Improved Experience Transfer by Semantic Work Support
Chapter 7
Antti Vehviläinen, Eero Hyvönen, Olli Alm
This chapter discusses how knowledge technologies can be utilized in creating help desk services on the Semantic Web. To ease the content indexer’s... Sample PDF
A Semi-Automatic Semantic Annotation and Authoring Tool for a Library Help Desk Service
Chapter 8
Michel Buffa, Guillaume Erétéo, Fabien Gandon
The wiki concept is more than 10 years old but has attained public success only recently, thanks to Wikipedia. However, in the intranet world... Sample PDF
A Wiki on the Semantic Web
Chapter 9
Max Völkel, Sebastian Schaffert, Eyal Oren
Managing and enabling knowledge is a key to success in our economy and society (Wenger, McDermott, & Snyder, 2002, p. 6). The problem of knowledge... Sample PDF
Personal Knowledge Management with Semantic Technologies
Chapter 10
Jörg Richter, Jurij Poelchau
A crucial experience during my time at university— computer science (with focus on AI) and linguistics—was the documentary “Maschinenträume” (1988)... Sample PDF
DeepaMehta: Another Computer is Possible
Chapter 11
Andrea Kohlhase, Normen Müller
In this chapter we will look at users’ taking action processes in Semantic Work Environments. We argue that the underlying motivational problem... Sample PDF
Added-Value: Getting People into Semantic Work Environments
Chapter 12
Andreas Schmidt
The new flexibility of workers and work environments makes traditional conceptions of training in advance, in rather large units and separate from... Sample PDF
Enabling Learning on Demand in Semantic Work Environments: The Learning in Process Approach
Chapter 13
Maria Ruiz-Casado, Enrique Alfonseca, Pablo Castells
This chapter presents an overview of techniques for semi-automatic extraction of semantics from text, to be integrated in a Semantic Work... Sample PDF
Automatic Acquisition of Semantics from Text for Semantic Work Environments
Chapter 14
Bernhard Schandl, Ross King, Niko Popitsch, Brigitte Rauter, Martin Povazay
As computer and Internet applications became ubiquitous, most daily business must handle an increasing amount of information via several... Sample PDF
Technologies for Semantic Project-Driven Work Environments
Chapter 15
Hai H. Wang, Nicholas Gibbins, Jin Song Dong, Yuan Fang Li, Jing Sun, Jeff Pan, Terry R. Payne
The Semantic Web (Berners-Lee, Hendler, & Lassila, 2001) has become increasingly significant as it proposes an evolution of the current World Wide... Sample PDF
An Integrated Formal Approach to Semantic Work Environments Design
Chapter 16
Axel Rauschmayer, Malte Kiesel
When looking at what “information” means in the context of the Semantic Web, there is an interesting dichotomy (Spyns, Meersman, & Jarrar, 2002;... Sample PDF
Lightweight Data Modeling in RDF
About the Contributors