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.

M.  Krötzsch, Maier, F., Krisnadhi, A., and Hitzler, P., ?A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies?, in Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011, 2011, pp. 645-654.