Auto-construction for Knowledge Inheritance Hierarchy of Concepts within NKIMath

摘要

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.