Ontology algebra for composition of protein data sources | IEEE Conference Publication | IEEE Xplore