A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics.