Ontology-based Design of Bioinformatics Workflows on PROTEUS