Efficient Rule-Based Inferencing for OWL EL