Motik, Boris
Reasoning in Description Logics using Resolution and Deductive Databases
Universität Karlsruhe, Fak. f. Wirtschaftswissenschaften. Diss. v. 09.01.2006.
M. Becker, J. Mueller, A. Hotho, and G. Stumme. Conference on Pervasive and Ubiquitous Computing Adjunct Publication, page 1175--1182. New York, NY, USA, (2013)