Method of checking capability model based on description logic
DONG Qing-chao, WANG Zhi-xue, CHEN Jian, ZHANG Yi
Journal of Systems Engineering and Electronics . 2010, (3): 533 -539 .