A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results