En informática e inteligencia artificial, los lenguajes de ontología son lenguajes formales utilizados para construir ontologías. Permiten la codificación del conocimiento sobre dominios específicos y a menudo incluyen reglas de razonamiento que respaldan el procesamiento de ese conocimiento.
