摘要
军事概念模型各要素之间存在着各种复杂的关系,部分-整体关系是这些要素之间的一种极为重要的关系类型,决定了作为统一整体的模型的内在组成和构件之间的联系。首先,从本体上对军事概念模型中的各种部分-整体关系类型进行了详细地分类,然后使用描述逻辑对各种关系进行了形式表示,最后给出了对关系实例的正确性检验的推理算法。
Various complex relationships exist among military conceptual model factors. Part-whole relation among these factors is an important type of relationship, which decides the relation between internal composition and components of the unified whole model. Firstly, various types of part-whole relations in military conceptual model were classified ontologically in detail. Secondly, the relationships were formalized by using description logics. Finally, the reasoning algorithm on checking the validity of the relationship instance was proposed.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2010年第11期2537-2540,共4页
Journal of System Simulation
关键词
本体
描述逻辑
军事概念
模型
部分-整体关系
ontology
description logics
military concept
model
part-whole relations
