S.  Rudolph, Krötzsch, M., and Hitzler, P., ?Type-Elimination-Based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog?, Logical Methods in Computer Science, vol. 8, 2012.