Wlodzimierz Drabent Jakob Henriksson Jan Maluszynski HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. 2007 ALPSWS http://ceur-ws.org/Vol-287/paper_9.pdf conf/iclp/2007alpsws db/conf/iclp/alpsws2007.html#DrabentHM07