复杂产品协同仿真中基于范畴论的语义本体集成  

Domain ontology integration based on category theory for collaborative simulations of complex products

作　　者：李犁[1] 肖田元[1] 马成[1] 孙宏波[1] 

机构地区：[1]清华大学自动化系,国家CIMS中心,北京100084

出　　处：《清华大学学报（自然科学版）》2012年第1期40-46,共7页Journal of Tsinghua University(Science and Technology)

基　　金：国家“八六三”高技术项目(2009AA110302)

摘　　要：复杂产品协同仿真往往涉及不同学科的多个子系统。为提升协同仿真过程中的语义一致性,该文基于范畴理论,提出了一种形式化的、能集成多类异构领域本体的本体集成方法。在高层体系结构(high level architecture,HLA)的框架下,该方法重用已有的协同仿真领域本体,将领域本体作为本体范畴的对象,在多个领域本体的基础上创建一个语义统一的联邦本体。理论上证明了该方法形成的联邦本体是范畴论意义下的一个推出,通过该方法形成的联邦本体是各领域本体集成的最小集。建立了基于该方法的复杂产品协同仿真平台,结合具体实例验证了该方法创建的联邦本体能有效地集成各领域本体,实现参与复杂产品协同仿真的各成员间的互理解。Collaborative simulations of complex products often involve multi-disciplinary systems.Semantic consistency is always a challenge in these systems.This paper presents a domain ontology integration method that ensures semantic consistency in collaborative simulations for complex product development.The method is compatible with high level architectures（HLA） and is based on category theory.The method uses a formalized algorithm to integrate multi-disciplinary heterogeneous ontologies as objects of an ontology category to generate a federated ontology that ensures semantic consistency during the federation execution.The federation ontology is proved to be a pushout,which ensures that the containment is complete,unique and minimal.A semantic based collaborative simulation and an industrial case demonstrate the feasibility of this method.

关 键 词：计算机仿真 高层体系结构(HLA) 本体 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]