| 本体定义及本体代数 |
| |
| 引用本文： | 王俊华,左万利,赫枫龄,王英. 本体定义及本体代数[J]. 吉林大学学报(理学版), 2010, 48(6): 1001-1007 |
| |
| 作者姓名： | 王俊华 左万利 赫枫龄 王英 |
| |
| 作者单位： | 吉林大学 计算机科学与技术学院, 长春 130012,吉林大学 符号计算与知识工程教育部重点实验室, 长春 130012 |
| |
| 基金项目： | 国家自然科学基金，国家自然科学杰出青年基金，吉林省科技发展计划项目，教育部高等学校博士学科点专项科研基金，吉林大学基本科研业务费交叉学科与创新项目 |
| |
| 摘 要： | 基于现有的本体定义,采用函数式描述语言精确定义了本体建模基元,给出一种新的本体形式化描述,并给出了本体间近义关联的定义,在新本体形式化描述和本体间近义关联定义的基础上,提出一种具有封闭性的本体代数定义,同时结合函数式描述语言,给出了其形式化描述.
|
| 关 键 词： | 本体定义 形式化描述 本体代 |
| 收稿时间： | 2009-11-02 |
Ontology Definition and Ontology Algebra |
| |
| WANG Jun-hua,ZUO Wan-li,HE Feng-ling,WANG Ying. Ontology Definition and Ontology Algebra[J]. Journal of Jilin University: Sci Ed, 2010, 48(6): 1001-1007 |
| |
| Authors: | WANG Jun-hua ZUO Wan-li HE Feng-ling WANG Ying |
| |
| Affiliation: | College of Computer Science and Technology, Jilin University, Changchun 130012, China|Key Laboratory ofSymbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 |
|
点击此处可从《吉林大学学报(理学版)》下载全文 |
|
