Figure 3
From: Combining ontologies and workflows to design formal protocols for biological laboratories
Description of the system proposed for designing a formal laboratory protocol. Add and add_reagent_to_container are respectively an Action subclass and one of its instances. Pipette is an Equipment subclass and is a formal parameter (paramIN) in add_reagent_to_container. myPipette is an OWL individual of Pipette class and it is also an actual parameter of the add_reagent_to_container XPDL Application.