OWL DL: A profile for Reasoners