DReW reasoner for DL-Programs over Datalog-rewritable Descritption Logics