Journal of Systems Engineering and Electronics ›› 2010, Vol. 32 ›› Issue (3): 533-539.

Previous Articles     Next Articles

Method of checking capability model based on description logic

DONG Qing-chao, WANG Zhi-xue, CHEN Jian, ZHANG Yi   

  1. (Inst. of Command Automation, Univ. of Science and Technology of the PLA, Nanjing 210007, China)
  • Online:2010-03-18 Published:2010-01-03

PDF (PC)

Abstract:

A method of checking capability model is proposed. It describes the meta concept model and application concept model of capability requirements using an ontology description language (OWL DL), then some model checking rules are added on the models so as to enable model integrity and consistency checking by using a symbol inference system.

[an error occurred while processing this directive]