Defeasible Inheritance-Based Description Logics