BeschrijvingslogicaDefinitionBeschrijvingslogica’s (DL) zijn beslisbare fragmenten van de eerste-orde logica die …engineering_practice ★4/5
