基于本體的公理化系統(tǒng)設(shè)計(jì)語(yǔ)義建模與推理規(guī)則

摘要： 使得計(jì)算機(jī)理解系統(tǒng)設(shè)計(jì)的語(yǔ)義并完成自動(dòng)推理是實(shí)現(xiàn)智能制造和基于模型的系統(tǒng)工程的兩個(gè)重要特征,但現(xiàn)有系統(tǒng)建模語(yǔ)言對(duì)語(yǔ)義表達(dá)和自動(dòng)推理的支持有限。