A faithful integration of Description Logics with Logic Programming