%0 Journal Article
%T 基于语义的产品功能形式化建模
%A 郭钢
%A 汤华茂
%A 罗妤
%J 计算机集成制造系统
%P 0-0
%D 2011
%X 由于缺乏形式语义，很难利用计算机在功能空间中进行有效的推理，以辅助设计人员进行功能分析和产品设计。为了解决传统功能模型存在的缺点,将基于描述逻辑的形式语义及其推理模型引入产品功能建模。从系统的观点出发，在功能基模型的基础上，定义了描述功能行为和流的原子概念，建立了基于本体的产品功能描述模型。举例说明了使用描述逻辑语言对产品功能进行形式化建模的方法。该形式化建模方法可使人和计算机共同理解各项功能的含义，并利用计算机在功能空间中进行推理，辅助设计人员进行功能分析和产品设计。
%K 语义
%K 功能建模
%K 形式化
%K 本体
%K 描述逻辑
%K 产品设计
%U http://www.cims-journal.cn/CN/abstract/abstract3064.shtml