Text this: Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog