Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog

We propose a novel method for reasoning in the description logic $\mathcal{SHIQ}$ . After a satisfiability preserving transformation from $\mathcal{SHIQ}$ to the description logic $\mathcal{ALCI}