基於本體的裝備保障信息模型建模方法

內容簡介

《基於本體的裝備保障信息模型建模方法》以裝備保障信息模型為研究對象，引入信息科學中的“本體論”，研究了本元、個體、共相、實體、契機等概念的定義和形式化表達，構建了面向業務建模的上層本體框架，依據該框架，提出了一種基於上層本體建立裝備保障信息模型的建模框架，給出了運用擴展後的領域特定建模語言進行保障業務建模的方法，並研究了其形式化規約的一致性檢測方法。

《基於本體的裝備保障信息模型建模方法》可供裝備保障業務建模及信息化建設人員閱讀，也可作為其他領域業務建模方法論的借鑑參考用書。

圖書目錄

第1章緒論

1．1 引言

1．2 國內外研究現狀

1．3 主要研究內容

第2章本體論概述及上層本體

2．1 本體概念內涵

2．2 本體建模基元

2．3 本體形式化定義

2．4 本體類別

2．5 本體構建

2．5．1 本體構建原則

2．5．2 本體建模方法

2．5．3 本體建模工具

2．6 本體描述語言

2．7 上層本體

2．7．1 本體層級及上層本體

2．7．2 DOLCE本體

2．7．3 GOL本體

第3章信息模型的本體基礎

3．1 連續物與持續物

3．2 部分一整體關係

3．2．1 形式化部分一整體理論

3．2．2 部分一整體理論用於概念建模的問題

3．2．3 有機整體

3．2．4 部分一整體關係中的次要特性

3．3 本體論基本範疇

3．3．1 集合與本元

3．3．2 契機

3．3．3 實體

3．3．4 共相

3．4 面向動態建模的語義擴展

第4章裝備保障本體建模框架

4．1 裝備保障系統組成要素分析

4．1．1 功能要素

4．1．2 資源要素

4．1．3 組織要素

4．2 實體類概念本體建模框架

4．2．1 本體元特性

4．2．2 實體概念基礎類別體系

4．2．3 裝備保障領域實體概念本體建模

4．3 契機類概念本體建模框架

4．3．1 特徵、特徵值、特徵維和特徵域

4．3．2 RMS參數的本體建模

4．3．3 關係與關係子

4．3．4 保障功能本體建模

4．4 連續物概念本體建模框架

4．5 部分一整體關係擴展分類結構

……

第5章基於裝備保障領域本體的領域特定建模語言

第6章裝備保障領域本體形式化規約及檢驗方法

基於本體的裝備保障信息模型建模方法

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條