本体定义及本体代数

J4 ›› 2010, Vol. 48 ›› Issue (06): 1001-1007.

本体定义及本体代数

王俊华, 左万利, 赫枫龄, 王英

吉林大学计算机科学与技术学院, 长春 130012|吉林大学符号计算与知识工程教育部重点实验室, 长春 130012

收稿日期:2009-11-02 出版日期:2010-11-26 发布日期:2010-11-26
通讯作者: 左万利 E-mail:wanli@jlu.edu.cn

Ontology Definition and Ontology Algebra

WANG Junhua, ZUO Wanli, HE Fengling, WANG Ying

College of Computer Science and Technology, Jilin University, Changchun 130012, China|Key Laboratory ofSymbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China

Received:2009-11-02 Online:2010-11-26 Published:2010-11-26
Contact: ZUO Wanli E-mail:wanli@jlu.edu.cn

摘要/Abstract

摘要：

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

关键词: 本体定义, 形式化描述, 本体代

Abstract:

We defined the ontology models accurately with functional description language by analyzing the fruits of researches on ontology definition, and further, proposed a novel method of formal ontology definition, put forward a closed ontology algebra definition by defining the grade of similitude relevance between ontologies, and gave a formal description of ontology algebra with functional description language.

Key words: ontology definition, formal description, ontology algebra

中图分类号:

TP301

王俊华, 左万利, 赫枫龄, 王英. 本体定义及本体代数[J]. J4, 2010, 48(06): 1001-1007.

WANG Dun-Hua, ZUO Mo-Li, HE Feng-Ling, WANG Yang. Ontology Definition and Ontology Algebra[J]. J4, 2010, 48(06): 1001-1007.

[1]	韩笑, 赵政达, 王天明. 基于域Morphing算法的手背静脉识别[J]. J4, 2013, 51(02): 294-298.
[2]	王淞昕. 基于描述逻辑的图像检索框架[J]. J4, 2010, 48(02): 265-269.
[3]	鲁宁, 刘磊. 本体的语义变化表示策略[J]. J4, 2009, 47(05): 969-976.
[4]	霍严梅, 杨可新, 魏晓辉, 胡亮. 一个可容错并行文件数据存储模型[J]. J4, 2009, 47(05): 1027-1031.
[5]	程开东, 董险峰, 马驷良. 基于极角特征匹配的动态签名鉴别算法[J]. J4, 2009, 47(05): 1006-1012.
[6]	邱菊, 张忠波, 马驷良. 利用脊波变换对牙片中根管图像的增强方法[J]. J4, 2009, 47(4): 765-768.