Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules Boris Motik, University of Oxford Contents Why Combine DLs with LP? Main Challenge:…