Un lenguaje de ontología es un lenguaje formal usado para codificar una ontología.