Use Redis as triplestore.