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…

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

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