装备保障计划本体的建立和分析

基于本体论方法形式化地探讨装备保障计划本体的建立和分析,具体介绍了机械化步兵师装备保障计划本体的建立方法、本体元素的描述、本体的一致性等方面的内容。给出两个判断类间关系一致性的算法并分析其性质,探讨了基于公理化的知识的一致性。