SWiM: A semantic wiki for mathematical knowledge management

Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications

Volumn , Issue , 2008, Pages 47-68

  Lange, Christoph ^a   Kohlhase, Michael ^a,b  

^a JACOBS UNIVERSITY BREMEN   (Germany)

^b GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 70049093696     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-59904-877-2.ch004     Document Type: Chapter

References (47)

1. Anca, Ş. (2007). MaTeSearch, a combined math and text search engine. Bachelor's thesis, Jacobs University Bremen.
2. Aumüller, D. (2005, March). SHAWN: Structure helps a wiki navigate. In W. Müller & R. Schenkel (Eds.), Proceedings of the BTW-workshop WebDB Meets IR. Retrieved March 4, 2008, from http://dbs.uni-leipzig.de/~david/2005/aumuel-ler05shawn.pdf
3. Aumüller, D., & Auer, S. (2005, November). Towards a semantic wiki experience - desktop integration and interactivity in WikSAR. In Proceedings of 1st Workshop on the Semantic Desktop - Next Generation Personal Information Management and Collaboration Infrastructure, (pp. 212-217). Galway, Ireland.
4. Buswell, S., Caprotti, O., Carlisle, D. P., Dewar, M. C., Gaetano, M., & Kohlhase, M. (2004). The open math standard, version 2.0 (Tech. Rep.). The Open Math Society. Retrieved March 4, 2008, from http://www.openmath.org/standard/om20
5. Carlisle, D., Ion, P., Miner, R., & Poppelier, N. (Eds.) (2003). Mathematical markup language (MathML) version 2.0 (2nd ed.). (W3C Recommendation). World Wide Web Consortium. Retrieved March 4, 2008, from http://www.w3.org/TR/MathML2
6. The Connexions Team. (2006). Connexions: Help on editing modules. Retrieved March 4, 2008, from http://cnx.org/help/EditingModules
7. Eronen, J., & Röning, J. (2006, June). Graphingwiki - a semantic wiki extension for visualising and inferring protocol dependency. In M. Völkel, S. Schaffert, & S. Decker (Eds.), Proceedings of the 1st Workshop on Semantic Wikis, European Semantic Web Conference 2006 (CEUR Workshop Proceedings), Budva, Montenegro (Vol. 206, pp. 1-15).
8. Farmer, W., Guttman, J., & Thayer, X. (1992). Little theories. In D. Kapur (Ed.), Proceedings of the 11th Conference on Automated Deduction, Saratoga Springs, NY (LNCS, Vol. 607, pp. 467-581). Springer Verlag.
9. Haller, H., Kugel, F., & Völkel, M. (2006, June). I-mapping wikis - towards a graphical environment for semantic knowledge management. In M. Völkel, S. Schaffert, & S. Decker (Eds.), Proceedings of the 1st Workshop on Semantic Wikis, European Semantic Web Conference 2006 (CEUR Workshop Proceedings), Budva, Montenegro (Vol. 206).
10. Hilf, E., Kohlhase, M., & Stamerjohanns, H. (2006). Capturing the content of physics: Systems, observables, and experiments. In J. Borwein & W. M. Farmer (Eds.), Mathematical knowledge management, MKM'06 (pp. 165-178). Springer Verlag.
11. Hutter, D. (2004, July 5). Towards a generic management of change. In C. Benzmuller & W. Windsteiger (Eds.), Computer-supported mathematical theory development (pp. 7-18).
12. Proceedings of the first Workshop on ComputerSupported Mathematical Theory Development held in the frame of IJCAR'04 in Cork, Ireland. ISBN 3-902276-04-5. Retrieved March 4, 2008, from http://www.risc.uni-linz.ac.at/about/confer-ences/IJCAR-WS7/
13. Jena - a Semantic Web framework for Java. (2007). System homepage. Retrieved March 4, 2008, from http://jena.sf.net
14. Klein, M. C. A., Fensel, D., Kiryakov, A., & Ognyanov, D. (2002). Ontology versioning and change detection on the Web. In A. Gómez-Pérez & V. R. Benjamins (Eds.), Klein, M. C. A., Fensel, D., Kiryakov, A., & Ognyanov, D (pp. 197-12). Springer.
15. Kohlhase, M. (2006). OMDoc - an open markup format for mathematical documents (version 1.2). Springer Verlag. LNAI No. 4180.
16. Kohlhase, M., & Şucan, I. (2006). A search engine for mathematical formulae. In T. Ida, J. Calmet & D. Wang (Eds.), Proceedings of artificial intelligence and symbolic computation, AISC'2006 (pp. 241-253). Springer Verlag.
17. Krieg-Brückner, B., Lindow, A., Lüth, C., Mahnke, A., & Russell, G. (2004, September). Semantic interrelation of documents via an ontology. In G. Engels & S. Seehusen (Eds.), DeLFI 2004, Tagungsband der 2. e-Learning Fachtagung Informatik, 6.-8. Paderborn, Germany (Lecture Notes in Informatics, Vol. P-52, pp. 271-282). D-69121. Heidelberg, Germany: Springer-Verlag. Retrieved March 4, 2008, from http://www.springer.de
18. Krötzsch, M. (2008). Semantic MediaWiki. Retrieved April 22, 2008, from http://www.seman-tic-mediawiki.org
19. Krötzsch, M., Vrandečić, D., Page, S. et al. (2007). Semantic mediawiki development activities - ontoworld.org. Retrieved March 4, 2008, from http://www.semantic-mediawiki.org/wiki/Se-mantic_MediaWiki_development_activities
20. Krowne, A. (2003). An architecture for collaborative math and science digital libraries. Unpublished master's thesis, Virginia Tech. Retrieved March 4, 2008, from http://scholar.lib.vt.edu/theses/available/etd-09022003-150851/
21. Lange, C. (2007, March). SWiM - a semantic wiki for mathematical knowledge management (Tech. Rep. No. 5). Jacobs University Bremen. Retrieved March 4, 2008, from http://kwarc.info/projects/swim/pubs/tr-swim.pdf
22. Lassila, O., & Swick, R. R. (1999). Resource description framework (RDF) model and syntax specification (W3C Recommendation). World Wide Web Consortium (W3C). Retrieved March 4, 2008, from http://www.w3.org/TR/1999/REC-rdf-syntax
23. locutor: An ontology-based management of change. (2007). System homepage. Retrieved March 4, 2008, from http://www.kwarc.info/proj-ects/locutor/
24. MathWebSearch, a semantic search engine. (2007). Web page. Retrieved March 4, 2008, from http://search.mathWeb.org
25. McGuinness, D. L., & Harmelen, F. van (2004, February). OWL Web ontology language overview (W3C Recommendation). W3C. Retrieved March 4, 2008, from http://www.w3.org/TR/2004/REC-owl-features-20040210/
26. Melis, E., Goguadze, G., Palomo, A. G., Frischauf, A., Homik, M., Libbrecht, P. et al. (2006). OMDoc in ActiveMath. In OMDoc - an open markup format for mathematical documents (version 1.2, Chap. 26.8). Springer Verlag.
27. Müller, N. (2006a). OMDoc as a data format for VeriFun. In OMDoc - an open markup format for mathematical documents (version 1.2, pp. 329-332). Springer Verlag.
28. M̈ller, N. (2006b). An ontology-driven management of change. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivitat) Conference Proceedings (pp. 186-193).
29. Nixon, L. J. B., & Simperl, E. P. B. (2006, November). Makna and MultiMakna: Towards semantic hypermedia capability in wikis for the emerging Web. In Y. Sure & S. Schaffert (Eds.), Proceedings of Semantics 2006: From Visions to Applications: Semantics - The New Paradigm Shift in IT (pp.83-98). Vienna, Austria.
30. Palomo, A. G. (2006a). QMath: A human-oriented language and batch formatter for OMDoc. In OMDoc - an open markup format for mathematical documents (version 1.2, Chap. 26.2). Springer Verlag.
31. Palomo, A. G. (2006b). Sentido: An authoring environment for OMDoc. In OMDoc - an open markup format for mathematical documents (version 1.2, Chap. 26.3). Springer Verlag.
32. Planet math - math for the people, by the people. (2007). Retrieved March 4, 2008, from http://www.planetmath.org
33. Plessers, P., & Troyer, O. D. (2005, November). Ontology change detection using a version log. In Y. Gil, E. Motta, V. R. Benjamins, & M. A. Musen (Eds.), International semantic Web conference (Vol. 3729, pp. 578-592). Springer.
34. Popitsch, N., Schandl, B., Amiri, A., Leitich, S., & Jochum, W. (2006, June). Ylvi - multimedia-izing the semantic wiki. In M. Völkel, S. Schaffert, & S. Decker (Eds.), Proceedings of the 1st Workshop on Semantic Wikis, European Semantic Web Conference 2006 (CEUR Workshop Proceedings, Vol. 206, pp. 207-211), Budva, Montenegro.
35. Reif, G., Gall, H., & Jazayeri, M. (2005, May). WEESA: Web engineering for Semantic Web applications. In A. Ellis & T. Hagino (Eds.), Proceedings of the 14th WWW Conference (pp. 722-729). ACM.
36. Schaffert, S. (2006). IkeWiki: A semantic wiki for collaborative knowledge management (Tech. Rep.). Salzburg Research Forschungsgesellschaft. Retrieved March 4, 2008, from http://www.wastl.net/download/paper/schaffert06_ikewiki.pdf
37. Semantic Wiki Interest Group/AIFB Institute, Karlsruhe. (Ed.). (2007b). Sites using Semantic MediaWiki - ontoworld.org. Retrieved March 4, 2008, from http://ontoworld.org/index.php?title=Semantic_MediaWiki&oldid=25046
38. Sirin, E., Parsia, B., Grau, B. C., Kalyanpur, A., & Katz, Y. (2006). Pellet: A practical OWL-DL reasoner. Journal of Web Semantics. Retrieved March 4, 2008, from http://www.mindswap.org/papers/PelletJWS.pdf
39. Snipsnap - the easy Web log and wiki software. (2007). Retrieved March 4, 2008, from http://snipsnap.org/
40. Tazzoli, R., Castagna, P., & Campanini, S. E. (2004). Towards a semantic WikiWikiWeb. In Poster Abstracts of 3rd International Semantic Web Conference (ISWC 2004), Hiroshima, Japan.
41. Völkel, M., Krötzsch, M., Vrandečić, D., Haller, H., & Studer, R. (2006, May 23-26). Semantic wikipedia. In Proceedings of the 15th international conference on world wide Web, WWW 2006, Edinburgh, Scotland. Retrieved March 4, 2008, from http://www.aifb.uni-karlsruhe.de/WBS/hha/papers/SemanticWikipedia.pdf
42. Völkel, M., et al. (2006). Wiki specification request 3 - wiki interchange format. Retrieved March 4, 2008, from http://www.wikisym.org/wiki/index.php/WSR_3
43. Vrandečić, D., & Krötzsch, M. (2006, June). Reusing ontological background knowledge in semantic wikis. In M. Völkel, S. Schaffert, & S. Decker (Eds.), Proceedings of the 1st workshop on semantic wikis, European Semantic Web Conference 2006 (CEUR Workshop Proceedings, Vol. 206, pp. 16-30), Budva, Montenegro.
44. Wikimedia Foundation. (Ed.). (2006a, December). Section from Wikimedia meta-wiki. Retrieved March 4, 2008, from http://meta.wikimedia.org/w/index.php?title=Help:Section&oldid=480808
45. Wikimedia Foundation. (Ed.). (2006b, December). Semantic wiki (from Wikipedia, the free encyclopedia). Retrieved March 4, 2008, from http://en.wikipedia.org/w/index.php?title=Semantic_Wiki&oldid=92323454
46. World Wide Web Consortium. (Ed.). (2006). W3C GRDDL working group. Retrieved March 4, 2008, from http://www.w3.org/2001/sw/grddl-wg/
47. Zinn, C. (2006, November). Bootstrapping a semantic wiki application for learning mathematics. In Y. Sure & S. Schaffert (Eds.), Proceedings of semantics 2006: From visions to applications: Semantics - the new paradigm shift in IT (pp. 255-260). Vienna, Austria.