Method of checking capability model based on description logic
Yi Zhang · Systems engineering and electronics · 2010
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.