Skip to main content

CPoint: Dissolving the Author’s Dilemma

  • Conference paper
Mathematical Knowledge Management (MKM 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3119))

Included in the following conference series:

Abstract

Automated knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard to come by in practice. Starting from a detailed look at the motivations of users to produce semantic data, we argue that the authoring problem experienced by MKM is actually an author’s dilemma. An analysis of the content authoring process suggests that the dilemma can partially be overcome by providing authoring tools like invasive editors aimed specifically at supporting the content creator. We present the CPoint application, a semantic, invasive editor for Microsoft PowerPoint, geared towards the OMDoc MKM format.

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

Access this chapter

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. Allen, S., Bickford, M., Constable, R., Eaton, R., Kreitz, C., Lorigo, L.: FDL: A prototype formal digital library - description and draft reference manual. Technical report, Computer Science, Cornell (2002), http://www.cs.cornell.edu/Info/Projects/NuPrl/html/FDLProject/02cucs-fdl.pdf

  2. Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I.: HELM and the semantic math-web. In: Boulton, R.J., Jackson, P.B. (eds.) TPHOLs 2001. LNCS, vol. 2152, pp. 59–74. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  3. Ausbrooks, R., Buswell, S., Carlisle, D., Dalmas, S., Devitt, S., Diaz, A., Froumentin, M., Hunter, R., Ion, P., Kohlhase, M., Miner, R., Poppelier, N., Smith, B., Soiffer, N., Sutor, R., Watt, S.: Mathematical Markup Language (MathML) version 2.0, 2nd edn. W3c recommendation, World Wide Web Consortium (2003), available at: http://www.w3.org/TR/MathML2

  4. Axelrod, R.: The Evolution of Cooperation. Basic Books, New York (1984)

    MATH  Google Scholar 

  5. Birk, A., Wiernik, J.: An n-players prisoner’s dilemma in a robotic ecosystem. International Journal of Robotics and Autonomous Systems 39, 223–233 (2002)

    Article  Google Scholar 

  6. Cascading style sheets, level 2; CSS2 specification. W3c recommendation, World Wide Web Consortium (W3C) (1998), available as: http://www.w3.org/TR/1998/REC-CSS2-19980512

  7. The OpenMath standard, version 2.0. Technical report, The OpenMath Society (2003), http://www.openmath.org/standard/om20

  8. The course capsules project, http://aiki.ccaps.cs.cmu.edu

  9. CONNEXIONS, http://cnx.rice.edu/

  10. Basic CNXML, http://cnx.rice.edu/content/m9000/latest/

  11. Language Design Task Group CoFI. Casl - the CoFI algebraic specification language - summary, version 1.0. Technical report (1998), http://www.brics.dk/Projects/CoFI

  12. Franke, A., Kohlhase, M.: System description: MBase, an open mathematical knowledge base. In: McAllester, D. (ed.) CADE 2000. LNCS (LNAI), vol. 1831, pp. 455–459. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  13. Free Software Foundation FSF. GNU lesser general public license. Software License (1999), available at: http://www.gnu.org/copyleft/lesser.html

  14. Henry, G., Baraniuk, R.G., Kelty, C.: The Connexions project: Promoting open sharing of knowledge for education. In: Syllabus, Technology for Higher Education (2003)

    Google Scholar 

  15. Hodgins, H.W.: The future of learning objects (2003)

    Google Scholar 

  16. Hutter, D.: Management of change in verification systems. In: Proceedings Automated Software Engineering (ASE 2000), pp. 23–34. IEEE Computer Society Press, Los Alamitos (2000)

    Google Scholar 

  17. Kohlhase, A.: CPoint Documentation. Carnegie Mellon University, Technical Manual (2004), http://www.faculty.iu-bremen.de/mkohlhase/kwarc/software/CPoint.html

  18. Kohlhase, A.: CPointGraphs Documentation. Carnegie Mellon University, Technical Manual (2004), http://www.faculty.iu-bremen.de/mkohlhase/kwarc/software/CPointGraphs.html

  19. Kohlhase, M.: OMDoc: An open markup format for mathematical documents. Seki Report SR-00-02, Fachbereich Informatik, Universität des Saarlandes (2000), http://www.mathweb.org/omdoc

  20. Kohlhase, M.: OMDoc: An open markup format for mathematical documents (Version 1.2) (manuscript, 2004), http://www.mathweb.org/omdoc/omdoc1.2.ps

  21. Kohlhase, M., Franke, A.: MBase: Representing knowledge and context for the integration of mathematical software systems. Journal of Symbolic Computation; Special Issue on the Integration of Computer algebra and Deduction Systems 32(4), 365–402 (2001)

    MathSciNet  MATH  Google Scholar 

  22. Kohlhase, M., Sutner, K., Jansen, P., Kohlhase, A., Lee, P., Scott, D., Szudzik, M.: Acquisition of math content in an academic setting. In: Second International Conference on MathML and Technologies for Math on the Web, Chicago, USA (2002)

    Google Scholar 

  23. Melis, E., Büdenbender, J., Goguadze, G., Libbrecht, P., Ullrich, C.: Knowledge representation and management in ActiveMath. Annals of Mathematics and Artificial Intelligence 38, 47–64 (2003)

    Article  MATH  Google Scholar 

  24. Necula, G.: TeXPoint. Program Home Page at: http://raw.cs.berkeley.edu/texpoint/index.htm

  25. Sutner, K.: Converting Mathematica notebooks to OMDoc. In: [20] (to appear, 2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kohlhase, A., Kohlhase, M. (2004). CPoint: Dissolving the Author’s Dilemma. In: Asperti, A., Bancerek, G., Trybulec, A. (eds) Mathematical Knowledge Management. MKM 2004. Lecture Notes in Computer Science, vol 3119. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27818-4_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-27818-4_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23029-8

  • Online ISBN: 978-3-540-27818-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics