Auto-construction for knowledge inheritance hierarchy of concepts within NKIMath

作者：Zeng Qingtian^*

来源：Information Technology Journal, 2011, 10(2): 348-357.

DOI：10.3923/itj.2011.348.357

• Concept hierarchies
• Concept relation
• First order logic
• Formal definition
• Inheritance hierarchies
• Knowledge base
• Knowledge frame
• Knowledge inheritance
• Logical formulas
• Mathematical concepts
• Mathematical knowledge
• Three-level

This 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. ? 2011 Asian Network for Scientific Information.

• 出版日期2011
• 单位山东科技大学