论文部分内容阅读
复杂产品协同仿真往往涉及不同学科的多个子系统。为提升协同仿真过程中的语义一致性,该文基于范畴理论,提出了一种形式化的、能集成多类异构领域本体的本体集成方法。在高层体系结构(high level architecture,HLA)的框架下,该方法重用已有的协同仿真领域本体,将领域本体作为本体范畴的对象,在多个领域本体的基础上创建一个语义统一的联邦本体。理论上证明了该方法形成的联邦本体是范畴论意义下的一个推出,通过该方法形成的联邦本体是各领域本体集成的最小集。建立了基于该方法的复杂产品协同仿真平台,结合具体实例验证了该方法创建的联邦本体能有效地集成各领域本体,实现参与复杂产品协同仿真的各成员间的互理解。
Complex product co-simulation often involves multiple subsystems in different disciplines. In order to improve the semantic consistency in the process of co-simulation, this paper proposes a formal ontology integration method that can integrate ontologies of many kinds of heterogeneous domains based on category theory. Under the framework of high level architecture (HLA), this method reuses the ontology of the existing co-simulation domain, and uses the domain ontology as the object of ontology category to create a semantic unified federal ontology based on a plurality of domain ontologies . It is theoretically proved that the formation of the federal ontology is a kind of introduction in the sense of category theory. The federal ontology formed by this method is the smallest set of ontology integration in all fields. The collaborative simulation platform for complex products based on this method is established. The example shows that the federated ontology created by this method can effectively integrate the ontology of each domain and realize the mutual understanding among the members involved in the collaborative simulation of complex products.