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]

No reviews for this publication, yet.