Grosof, Benjamin ; Horrocks, Ian ; Volz, Raphael ; Decker, Stefan: {Description Logic Programs: Combining Logic Programs with Description Logics}. In: Proc. of WWW-2003. Budapest, Hungary, 2003