NKIMathE – A Multi-purpose Knowledge Management Environment for Mathematical Concepts

  • Qingtian Zeng
  • Cungen Cao
  • Hua Duan
  • Yongquan Liang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4092)


In 2001, NKIMath, as the mathematics knowledge component of National Knowledge Infrastructure, was initiated to elaborate in China. In order to help knowledge engineers acquire and manage the mathematical knowledge especially the conceptual knowledge, a knowledge management environment, NKIMathE has been designed and developed. NKIMathE integrates three main components: (1) a platform for knowledge acquisition, syntax checking and organization for mathematical concepts; (2) a module for multi-lingual knowledge translation and transform for mathematical concepts; and (3) a Web-based and a mobile knowledge Q-A platforms for mathematical concepts.


Knowledge Representation Knowledge Translation Knowledge Acquisition Mathematical Knowledge Mathematical Concept 
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.
    Zeng, Q., Cao, C., Tian, G., Sui, Y., Liu, H.: Methods for mathematical concept knowledge representation, acquisition and management within NKIMath. In: Second International Conference on Knowledge Economy and Development of Science and Technology, pp. 27–35 (2004)Google Scholar
  2. 2.
    Wiedijk, F.: Comparing mathematical provers. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, vol. 2594, pp. 188–202. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  3. 3.
  4. 4.
  5. 5.
    PVS (Website),
  6. 6.
    Theorema (Website),
  7. 7.
    Homann, K., Calmet, J.: Combining theorem proving and symbolic mathematical computing. In: Calmet, J., Campbell, J. (eds.) AISMC 1994. LNCS, vol. 958, pp. 18–29. Springer, Heidelberg (1995)Google Scholar
  8. 8.
    Carlisle, D., Ion, P., Miner, R., Poppelier, N.: Mathematical Markup Language (MathML) version 2.0. W3c recommendation, World Wide Web Consortium (2001), Available at,
  9. 9.
    Caprotti, O., Cohen, A.M.: Draft of the Open Math standard. The Open Math Society (1998),
  10. 10.
    Kohlhase, M.: OMDoc: An open markup format for mathematical documents (version 1.1) (2001),
  11. 11.
    Franke, A., Kohlhase, M.: System description: MBASE, an open mathematical knowledge base. In: Conference on Automated Deduction, pp. 455–459 (2000)Google Scholar
  12. 12.
    Asperti, A., Padovani, L., Coen, C.S., 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
  13. 13.
  14. 14.
    Zeng, Q., Cao, C., Sui, Y., Si, J., Tian, G.: Ontology-based knoweldge acquistion and knowledge inheritance mechanism for mathematics. Microelectronics and Computer 20(9), 19–27 (2003)Google Scholar
  15. 15.
    Cao, C.: Medical knowledge acquisition from the electronic encyclopedia of china. In: Quaglini, S., Barahona, P., Andreassen, S. (eds.) AIME 2001. LNCS, vol. 2101, pp. 268–271. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  16. 16.
    Cao, C., Feng, Q., Gao, Y., Gu, F., Si, J., Sui, Y., Tian, W., Wang, H., Wang, L., Zeng, Q., Zhang, C., Zheng, Y., Zhou, X.: Progress in the development of national knowledge infrastructure. Journal of Computer of Science and Technology 17(5), 523–534 (2002)MATHCrossRefGoogle Scholar
  17. 17.
    Cao, C., Wang, H., Sui, Y.: Knowledge modeling and acquisition of traditional Chinese herbal drugs and formulae from text. Artificial Intelligence in Medicine 32(1), 3–13 (2004)CrossRefGoogle Scholar
  18. 18.
    Gu, F., Cao, C., Sui, Y.-F., Tian, W.: Domain-specific ontology of botany. Journal of Computer of Science and Technology 19(2), 238–248 (2004)CrossRefGoogle Scholar
  19. 19.
    Zhang, C., Cao, C., Gu, F., Si, J.: Domain-specific formal ontology of archaeology and its application in knowledge acquisition and analysis. Journal of Computer of Science and Technology 19(3), 290–301 (2004)CrossRefGoogle Scholar
  20. 20.
    Zeng, Q.: Research on knowledge acquisition and analysis of mathematical concepts. PhD thesis, Institute of Computing Technology, Chinese Academy of Sciences (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Qingtian Zeng
    • 1
    • 2
  • Cungen Cao
    • 1
  • Hua Duan
    • 2
  • Yongquan Liang
    • 2
  1. 1.Key Laboratory of Intelligent Information Processing, Institute of Computing TechnologyChinese Academy of SciencesBeijingChina
  2. 2.College of Information Science and TechnologyShandong University of Science and TechnologyQingdaoChina

Personalised recommendations