Veremos, sin embargo, que formula_90 es decidible y es base para el lenguaje de ontología actualmente más aceptado.