Submit Manuscript

Information Technology Journal

Year: 2011 | Volume: 10 | Issue: 2 | Page No.: 348-357
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail

Article Trend

Total views 378

Search

Authors

Qingtian Zeng

Keywords

Research Article

Auto-construction for Knowledge Inheritance Hierarchy of Concepts within NKIMath

Qingtian Zeng
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.
PDF Fulltext XML References Citation

Leave a Comment

Your email address will not be published. Required fields are marked *