检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]国防信息学院,武汉430010
出 处:《火力与指挥控制》2013年第1期22-25,共4页Fire Control & Command Control
基 金:国家自然科学基金重点资助项目(61035004)
摘 要:将描述逻辑引入军事数据资源需求描述,提出了一种基于语义的需求描述模型,便于计算机理解和处理。介绍了该模型的内涵和总体框架,并以作战力量数据资源为例,阐述了作战力量数据资源概念术语集的构建、作战力量数据资源的表征和需求的形式化描述。依据数据需求,制定了相应推理规则,其可借助描述逻辑的可判定性实现军事数据资源需求的推理。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.
分 类 号:TP391[自动化与计算机技术—计算机应用技术] E911[自动化与计算机技术—计算机科学与技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.24