Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
Otter/Ivy (Website), http://www.mcs.anl.gov/AR/otter/ http://www-.unix.mcs.anl.gov/mccune/acl2/ivy/
HOL (Website), http://www.cl.cam.ac.uk/Research/HVG/HOL
PVS (Website), http://pvs.csl.sri.com/
Theorema (Website), http://www.theorem.org/
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)
Carlisle, D., Ion, P., Miner, R., Poppelier, N.: Mathematical Markup Language (MathML) version 2.0. W3c recommendation, World Wide Web Consortium (2001), Available at, http://www.w3.org/TR/MathML2
Caprotti, O., Cohen, A.M.: Draft of the Open Math standard. The Open Math Society (1998), http://www.nag.co.uk/projects/OpenMath/omstd/
Kohlhase, M.: OMDoc: An open markup format for mathematical documents (version 1.1) (2001), http://www.mathweb.org/omdoc/omdoc.ps
Franke, A., Kohlhase, M.: System description: MBASE, an open mathematical knowledge base. In: Conference on Automated Deduction, pp. 455–459 (2000)
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)
MOWGLI (Website), http://www.mowgli.cs.unibo.it/
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)
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)
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)
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)
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)
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)
Zeng, Q.: Research on knowledge acquisition and analysis of mathematical concepts. PhD thesis, Institute of Computing Technology, Chinese Academy of Sciences (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zeng, Q., Cao, C., Duan, H., Liang, Y. (2006). NKIMathE – A Multi-purpose Knowledge Management Environment for Mathematical Concepts. In: Lang, J., Lin, F., Wang, J. (eds) Knowledge Science, Engineering and Management. KSEM 2006. Lecture Notes in Computer Science(), vol 4092. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11811220_53
Download citation
DOI: https://doi.org/10.1007/11811220_53
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37033-8
Online ISBN: 978-3-540-37035-2
eBook Packages: Computer ScienceComputer Science (R0)