基于本体的分层抽象模型

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