control recipe
IRI: https://spec.industrialontologies.org/ontology/construct/ControlRecipe
Defined In: https://spec.industrialontologies.org/ontology/biopharma/Recipe/
SubClass Of: recipe
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › plan specification › recipe › control recipe
Definition
recipe that prescribes particular pieces of equipment and specific lots or inventoried materials to be used in some batch runs
Explanatory Notes
A control recipe may be derived from a master recipe. However, this is not always the case such as in a process development. In that scenario a control recipe is created before a master recipe.
Usage Notes
1) Only control recipes are executed (bfo: concretized by) a batch run. Other recipe types serve only to prescribe the process at various levels of abstraction. They themselves are not executed (concretized by) the batch run. Therefore, if a recipe is concretized in a batch run, this is a sufficient condition to classify it as a control recipe. 2) A control recipe explicitly specifies the actual equipment used in the batch run, including the unique identifiers of that equipment. In contrast, other types of recipes typically define only the required capabilities or categories of equipment (e.g., “a mixing vessel” or “a bioreactor class”). This is formally expressed using the axiom ‘has continuant part at all times’ some (identifier and (designates some ‘piece of equipment’)). Users should include an identifier as a continuant part of the control recipe, where the identifier designates a specific individual piece of equipment (a particular equipment instance), not merely an equipment type (class).
Examples
- Control recipe ‘CR-PVC-20250623-01’, derived from the ‘MR-PVC-SUSP-HOU-Cell2-V3’ Master Recipe that employs the ‘Granular PVC Grade PQ5 production procedure Houston’ Recipe Procedure, which comprises the following sequence of Unit Procedures: ‘Vinyl chloride monomer polymerization unit procedure’, ‘Water Separation unit procedure’, and ‘Drying unit procedure’. This recipe procedure is to be carried out in the following equipment units of the ‘Granular PVC production cell 001’ Process Cell: Reactor JR-102; Centrifuge C-301; VCM Recovery Unit VRU-1; Deionized water tank WTK-101; Low pressure steam supply system; Chilled Water Circuit; and Spray Dryer SD-02. This Recipe Procedure will transform 2220 lb. of the ‘Vinyl Chloride Monomer’ raw material into 985 kg of ‘Granular PVC Grade PQ5’ product, employing the following Consumables: Deionized Water (1060 Gallons), Suspension Agent Polyvinyl Alcohol (CAS No.9002-89-5), by Wacker Chemie AG (11.5 lb.), Benzoyl Peroxide Initiator (CAS No. 94-36-0), by Arzo Nobel (2.25 lb.), Sodium Bicarbonate (CAS No. 144-55-8), by Church & Dwight Co (1.18 lb.).
Adapted From
- https://www.plcacademy.com/isa-88-s88-batch-control-explained/
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are currently insufficient constructs to create a set of mutually necessary and sufficient conditions.
Formal Axioms
First-Order Logic Axioms
LA1: ControlRecipe(x) → Recipe(x) ∧ ∃y∃z (hasContinuantPartAtAllTimes(x, y) ∧ Identifier(y) ∧ designates(y, z) ∧ PieceOfEquipment(z))
LA2: Recipe(x) ∧ ∃y (isConcretizedByAtSomeTime(x, y) ∧ BatchRun(y)) → ControlRecipe(x)
Semi-Formal Natural Language Axioms
LA1: if x is a ‘control recipe’, then x is a ‘recipe’ and ‘ has continuant part at all times’ some ‘identifier’ that ‘designates’ some ‘piece of equipment’
LA2: if x is a ‘recipe’ that ‘is concretized by at some time’ some ‘batch run’, then x is a ‘control recipe’
Description Logic
constr:ControlRecipe ⊑ constr:Recipe
constr:ControlRecipe ⊑ ∃ bfo:has_continuant_part_at_all_times .(constr:Identifier ⊓ ∃ constr:designates .constr:PieceOfEquipment)
constr:Recipe ⊓ ∃ bfo:is_concretized_by_at_some_time .constr:BatchRun ⊑ constr:ControlRecipe
constr:ControlRecipe ⊓ constr:GeneralRecipe ⊑ ⊥
SubClassOf: constr:Recipe
SubClassOf: bfo:has_continuant_part_at_all_times some (constr:Identifier and constr:designates some constr:PieceOfEquipment)
constr:Recipe and bfo:is_concretized_by_at_some_time some constr:BatchRun SubClassOf: constr:ControlRecipe
constr:ControlRecipe DisjointWith: (constr:GeneralRecipe, constr:MasterRecipe, constr:SiteRecipe)