Querying Semantically Web Proteomics Sources: A Logical Perspective | IEEE Conference Publication | IEEE Xplore