Has anyone experimented with using KGs to augment logical reasoning/chain of thought reasoning?