A Case of Consistency Verification Technique on Korean CMMS
Jungyoon Kim, Kyunghwa Lee · Journal of the Korea Institute of Military Science and Technology · 2024
The Concept Model of Mission Space(CMMS) can be regarded as an ontology that systematically represents knowledge within a military domain. Ensuring the consistency of this ontology is crucial, and its consistency must be verifiable. This paper presents a case study on the consistency verification of the Korean CMMS, referred to as CMMS-K. The verification feature can detect inconsistencies such as duplication, missing links, and circular definitions within the ontology elements. This capability is achieved through the formality of the Methontology template, which provides a structured specification of ontology elements. The implemented feature demonstrates the practical ability to perform verification and highlights the future prospects of the Korean CMMS.