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…
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…