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]

Authors

David Carral

This author has not been identified. Look up 'David Carral' in Google

Joseph Zalewski

This author has not been identified. Look up 'Joseph Zalewski' in Google

Pascal Hitzler

This author has not been identified. Look up 'Pascal Hitzler' in Google