OWL
A continuación se detallan los más populares razonadores para manejarse con OWL y con DL: