A Customized ILP-Based Solver for Description Logic Reasoners