Knowledge Prompting: How Knowledge Engineers Use Large Language Models | Synapse