BeskrivningslogikDefinitionBeskrivningslogiker (DL) är avgörbara fragment av förstordningens logik som utgör den …engineering_practice ★4/5
