• CN:11-2187/TH
  • ISSN:0577-6686

机械工程学报 ›› 2021, Vol. 57 ›› Issue (5): 205-221.doi: 10.3901/JME.2021.05.205

• 数字化设计与制造 • 上一篇    下一篇

扫码分享

基于本体的公理化系统设计语义建模与推理规则

王昊琪, 李浩, 文笑雨   

  1. 郑州轻工业大学机电工程学院 郑州 450002
  • 收稿日期:2019-12-27 修回日期:2020-04-29 出版日期:2021-03-05 发布日期:2021-04-28
  • 通讯作者: 王昊琪(通信作者),男,1989年出生,博士,讲师。研究方向为复杂产品设计、基于模型的系统工程、数字孪生。E-mail:haoqiwang0218@163.com
  • 作者简介:李浩,男,1981年出生,博士,副教授。研究方向为智能制造服务、设计方法学、产品数据管理、数字孪生技术等。E-mail:lh9666@hotmail.com;文笑雨,女,1988年出生,博士,讲师。研究方向为车间调度、制造执行系统、数字孪生。E-mail:2014073@zzuli.edu.cn
  • 基金资助:
    上海市网络化制造与企业信息化重点实验室基金(KT20190603)和国家自然科学基金青年科学基金(51905493)资助项目。

Ontology-based Axiomatic System Design Semantic Modeling and Reasoning Rules

WANG Haoqi, LI Hao, WEN Xiaoyu   

  1. School of Mechanical and Electrical Engineering, Zhengzhou University of Light Industry, Zhengzhou 450002
  • Received:2019-12-27 Revised:2020-04-29 Online:2021-03-05 Published:2021-04-28

摘要: 使得计算机理解系统设计的语义并完成自动推理是实现智能制造和基于模型的系统工程的两个重要特征,但现有系统建模语言对语义表达和自动推理的支持有限。第一,为了满足复杂产品系统建模的语义表达要求,在前期工作—基于模型的公理化系统设计(Axiomatic model-based systems engineering,A-MBSD)的基础上,构建对应的本体模型A-MBSD Ontology;通过网络本体语言(Web ontology language 2,OWL2),明确定义系统设计的语义及其之间的关系。第二,为了满足系统建模的推理要求,使用语义网规则语言(Semantic web rule language,SWRL)对设计公理和规则进行定义,支持功能耦合性的判断和最优设计方案的选择。最后,以卫星太阳翼的系统设计为例,证明所构建的本体模型能够明确表达系统设计语义,相应的规则可以自动推理出设计参数所影响的功能需求、功能需求之间的耦合等,避免在试验阶段才发现耦合问题而导致的设计返工,提高系统设计的效率。

关键词: 系统设计, 公理化设计, 语义网, 本体, 推理规则

Abstract: Two significant features of intelligent manufacturing and model-based systems engineering (MBSE) are machine-readable and automatic reasoning capabilities of system design. However, the systems modeling langue is not sufficient to represent semantics and support automatic reasoning. First, for enabling the machine-readable capability of system modeling of complex products, based on previous work—axiomatic model-based systems engineering (A-MBSD), a semantic model named A-MBSD ontology for system design is constructed. OWL2 (Web ontology language 2) is used to specify semantic relationships of system design. Second, in order to realize automatic reasoning capability, SWRL (Semantic web rule language) is used to formally represent design axioms and rules that support functional couplings identification and optimal design solution selection. The result of system design of a satellite solar wing shows that A-MBSD Ontology can represent design semantics, and corresponding rules are able to infer functional couplings of current design and help designer to select the optimal design solution, which can avoid rework due to identifying couplings in the late experiment stage.

Key words: system design, axiomatic design, semantic web technology, ontology, reasoning rules

中图分类号: