1. Antoniou, G., Damásio, C., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.: Combining rules and ontologies: A survey. Reasoning on the Web with Rules and Semantics (2005)
2. Grosof, B., Horrocks, I., Volz, R.: Description logic programs: Combining logic programs with description logic. In: Proceedings of the 12th international conference on World Wide Web, pp. 48–57. ACM, New York (2003)
3. Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ- description logic to disjunctive datalog programs. In: Proc. KR, pp. 152–162 (2004)
4. Motik, B., Vrandečić, D., Hitzler, P., Studer, R.: Dlpconvert–converting OWL DLP statements to logic programs. In: European Semantic Web Conference 2005 Demos and Posters, Citeseer (2005)
5. Motik, B.: Reasoning in description logics using resolution and deductive databases. PhD theis, University Karlsruhe, Germany (2006)