基于本体的装备保障信息模型建模方法

第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章 装备保障领域本体形式化规约及检验方法

第7章 案例分析与设计

参考文献