An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas