本体定义及本体代数

摘要：

基于现有的本体定义, 采用函数式描述语言精确定义了本体建模基元, 给出一种新的本体形式化描述, 并给出了本体间近义关联的定义, 在新本体形式化描述和本体间近义关联定义的基础上, 提出一种具有封闭性的本体代数定义, 同时结合函数式描述语言, 给出了其形式化描述.

关键词：本体定义、形式化描述、本体代数

所属期刊栏目：48

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

资助基金：国家自然科学基金60973040;国家自然科学杰出青年基金60903098;吉林省科技发展计划项目20070533;教育部高等学校博士学科点专项科研基金200801830021;吉林大学基本科研业务费交叉学科与创新项目200810025

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

页数：共7页

页码：1001-1007