##article.return## LOGicalThought: Logic-Based Ontological Grounding of LLMs for High-Assurance Reasoning Download Download PDF