IsoKEGG: A logic based system for querying biological pathways in KEGG | IEEE Conference Publication | IEEE Xplore