Ontology-Guided LLMs: Grounding Inference with OpenMath Knowledge | Dark Hacker News