Description Logic Programs: Combining Logic Programs with Description Logic - Grosof, Benjamin (IDEAS Working Paper Series from RePEc, 2004)