Documents Integrating DLs with Logic Programming Boris Motik, University of Manchester Joint work with...

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…

Documents Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules Boris....

Slide 1 Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules Boris Motik, University of Oxford Slide 2 2/32 Contents Why Combine…