Ontology-to-tools compilation for executable semantic constraint enforcement in LLM agents. - Xiaochi Zhou; Patrick Bulter; Changxuan Yang; Simon Rihm; Thitikarn Angkanaporn; Jethro Akroyd; Sebastian Mosbach; Markus Kraft (CoRR, 2026)