Defeasible Inclusions in Low-Complexity DLs