Integrating DLs with Logic Programming Boris Motik, University of Manchester Joint work with Riccardo Rosati, University of Rome.
Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules Boris Motik, University of Oxford.
Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules