炮兵军事概念模型是对炮兵领域知识的第一次抽象,它具有极其丰富的语义.描述炮兵军事概念模型时引入语义网技术,按知识工程的过程与步骤,逐步描述相关炮兵概念模型的语义,并在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 Protégé 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.
展开▼