Towards Knowledge Formalization for Domain Experts Using LLMs. - Stijn Voet; Christian Fleiner; Simon Vandevelde (HHAI, 2025)