作　　者： ; ; ; ;

机构地区： 吉林大学计算机科学与技术学院

出　　处： 《吉林大学学报（理学版）》 2010年第6期1001-1007,共7页

摘　　要： 基于现有的本体定义,采用函数式描述语言精确定义了本体建模基元,给出一种新的本体形式化描述,并给出了本体间近义关联的定义,在新本体形式化描述和本体间近义关联定义的基础上,提出一种具有封闭性的本体代数定义,同时结合函数式描述语言,给出了其形式化描述. We defined fruits of researches on put forward a closed ontologies, and gave a the ontology models accurately with functional description language by analyzing the ontology definition, and further, proposed a novel method of formal ontology definition, ontology algebra definition by defining the grade of similitude relevance between formal description of ontology algebra with functional description language.

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

领　　域： [自动化与计算机技术] [自动化与计算机技术]