using redis database for reading opencyc