摘要：【目的】為實(shí)現(xiàn)動(dòng)態(tài)設(shè)計(jì)過(guò)程知識(shí)的有效重用,研究設(shè)計(jì)過(guò)程知識(shí)的語(yǔ)義表示方法。【方法】在回顧和分析現(xiàn)有研究的基礎(chǔ)上,引入模塊化設(shè)計(jì)思想;分析設(shè)計(jì)過(guò)程知識(shí)的內(nèi)容和特征,提出基于雙層模塊化封裝技術(shù)的設(shè)計(jì)過(guò)程知識(shí)語(yǔ)義模型,結(jié)合本體表示方法對(duì)語(yǔ)義模型進(jìn)行形式化表示;以反后坐系統(tǒng)概念設(shè)計(jì)為例,利用OWL語(yǔ)言實(shí)現(xiàn)案例中設(shè)計(jì)過(guò)程知識(shí)的語(yǔ)義表示。【結(jié)果】構(gòu)建面向知識(shí)重用的設(shè)計(jì)過(guò)程知識(shí)語(yǔ)義模型,利用本體對(duì)語(yǔ)義模型進(jìn)行形式化表示;采用OWL語(yǔ)言對(duì)反后坐系統(tǒng)設(shè)計(jì)的過(guò)程知識(shí)進(jìn)行語(yǔ)義表示。【局限】采用單一案例進(jìn)行分析,方法的通用性需進(jìn)一步驗(yàn)證。【結(jié)論】本文方法能夠?qū)崿F(xiàn)動(dòng)態(tài)設(shè)計(jì)過(guò)程知識(shí)的語(yǔ)義表示,通過(guò)案例分析驗(yàn)證了方法的可行性和有效性。