%0 Journal Article
%T 基于本体的分层抽象模型
%A 王楠
%A 欧阳丹彤
%A 孙善武？
%J 计算机科学
%D 2011
%X kra表示模型给出了对物理世界w进行形式化建模的一般框架。在扩展后的广义kra模型中引入本体概念，将抽象对象库扩展为本体类，在本体类中实现kra模型框架中的感知层、语言层和理论层的知识共享和重用，简化了kra模型的表示。分别定义了作用在物理世界w和本体类上的3种本体抽象算子(集):基本本体抽象算子、实体本体抽象算子集和连接本体抽象算子集，并给出了本体类之间的映射关系，通过这种映射关系能够实现模型抽象和模型还原。对本体类的抽象度进行形式化的定义，并给出了相关定理，指出在这样的框架中利用抽象映射可以自动构建物理世界w的抽象度不同的模型。
%K kra抽象模型
%K 本体类
%K 本体抽象算子
%K 抽象度
%K 分层抽象模型
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110242&flag=1