Abstract
SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domain-specific structural semantic markup language OMDoc. It motivates users to contribute to collections of mathematical knowledge by instantly sharing the benefits of knowledge-powered services with them. SWiM is currently being used for authoring content dictionaries, i. e. collections of uniquely identified mathematical symbols, and prepared for managing a large-scale proof formalisation effort.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Aumüller, D., Auer, S.: Towards a semantic wiki experience – desktop integration and interactivity in WikSAR. In: 1st Workshop on The Semantic Desktop (2005)
Kohlhase, A., Müller, N.: Added-Value: Getting People into Semantic Work Environments. In: Rech, J., Decker, B., Ras, E. (eds.) Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications, Idea Group (in press, 2008)
Kohlhase, M.: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)
Lange, C.: SWiM – a semantic wiki for mathematical knowledge management. Technical Report 5, Jacobs University (2007), http://kwarc.info/projects/swim/pubs/tr-swim.pdf
Lange, C.: Towards scientific collaboration in a semantic wiki. In: Hotho, A., Hoser, B. (eds.) Bridging the Gap between Semantic Web and Web 2.0 (2007)
Lange, C.: Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations. In: The 3rd Semantic Wiki Workshop at ESWC (submitted, 2008), http://kwarc.info/projects/swim/pubs/semwiki08-notation-semantics.pdf
Lange, C.: SWIM development roadmap (2008), https://trac.kwarc.info/swim/roadmap/
Lange, C., McLaughlin, S., Rabe, F.: Flyspeck in a semantic wiki, 2008. In: The 3rd Semantic Wiki Workshop at ESWC 2008 (submitted, 2008), http://kwarc.info/projects/swim/pubs/flyspeck-wiki-eswc08.pdf
Mathematical Markup Language (MathML) version 3.0. W3C working draft, World Wide Web Consortium (2007), http://www.w3.org/TR/MathML3
Müller, C., Müller, N., Kohlhase, M.: A library for transforming Content MathML/OpenMath into Presentation MathML (2008), http://kwarc.info/projects/mmlkit/
The Open Math standard, version 2.0. Technical report, The Open Math Society (2004), http://www.openmath.org/standard/om20
Schaffert, S.: IkeWiki: A semantic wiki for collaborative knowledge management. In: 1st International Workshop on Semantic Technologies in Collaborative Applications (STICA) (2006)
Schaffert, S.: Semantic social software. In: Sure, Y., Schaffert, S. (eds.) Semantics (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lange, C. (2008). SWiM – A Semantic Wiki for Mathematical Knowledge Management. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds) The Semantic Web: Research and Applications. ESWC 2008. Lecture Notes in Computer Science, vol 5021. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68234-9_68
Download citation
DOI: https://doi.org/10.1007/978-3-540-68234-9_68
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68233-2
Online ISBN: 978-3-540-68234-9
eBook Packages: Computer ScienceComputer Science (R0)