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

摘要： 使得計算機理解系統(tǒng)設(shè)計的語義并完成自動推理是實現(xiàn)智能制造和基于模型的系統(tǒng)工程的兩個重要特征,但現(xiàn)有系統(tǒng)建模語言對語義表達和自動推理的支持有限。 （共17頁）