Description Logic Reasoning with Decision Diagrams Compiling StilQ to Disjunctive Datalog
S. Rudolph, M. Krotzsch, and P. Hitzler. The Semantic Web-Iswc 2008: 7th International Semantic Web Conference, Iswc 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings, (2008)