InteractiveKG: Transparent and user-controllable knowledge graph reasoning | Synapse