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

Carral, David ; Zalewski, Joseph ; Hitzler, Pascal

Journal of logic and computation, 2023-01, Vol.33 (1), p.136-162 [Periódico revisado por pares]

Oxford University Press (OUP)

Texto completo disponível