Parallelizing Description Logic Reasoning