炮兵军事概念模型语义描述方法研究  

Describing Methodology of Artillery Military Conceptual Model's Semantic

作　　者：胡丰华[1] 赵鑫业[1] 邱晓刚[1] 

机构地区：[1]国防科技大学机电工程与自动化学院,湖南长沙410073

出　　处：《系统仿真技术》2013年第1期21-28,共8页System Simulation Technology

基　　金：国家"863"高技术研究发展计划资助项目(2008AA1212021);国家自然科学基金资助项目(91024030)

摘　　要：炮兵军事概念模型是对炮兵领域知识的第一次抽象,它具有极其丰富的语义。描述炮兵军事概念模型时引入语义网技术,按知识工程的过程与步骤,逐步描述相关炮兵概念模型的语义,并在Protégé工具的支持下以本体的形式表示概念模型及其相关知识。然后用推理器对具有语义的概念模型进行语义的一致性检验、约束冲突检查并报告检查结果,通过检查维护语义的一致性。该方法能够全面、严格、简便地表示与管理、维护炮兵军事概念模型。Artillery Military conceptual model is the first abstraction of military domain knowledge. It has colorful semantic. Using existing semantic web technologies and tools, conforming to the process and steps of knowledge engineering, we build up artillery military conceptual model and add correlative restriction step by step. Then we use Protege to represent conceptual model and correlative knowledge as ontology. In the end, we use RACER （ Renamed ABox and Concept Expression Reasoner） to test the consistency and constraint violation of conceptual models, which have semantic. By the reports of reasoning, we test and maintain the correctness of the concepts＇ semantic. This method can represent, manage and maintain the military conceptual models thoroughly, strictly and simply

关 键 词：军事概念模型 本体论 知识工程 PROTÉGÉ 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]