关键词: 语义, 功能建模, 形式化, 本体, 描述逻辑, 产品设计

Abstract: Owing to lack formal semantics, it was difficult for computers to conduct reasoning effectively in functional space to support functional analysis and product design for designers. To solve the weakness of conventional functional modeling, the formal semantics and the reasoning model based on description logic were introduced into product functional modeling. From the system's point of view, the atomic concepts of flows and functional behaviors based on the function basis were defined. Moreover, a product function description model based on ontology was constructed. An example was given to illustrate the method for constructing formal product functional models with the description language. The meaning of functions were fully understood by computers and users with the formal modeling method. In addition, designers were able to conduct functional analysis and product design by reasoning in functional space with computers.

Key words: semantics, functional modeling, formalization, ontology, description logic, product design