本体定义及本体代数

被引：3

作者：

王俊华

左万利

赫枫龄

王英

机构：

[1] 吉林大学计算机科学与技术学院

[2] 吉林大学符号计算与知识工程教育部重点实验室

来源：

吉林大学学报(理学版) | 2010年 / 48卷 / 06期

基金：

高等学校博士学科点专项科研基金;

关键词：

本体定义; 形式化描述; 本体代数;

D O I：

10.13413/j.cnki.jdxblxb.2010.06.037

中图分类号：

TP391.1 [文字信息处理];

学科分类号：

081203 ; 0835 ;

摘要：

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

引用

页码：1001 / 1007

页数：7

共 13 条

[1] 基于扩展序类逻辑的Ontology形式化描述与模型检验 [J].

陶县俊 ;

王晓东 .

计算机工程与设计, 2008, (22) :5780-5782+5785

[2] 服务于本体逻辑理论的本体定义 [J].

吕鲲 ;

曾庆良 ;

万丽荣 ;

曾庆田 ;

刘志海 .

计算机工程, 2008, (09) :52-54

[3] 基于多Agent的开放本体服务 [J].

白岩 ;

刘大有 ;

姜丽 .

吉林大学学报(工学版), 2007, (03) :587-590

[4] FCA与本体结合研究的综述 [J].

周文 ;

刘宗田 ;

陈慧琼 .

计算机科学, 2006, (02) :8-12

[5] 知识工程中的本体综述 [J].

张宇翔 .

计算机工程, 2005, (S1) :112-114

[6] 基于属性文法的本体形式化描述方法及其应用 [J].

宫慧颖 ;

汪美玲 ;

刘磊 .

吉林大学学报(信息科学版), 2005, (02) :199-204

[7] 本体论研究综述 [J].

李善平 ;

尹奇韡 ;

胡玉杰 ;

郭鸣 ;

付相君 .

计算机研究与发展, 2004, (07) :1041-1052

[8] 一种本体的形式描述方法及其应用 [J].

张大志 ;

刘磊 .

吉林大学学报(信息科学版), 2004, (01) :74-78

[9] 本体内代数系统之研究 [J].

邓志鸿 ;

唐世渭 ;

杨冬青 ;

张铭 .

计算机工程与应用, 2001, (23) :7-8+40

[10]

用本体实现地理信息系统语义集成和互操作[D]. 崔巍.武汉大学. 2004

← 1 2 →