Description logic programs: combining logic programs with description logic.

Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker

Browse the full WWW paper archive.