added stardog as vivo backend