added stardog as potential backend for vivo