"OWL DL" se basa en la lógica descriptiva formula_1.