论文部分内容阅读
着重介绍NKIMath中数学概念的知识表示方法.首先给出了NKIMath知识系统的体系结构,分析了获取数学知识的不同用途.在次基础上给出了一种融合了本体、框架和逻辑综合的知识表示方法,将知识分为谓词逻辑层、知识描述层和概念关系层,不同层次可以满足不同用途的需求,详细给出了数学概念知识表示的基本模式以及参数表示形式.NKIMath可以很容易地实现与W3C推荐的数学文档标注语言OMDoc之间的相互转换,同时在知识表示的多粒度、多语言版本知识自动生成等方面优于OMDoc.
The knowledge representation of mathematical concepts in NKIMath is emphatically introduced.First, the architecture of NKIMath knowledge system is given, and the different purposes of acquiring mathematical knowledge are analyzed.Analyzing the knowledge of ontology, framework and logic synthesis Representation method, the knowledge is divided into the predicate logic layer, the knowledge description layer and the concept relationship layer, the different levels can meet the needs of different uses, gives the basic model of mathematical concept knowledge representation and parameter representation in detail.NKIMath can be easily implemented And the W3C recommended mathematical document markup language OMDoc between the conversion, at the same time knowledge representation of multi-granularity, multi-language version of the knowledge generated automatically than OMDoc.