文献类型：期刊文章

作　　者：王楠[1,2] 欧阳丹彤[1] 孙善武[3]

机构地区：[1]吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室,长春130012 [2]吉林财经大学信息学院,长春130117 [3]吉林财经大学网络实验中心,长春130117

出　　处：《计算机科学》

基　　金：国家自然科学基金重大项目基金(60496320;60496321);国家自然科学基金(60973089;60773097;60873148);吉林省科技发展计划项目基金(20060532;20080107);欧盟合作项目(155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12)资助。

年　　份：2011

卷　　号：38

期　　号：2

起止页码：184-186

语　　种：中文

收录情况：BDHX、BDHX2008、CSA、CSCD、CSCD2011_2012、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

摘　　要：KRA表示模型给出了对物理世界W进行形式化建模的一般框架。在扩展后的广义KRA模型中引入本体概念,将抽象对象库扩展为本体类,在本体类中实现KRA模型框架中的感知层、语言层和理论层的知识共享和重用,简化了KRA模型的表示。分别定义了作用在物理世界W和本体类上的3种本体抽象算子(集):基本本体抽象算子、实体本体抽象算子集和连接本体抽象算子集,并给出了本体类之间的映射关系,通过这种映射关系能够实现模型抽象和模型还原。对本体类的抽象度进行形式化的定义,并给出了相关定理,指出在这样的框架中利用抽象映射可以自动构建物理世界W的抽象度不同的模型。

关 键 词：KRA抽象模型  本体类  本体抽象算子  抽象度  分层抽象模型  

分 类 号：TP391]