Combining Description Logic and Defeasible Logic for the Semantic Web