| 使用本体和SWRL验证作战计划的方法 |
| |
| 引用本文： | 钱猛,刘忠,都业宏,姚莉.使用本体和SWRL验证作战计划的方法[J].计算机工程与应用,2009,45(8):208-212. |
| |
| 作者姓名： | 钱猛 刘忠 都业宏 姚莉 |
| |
| 作者单位： | 国防科技大学信息系统与管理学院,长沙,410073 |
| |
| 摘 要： | 计划验证是计划编制过程的重要环节。从知识管理的角度,在已有计划表示和计划推理相关研究的基础上,提出了一种基于本体和规则的计划验证方法框架,通过对计划知识进行基于本体的表示、基于描述逻辑、一阶谓词逻辑的规则知识抽取和计划推理,以实现对计划的验证。并以某排雷作战计划的验证为例进行了实验。实验表明,该方法实现了对专家知识的扩展,提高了作战计划正确性检验的效率。
|
| 关 键 词： | 本体 规则 推理 作战计划验证 Web本体语言 语义网规则语言 一阶逻辑 |
| 收稿时间： | 2008-9-17 |
| 修稿时间： | 2008-12-8
|
Course of Action validation approach using Ontology and SWRL |
| |
| QIAN Meng,LIU Zhong,DU Ye-hong,YAO Li School of Information System , Management,National University of Defense Technology,Changsha ,China.Course of Action validation approach using Ontology and SWRL[J].Computer Engineering and Applications,2009,45(8):208-212. |
| |
| Authors: | QIAN Meng LIU Zhong DU Ye-hong YAO Li School of Information System Management National University of Defense Technology Changsha China |
| |
| Affiliation: | QIAN Meng,LIU Zhong,DU Ye-hong,YAO Li School of Information System , Management,National University of Defense Technology,Changsha 410073,China |
| |
| Abstract: | |
| |
| Keywords: | ontology rule reasoning Course of Action（COA） validation Web Ontology Language（OWL） Semantic Web Rule Language（SWRL） First Order Logic（FOL） |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
|
