Grosof, B.; Horrocks, I.; Volz, R. & Decker, S. (2003), Description Logic Programs: Combining Logic Programs with Description Logics, in 'Proc. of WWW-2003' .