Theoretical Foundations of Defeasible Description Logics