A semantic wiki for mathematical knowledge management

CEUR Workshop Proceedings

Volumn 206, Issue , 2006, Pages 188-201

  Lange, Christoph ^a   Kohlhase, Michael ^b  

^a UNIVERSITY OF TRIER   (Germany)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COLLABORATIVE DEVELOPMENT; MATHEMATICAL KNOWLEDGE; MATHEMATICAL KNOWLEDGE MANAGEMENT; MATHEMATICAL THEORY; NEW THEORY; SEMANTIC WIKI; WORKGROUPS;

GROUP THEORY; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE MANAGEMENT; KNOWLEDGE REPRESENTATION; MATHEMATICAL TECHNIQUES; WEBSITES;

SEMANTICS;

EID: 84873470933     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. Ron Ausbrooks, Stephen Buswell, David Carlisle, Stphane Dalmas, Stan Devitt, Angel Diaz, Max Froumentin, Roger Hunter, Patrick Ion, Michael Kohlhase, Robert Miner, Nico Poppelier, Bruce Smith, Neil Soiffer, Robert Sutor, and Stephen Watt. Mathematical Markup Language (MathML) version 2.0 (second edition). W3C recommendation, World Wide Web Consortium, 2003. Available at http://www.w3.org/TR/MathML2.
2. Serge Autexier, Dieter Hutter, Till Mossakowski, and Axel Schairer. The development graph manager MAYA (system description). In Hél̀ene Kirchner and Christophe Ringeissen, editors, Algebraic Methodology and Software Technology - 9th International Conference AMAST 2002, number 2422 in LNCS, pages 495-500. Springer Verlag, 2002.
3. David Aumüller. SHAWN: Structure Helps a Wiki Navigate. In W. Müller and R. Schenkel, editors, Proceedings of the BTW-Workshop "WebDB Meets IR", March 2005.
4. Stephen Buswell, Olga Caprotti, David P. Carlisle, Michael C. Dewar, Marc Gaetano, and Michael Kohlhase. The Open Math standard, version 2.0. Technical report, The Open Math Society, 2004. http://www.openmath.org/standard/om20.
5. Connexions. Project home page at http://cnx.org, seen March 2006.
6. William Farmer, Josuah Guttman, and Xavier Thayer. Little theories. In D. Kapur, editor, Proceedings of the 11th Conference on Automated Deduction, volume 607 of LNCS, pages 467-581, Saratoga Spings, NY, USA, 1992. Springer Verlag.
7. M. Genesereth and R. Fikes et al. Knowledge interchange format: Version 3.0 reference manual. Technical report, Computer Science Department, Stanford University, 1992.
8. Dieter Hutter. Towards a generic management of change. In Christoph Benzmüller and Wolfgang Windsteiger, editors, Computer-Supported Mathematical Theory Development, number 04-14 in RISC Report Series, pages 7- 18. RISC Institute, University of Linz, 2004. Proceedings of the first "Workshop on Computer-Supported Mathematical Theory Development" held in the frame of IJCAR'04 in Cork, Ireland, July 5, 2004. ISBN 3-902276- 04-5. Available at http://www.risc.uni-linz.ac.at/about/conferences/IJCARWS7/.
9. Andrea Kohlhase and Michael Kohlhase. CPoint: Dissolving the author's dilemma. In Andrea Asperti, editor, Mathematical Knowledge Management, MKM'04, number 3119 in LNAI, pages 175-189. Springer Verlag, 2004.
10. Michael Kohlhase. OMDoc An open markup format for mathematical documents (Version 1.2). LNAI. Springer Verlag, 2006. to appear, manuscript at http://www.mathweb.org/omdoc/pubs/omdoc1.2.pdf.
11. Aaron Krowne. An architecture for collaborative math and science digital libraries. Master's thesis, Virginia Tech, 2003.
12. Ora Lassila and Ralph R. Swick. Resource description framework (RDF) model and syntax specification. W3C recommendation, World Wide Web Consortium (W3C), 1999. http://www.w3.org/TR/1999/REC-rdf-syntax.
13. E. Melis and J. Siekmann. Activemath: An intelligent tutoring system for mathematics. volume 3070, pages 91-101. Springer-Verlag, 2004.
14. Jakob Nielsen. Designing Web Usability : The Practice of Simplicity. New Riders Press, 1999.
15. Alberto Gonźalez Palomo. QMath: A human-oriented language and batch formatter for OMDoc. In OMDoc An open markup format for mathematical documents (Version 1.2) [Koh06], chapter 27.2. to appear, manuscript at http://www.mathweb.org/omdoc/pubs/omdoc1.2.pdf.
16. Sebastian Schaffert, Diana Bischof, Tobias Bürger, Andreas Gruber, Wolf Hilzensauer, and Sandra Schaffert. Learning with semantic wikis. http://www.wastl.net/download/paper/Schaffert06SemWikiLearning.pdf, 2006.
17. Sebastian Schaffert. IkeWiki: A semantic wiki for collaborative knowledge management. Technical report, Salzburg Research Forschungsgesellschaft, 2006.
18. The Connexions Team. Connexions: Help on editing modules. http://cnx.org/help/EditingModules, 2006.
19. The Connexions Team. Connexions: Sharing knowledge and building communities. http://cnx.org/aboutus/publications/ConnexionsWhitePaper.pdf, 2006.
20. Max Völkel, Markus Krötzsch, Denny Vrandečić, and Heiko Haller. Semantic Wikipedia. In Proceedings of the 15th international conference on World Wide Web, WWW 2006, Edinburgh, Scotland, May 23-26, 2006, May 2006.
21. OWL web ontology language overview. W3C Recommendation, World Wide Web Consortium, February 2004.