A uniform tableaux-based method for concept abduction and contraction in description logics