KGBN: Augmenting and optimizing logical gene regulatory networks using knowledge graphs | Synapse