A Knowledge Compilation Technique for ALC Tboxes