Description LogicDefinitionLe Description Logics (DL) sono frammenti decidibili della logica del primo ordine che …engineering_practice ★4/5
