Thi Anh Le Pham Nhan Le Thanh Decomposition-Based Reasoning for Large Knowledge Bases in Description Logics. 288-295 2006 conf/ispe/2006 ISPE CE db/conf/ispe/ispe2006.html#PhamT06