面向多用途的数学概念知识分层表示方法

摘要：

着重介绍NKIMath中数学概念的知识表示方法.首先给出了NKIMath知识系统的体系结构,分析了获取数学知识的不同用途.在次基础上给出了一种融合了本体、框架和逻辑综合的知识表示方法,将知识分为谓词逻辑层、知识描述层和概念关系层,不同层次可以满足不同用途的需求,详细给出了数学概念知识表示的基本模式以及参数表示形式.NKIMath可以很容易地实现与W3C推荐的数学文档标注语言OMDoc之间的相互转换,同时在知识表示的多粒度、多语言版本知识自动生成等方面优于OMDoc.

关键词：国家知识基础设施、数学知识、知识表示、数学本体

所属期刊栏目：28

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金60603090;山东省泰山学者专项基金200610BADA06-02;国家科技支撑计划子课题200610BADA06-02

在线出版日期：2008-05-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：109-117