论文部分内容阅读
军事概念模型各要素之间存在着各种复杂的关系,部分-整体关系是这些要素之间的一种极为重要的关系类型,决定了作为统一整体的模型的内在组成和构件之间的联系。首先,从本体上对军事概念模型中的各种部分-整体关系类型进行了详细地分类,然后使用描述逻辑对各种关系进行了形式表示,最后给出了对关系实例的正确性检验的推理算法。