Slide 1 Integrating DLs with Logic Programming Boris Motik, University of Manchester Joint work with Riccardo Rosati, University of Rome Slide 2 2/21 Contents Description…