Using ontologies in PROTEUS for modeling proteomics data mining applications.