Description LogicDefinitionDescription Logics (DL) are decidable fragments of first-order logic that form the …engineering_practice ★4/5
