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