D.  Carral, Zalewski, J., and Hitzler, P., ?An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas?, Journal of Logic and Computation, 2022.