內容簡介
本書基於本體論中的基本哲學概念,運用形式化的表達方法,構建面向業務建模的上層本體框架,主要內容包括:依據該框架對裝備保障領域核心概念進行分析,針對保障繫統的組成要素中的實體類概念和契機類概念分別構建本體語義框架,針對動態建模擴展連續物範疇本體語義框架,對部分-整體關繫進行擴展重構,並基於這些語義和關繫構建裝備本體建模框架;基於所構建的裝備保障本體建模框架對模型進行擴展,得到適合裝備保障的領域特定建模語言,運用語言可以構建基於本體的裝備保障特定領域或特定業務的信息模型;給出用於形式化規約的描述邏輯的體繫結構和一階謂詞邏輯到描述邏輯的轉換方法及正確性證明,並給出基於描述邏輯的一致性檢測方法。