Skip to main content
SpringerLink
Log in

Communities of Practice and Semantic Web Stimulating Collaboration by Document Markup

  • Conference paper
Information Systems: Modeling, Development, and Integration (UNISCON 2009)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 20))

Included in the following conference series:

  • 1158 Accesses

Abstract

We believe that mathematics is the language of science and has paved the way of many innovations. However, mathematical research is often said to be “non-practical” and “hard to digest”. Furthermore, experts have access to highly specialized results, but are often less aware of applications outside their own community.

Our work promotes the exchange of highly-specialized knowledge between individuals with different mathematical background. We draw on modern representation formats to mark up structure and meaning of mathematical texts to reduce barriers of communication. Moreover, we integrate modern web technologies to build an adaptive, active, and collaborative environment, in which users engage in a community of practice.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. CoFI (The Common Framework Initiative). In: Mosses, P.D. (ed.): CASL Reference Manual. LNCS. IFIP Series, vol. 2960. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  2. Green, T., Peter, M.: Usability analysis of visual programming environments: A cognitive dimension framework. Journal of Visual Languages and Computing 7, 131–174 (1996)

    Article  Google Scholar 

  3. Hardy, G.H.: A Mathematician’s Apology. Cambridge University Press, Cambridge (1992)

    Book  MATH  Google Scholar 

  4. Heintz, B.: Die Innenwelt der Mathematik. Zur Kultur und Praxis einer beweisenden Disziplin. Springer, Wien (2000)

    Book  Google Scholar 

  5. JOBAD framework – JavaScript API for OMDoc-based active documents (2008), https://jomdoc.omdoc.org/wiki/JOBAD

  6. JOMDoc Project (2008), http://omdoc.org/jomdoc

  7. Kerber, M., Melis, E., Siekmann, J.: Analogical reasoning with typical examples. SEKI-Report SR-92-13, Unversität des Saarlandes (1992)

    Google Scholar 

  8. Kitcher, P.: Mathematical naturalism. In: Kitcher, P., Aspray, W. (eds.) History and Philosophy of Modern Mathematics, pp. 293–325. University of Minnesota Press (1988)

    Google Scholar 

  9. Kohlhase, M., Müller, C., Rabe, F.: Notations for Living Mathematical Documents. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol. 5144, pp. 504–519. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  10. Kohlhase, M. (ed.): OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180, pp. 25–32. Springer, Heidelberg (2006)

    Book  Google Scholar 

  11. Kohlhase, M.: sTEX: Using TEX LATEX as a semantic markup format. Mathematics in Computer Science. Special Issue on Management of Mathematical Knowledge (in press, 2008)

    Google Scholar 

  12. Kohlhase, M., Müller, C., Müller, N.: Documents with flexible notation contexts as interfaces to mathematical knowledge. In: Libbrecht, P. (ed.) Mathematical User Interfaces Workshop (2007)

    Google Scholar 

  13. Miller, B.: LaTeXML: A LaTeX to xml converter. Web Manual seen (September 2007), http://dlmf.nist.gov/LaTeXML/

  14. Müller, C.: A Survey on Mathematical Notations. KWARC report, Jacobs University Bremen (2008)

    Google Scholar 

  15. Müller, C., Kohlhase, M.: Panta rhei. In: Hinneburg, A. (ed.) LWA Conference Proceedings, pp. 318–323 (2007)

    Google Scholar 

  16. Müller, C., Kohlhase, M.: Context Aware Adaptation: A Case Study on Mathematical Notations. Research reports, Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland (November 2008)

    Google Scholar 

  17. Openmath Home. seen (March 2007), http://www.openmath.org/

  18. The panta rhei Project (2008), http://trac.kwarc.info/panta-rhei

  19. Polya, G.: How to Solve it. Princeton University Press, Princeton (1973)

    Google Scholar 

  20. Rabe, F.: Representing Logics and Logic Translations. Ph.D thesis, Jacobs University Bremen (2008)

    Google Scholar 

  21. Ruelle, D.: The Mathematician’s Brain. Princeton University Press, Princeton (2007)

    MATH  Google Scholar 

  22. Smirnova, E., Watt, S.M.: Notation Selection in Mathematical Computing Environments. In: Proceedings Transgressive Computing 2006: A conference in honor of Jean Della Dora (TC 2006), Granada, Spain, pp. 339–355 (2006)

    Google Scholar 

  23. W3C. Mathematical Markup Language (MathML) Version 2.0 (Second Edition) (2003) Seen (July 2007), http://www.w3.org/TR/MathML2/

  24. Wenger, E.: Communities of Practice: Learning, Meaning, and Identity. Cambridge University Press, Cambridge (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Auckland, New Zealand

    Christine Müller

  2. Computer Science Department, Jacobs University Bremen, Germany

    Christine Müller

Authors
  1. Christine Müller
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Western Sydney, NSW 2150, Parramatta, Australia

    Jianhua Yang  & Athula Ginige  & 

  2. University of Klagenfurt, 9020, Klagenfurt, Austria

    Heinrich C. Mayr

  3. Berlin University of Technology, 10587, Berlin, Germany

    Ralf-D. Kutsche

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Müller, C. (2009). Communities of Practice and Semantic Web Stimulating Collaboration by Document Markup. In: Yang, J., Ginige, A., Mayr, H.C., Kutsche, RD. (eds) Information Systems: Modeling, Development, and Integration. UNISCON 2009. Lecture Notes in Business Information Processing, vol 20. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01112-2_44

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-01112-2_44

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-01111-5

  • Online ISBN: 978-3-642-01112-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation