Efficient Inferencing for OWL EL