Text this: An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas.