Information Technology Journal1812-56381812-5646Asian Network for Scientific Information10.3923/itj.2011.348.357ZengQingtian 22011102This study introduces the knowledge representation scheme for mathematical concepts and the methods to realize knowledge inheritance between concepts in NKIMath, the mathematical knowledge component of NKI (National Knowledge Infrastructure) in China. Within NKIMath, a concept is represented by a knowledge frame, in which the formal definition of the concept is given by a logical formula in first-order logic. When the knowledge acquisition completed, the knowledge relations between concepts are auto-generated by reasoning, which include concept equivalence, concept subsumption, concept overlapping, concept exclusion and concept weak-correlation. With these relations, a three-level knowledge inheritance hierarchy of mathematical concepts can be constructed from the knowledge base, with which the knowledge can be inherited from one concept to another.]]>Asperti, A., L. Padovani, C. Sacerdoti Coen and I. Schena,2001Zeng, Q.T., C.G. Cao and Y.F. Sui,2004David, C., P. Ion, R. Miner and N. Poppelier,2003Abbott, J., A. Diaz and R.S. Sutor,1996Michael, K.,2001Michael, K. and A. Franke,2001Franke, A. and M. Kohlhase,2000Asperti, A., L. Padovani, C. Sacerdoti Coen and I. Schena,2001Asperti, A. and B. Wegner,2002Cao, C.G., Q.Z. Feng, Y. Gao, F. Gu and J.X. Si et al.,2002Cao, C.G.,2001Cao, C.G., H.T. Wang and Y.F. Sui,2004Gu, F. and C.G. Cao,2001Cao, C.G., Y.F. Sui, Y. Sun and Q.T. Zeng,2006Zeng, Q.T., C.G. Cao, Y.F. Sui, J.X. Si, G.G. Tian and H.W. Liu,2003Zeng, Q.T., C.G. Cao, G.G. Tian, Y.F. Sui and H.W. Liu,2004Zeng, Q.T.,2005Zeng, Q.T., C.G. Cao, H. Duan and Y.Q. Liang,2006Luo, Z.H.,1999Luo, Z.,2008Kerber, M. and M. Kerber,1991