将描述逻辑引入军事数据资源需求描述,提出了一种基于语义的需求描述模型,便于计算机理解和处理。介绍了该模型的内涵和总体框架,并以作战力量数据资源为例,阐述了作战力量数据资源概念术语集的构建、作战力量数据资源的表征和需求的形式化描述。依据数据需求,制定了相应推理规则,其可借助描述逻辑的可判定性实现军事数据资源需求的推理。
This paper introduces description logic into requirement descryiption of military data resource and puts forward a semantic requirement description model that can be understood and handled by computer.Meanwhile,data resource of operational force is taken as an example to explain the construction of data resource terminological set,description of data resource and formal description of requirement.According to the requirement of data resource,establishes corresponding reasoning rules that can be used to reason the requirement set of military data resource based on the decidability of description logic.