site recipe
IRI: https://spec.industrialontologies.org/ontology/construct/SiteRecipe
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 › site recipe
Definition
recipe that is physical site specific but equipment independent
Explanatory Notes
Site recipes may be derived from general recipes recognizing site specific constraints, such as language and available raw materials.
Examples
- Site Recipe ‘SR-PVC-SUSP-HOU-V5’, which employs the ‘PVC granular resin production process Houston’ Recipe Process that comprises the following sequence of Process stages ‘Vinyl chloride monomer polymerization stage’, ‘Water Separation stage’, and ‘Spray Drying stage’, to transform the Vinyl Chloride Monomer (2200 lb. or target value) raw material into ~980 kg of PVC granular resin product, employing the following Consumables: Deionized Water (1057 Gallons or target value), Suspension Agent Polyvinyl Alcohol (CAS No.9002-89-5), by Wacker Chemie AG (11 lb. or target value), Benzoyl Peroxide Initiator (CAS No. 94-36-0), by Akzo Nobel (2.2 lb. or target value), Sodium Bicarbonate (CAS No. 144-55-8), by Church & Dwight Co (1.1 lb. or target value).
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
This term is expected to remain primitive because, although a set of sufficient conditions can be defined (e.g., the inclusion of recipe process elements), these conditions are not universally necessary, as not all site recipes consistently include such elements
Formal Axioms
First-Order Logic Axioms
LA1:SiteRecipe(x) → Recipe(x) ∧ ∃y (prescribesPlannedProcessLocation(x, y) ∧ PhysicalSite(y))
LA2: Recipe(x) ∧ ∃y (hasContinuantPartAtAllTimes(x, y) ∧ RecipeProcessElement(y)) ∧ ∃z (prescribesPlannedProcessLocation(x, z) ∧ PhysicalSite(z)) → SiteRecipe(x)
Semi-Formal Natural Language Axioms
LA1: if x is a ‘site recipe’, then x is a ‘recipe’ and x ‘prescribes planned process location’ some ‘physical site’
LA2: if x is a ‘recipe’ that ‘has continuant part at all times’ some ‘recipe process element’ and ‘prescribes planned process location’ some ‘physical site’, then x is a ‘site recipe’
Description Logic
constr:SiteRecipe ⊑ constr:Recipe
constr:SiteRecipe ⊑ ∃ constr:prescribesPlannedProcessLocation .constr:PhysicalSite
constr:Recipe ⊓ ∃ bfo:has_continuant_part_at_all_times .constr:RecipeProcessElement ⊓ ∃ constr:prescribesPlannedProcessLocation .constr:PhysicalSite ⊑ constr:SiteRecipe
constr:SiteRecipe ⊓ constr:ControlRecipe ⊑ ⊥
SubClassOf: constr:Recipe
SubClassOf: constr:prescribesPlannedProcessLocation some constr:PhysicalSite
constr:Recipe and bfo:has_continuant_part_at_all_times some constr:RecipeProcessElement and constr:prescribesPlannedProcessLocation some constr:PhysicalSite SubClassOf: constr:SiteRecipe
constr:SiteRecipe DisjointWith: (constr:ControlRecipe, constr:GeneralRecipe, constr:MasterRecipe)