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

David Carral, Joseph Zalewski, Pascal Hitzler. An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas. Journal of Logic and Computation, 33(1):136-162, January 2023. [doi]

Abstract

Abstract is missing.