DReW

DReW: a reasoner for Datalog-rewritable description logics and dl-programs.