trying to use stardog reasoning explanations