Lenguaje formal empleado para construir ontologías.