Auditing subtype inconsistencies among gene ontology concepts | IEEE Conference Publication | IEEE Xplore