El subconjunto "OWL Lite" se basa en la lógica menos expresiva formula_2.