Research Article
A Modular Approach for Reasoning about Large-Scale Description Logic Knowledge-Base
School of Computer and Information Engineering, Zhejiang Gongshang University, Xuezheng Street No. 18, Hangzhou 310018, Zhejiang, People�s Republic of China