A Framework for Parallelizing OWL Classification in Description
Logic Reasoners