BeskrivelseslogikDefinitionBeskrivelseslogikker (DL) er afgørlige fragmenter af førsteordenslogik, der udgør den …engineering_practice ★4/5
