a Guangdong University of Foreign Studies, Guangzhou 510006, Chinab State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, Chinac School of Computer Science and Engineering, Southeast University, Nanjing 211189, Chinad Department of Computing Science, the University of Aberdeen, Aberdeen AB24 3UE, UK ;
Jianfeng Du,Guilin Qi,Jeff Z. Pan. finding data tractable description logics for computing a minimum cost diagnosis based on abox decomposition[J]. Tsinghua Science & Technology,2010-01-01,15(6):623 - 632.