Combining ontologies and workflows to design formal protocols for biological laboratories · Study