An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas. - Carral, David; Zalewski, Joseph; Hitzler, Pascal (Journal of Logic & Computation, 2023)