Formal concept analysis for ontologies and their annotation files | IEEE Conference Publication | IEEE Xplore