CPoint: Dissolving the Author’s Dilemma

  • Andrea Kohlhase
  • Michael Kohlhase
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3119)


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.


Implicit Knowledge Semantic Data Content Object Knowledge Element Connexion Project 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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),
  2. 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)CrossRefGoogle Scholar
  3. 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:
  4. 4.
    Axelrod, R.: The Evolution of Cooperation. Basic Books, New York (1984)zbMATHGoogle Scholar
  5. 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)CrossRefGoogle Scholar
  6. 6.
    Cascading style sheets, level 2; CSS2 specification. W3c recommendation, World Wide Web Consortium (W3C) (1998), available as:
  7. 7.
    The OpenMath standard, version 2.0. Technical report, The OpenMath Society (2003),
  8. 8.
    The course capsules project,
  9. 9.
  10. 10.
  11. 11.
    Language Design Task Group CoFI. Casl - the CoFI algebraic specification language - summary, version 1.0. Technical report (1998),
  12. 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)CrossRefGoogle Scholar
  13. 13.
    Free Software Foundation FSF. GNU lesser general public license. Software License (1999), available at:
  14. 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. 15.
    Hodgins, H.W.: The future of learning objects (2003)Google Scholar
  16. 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. 17.
    Kohlhase, A.: CPoint Documentation. Carnegie Mellon University, Technical Manual (2004),
  18. 18.
    Kohlhase, A.: CPointGraphs Documentation. Carnegie Mellon University, Technical Manual (2004),
  19. 19.
    Kohlhase, M.: OMDoc: An open markup format for mathematical documents. Seki Report SR-00-02, Fachbereich Informatik, Universität des Saarlandes (2000),
  20. 20.
    Kohlhase, M.: OMDoc: An open markup format for mathematical documents (Version 1.2) (manuscript, 2004),
  21. 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)MathSciNetzbMATHGoogle Scholar
  22. 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. 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)CrossRefzbMATHGoogle Scholar
  24. 24.
    Necula, G.: TeXPoint. Program Home Page at:
  25. 25.
    Sutner, K.: Converting Mathematica notebooks to OMDoc. In: [20] (to appear, 2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Andrea Kohlhase
    • 1
  • Michael Kohlhase
    • 2
  1. 1.School of Computer ScienceCarnegie Mellon UniversityUSA
  2. 2.School of Engineering and ScienceInternational UniversityBremenGermany

Personalised recommendations