The limits and possibilities of combining description logics and datalog