Invia SMS: Consequence-based and fixed-parameter tractable reasoning in description logics