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

书籍简介:

本书基于本体论中的基本哲学概念，运用形式化的表达方法，构建面向业务建模的上层本体框架，主要内容包括：依据该框架对装备保障领域核心概念进行分析，针对保障系统的组成要素中的实体类概念和契机类概念分别构建本体语义框架，针对动态建模扩展连续物范畴本体语义框架，对部分-整体关系进行扩展重构，并基于这些语义和关系构建装备本体建模框架；基于所构建的装备保障本体建模框架对UML元模型进行扩展，得到适合装备保障的领域特定建模语言，运用语言可以构建基于本体的装备保障特定领域或特定业务的信息模型；给出用于形式化规约的描述逻辑的体系结构和一阶谓词逻辑到描述逻辑的转换方法及正确性证明，并给出基于描述逻辑的一致性检测方法。

书籍规格:

书籍信息归属:

基于本体的装备保障信息模型建模方法是国防工业出版社于2019.7出版的中图分类号为 E145.6 的主题关于 军事装备－装备保障－系统建模－研究 的书籍。