Journal of the Korea Institute of Military Science and Technology (한국군사과학기술학회지)

The Korea Institute of Military Science and Technology (한국군사과학기술학회)
권호 표지
DOI QR코드

DOI QR Code

A Case of Consistency Verification Technique on Korean CMMS

한국형 임무공간 개념모델 일관성 검증기법 적용 사례

  • Received : 2024.08.19
  • Accepted : 2024.11.06
  • Published : 2024.12.05
Download PDF
⟨ Previous Next ⟩

Abstract

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.

Keywords

Acknowledgement

이 논문은 국방기술진흥연구소의 지원을 받아 2022년부터 수행 중인 연구임(16-202-210-025, 한국형 임무공간 개념모델 자동화 생성 및 검증 기술).

References

  1. Morosoff, P., Rudnicki, R., Bryant, J., Farrell, R., & Smith, B., Joint Doctrine Ontology: A Benchmark for Military Information Systems Interoperability : 88ABW-2015-2881, STIDS 2015 Proceedings Page 2, 2015.
  2. O. Corcho, M. Fernandez-Lopez and A. Gomez-Perez, "Methodologies, tools and languages for building ontologies. Where is their meeting point?," Data & Knowledge Engineering, 46(1), pp. 41-64, 2003.
  3. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi and P. F. Patel-Schneider, The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press, 2003.
  4. A. Gomez-Perez, "Ontology Evaluation," Handbook on ontologies, Springer, pp. 251-273, 2004.
  5. Andrew Burton-Jones a, Veda C. Storey a, Vijayan Sugumaran b, Punit Ahluwalia, "A semiotic metrics suite for assessing the quality of ontologies," Data & Knowledge Engineering, 2005.
  6. Gomez-Perez, A., Fernandez-Lopez, M., Corcho, O., "3.3.5 METHONTOLOGY," in Ontological Engineering, Springer, pp. 125-142, 2003.
  7. Shvaiko, P., & Euzenat, J., "Ontology matching: State of the art and future challenges," IEEE Transactions on Knowledge and Data Engineering, 25(1), pp. 158-176, 2013.
  8. C. Schlenoff, M. Gruninger, F. Tissot, J. Valois, J. Lubell and J. Lee, "The Process Specification Language(PSL): Overview and Version 1.0 Specification," NISTIR 6459, National Institute of Standards and Technology, 2000.