BeskrivelseslogikkDefinitionBeskrivelseslogikker (DL) er avgjørbare fragmenter av førstesrads logikk som danner det …engineering_practice ★4/5
