Using Ontologies in Proteus for Modeling Data Mining Analysis of Proteomics Experiments