资源描述：
《本体定义及本体代数》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、第48卷第6期吉林大学学报(理学版)Vo.l48No.62010年11月JournalofJilinUniversity(ScienceEdition)Nov2010本体定义及本体代数王俊华,左万利,赫枫龄,王英(吉林大学计算机科学与技术学院,长春130012;吉林大学符号计算与知识工程教育部重点实验室,长春130012)摘要:基于现有的本体定义,采用函数式描述语言精确定义了本体建模基元,给出一种新的本体形式化描述,并给出了本体间近义关联的定义,在新本体形式化描述和本体间近义关联定义的基
2、础上,提出一种具有封闭性的本体代数定义,同时结合函数式描述语言,给出了其形式化描述.关键词:本体定义;形式化描述;本体代数中图分类号:TP301文献标志码:A文章编号:16715489(2010)06100107OntologyDefinitionandOntologyAlgebraWANGJunhua,ZUOWanl,iHEFengling,WANGYing(CollegeofComputerScienceandTechnology,JilinUniversity,Changc
3、hun130012,China;KeyLaboratoryofSymbolicComputationandKnowledgeEngineeringofMinistryofEducation,JilinUniversity,Changchun130012,China)Abstrac:tWedefinedtheontologymodelsaccuratelywithfunctionaldescriptionlanguagebyanalyzingthefruitsofresearchesonontolog
4、ydefinition,andfurther,proposedanovelmethodofformalontologydefinition,putforwardaclosedontologyalgebradefinitionbydefiningthegradeofsimilituderelevancebetweenontologies,andgaveaformaldescriptionofontologyalgebrawithfunctionaldescriptionlanguage.Keyword
5、s:ontologydefinition;formaldescription;ontologyalgebra目前,本体已成为计算机领域专业语言的必要组成部分.本体定义和本体代数是本体工程研究的[1]基础.Neches等最早给出了本体的定义:本体定义了组成主题领域词汇表的基本术语及其关系,以及结合这些术语和关系定义词汇表外延的规则!.之后,文献[213]分别由不同的侧重点给出了本体不同的定义.[1316][14,17][18][19]本体的形式化描述主要有基于五元组、六元组、七元组和八元组的本体形
6、式化描述.文献[20]将本体作为对象,给出了本体的递归描述.文献[21]将本体抽象为外部声明和内部表示两部分,在外部声明中说明本体中的概念与关系;在内部表示中说明这些概念和关系的语义,建立了本体内的简单推理模型.文献[22]提出了基于属性文法的本体形式化描述方法.基于集合论的本体形式化定义如下:(1)五元组.KAON形式化定义:核心本体是结构O∀=(C,C,R,,R),其中:C和R为两个收稿日期:20091102.作者简介:王俊华(1982),女,汉族,硕士研究生,从事本体工程的研究,E
7、mai:lwangjunhua_1982@126.com.通讯作者:左万利(1957),男,汉族,教授,博士生导师,从事数据库理论、机器学习、数据挖掘与Web挖掘和网络搜索引擎的研究,Emai:lwanl@ijlu.edu.cn.基金项目:国家自然科学基金(批准号:60973040)、国家自然科学杰出青年基金(批准号:60903098)、吉林省科技发展计划项目(批准号:20070533)、教育部高等学校博士学科点专项科研基金(批准号:200801830021)和吉林大学基本科研业务费交叉学科与
8、创新项目(批准号:200810025).1002吉林大学学报(理学版)第48卷交集为空的集合,分别被称为概念标识符与关系标识符;偏序C为集合C的上下位关系;函数[14]:R#C+称为签名;偏序R称为集合R的关系层次.[13][19]周文等引用Maedche等对本体的理解,认为本体可视为一个五元组O∀={C,R,H,re,lA};其中:C和R表示两个交集为空的集合,它们的元素分别被称为概念标识符和关系标识符;概念层次H是一个有向的传递关系,H是C∃C的
