recipe creation process

IRI: https://spec.industrialontologies.org/ontology/construct/RecipeCreationProcess

Defined In: https://spec.industrialontologies.org/ontology/biopharma/Recipe/

SubClass Of: planned process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › recipe creation process

Direct subclasses:

recipe derivation process

Definition

planned process in which some agent creates a recipe

Semi-Formal Definition:

every instance of ‘recipe creation process’ is defined as exactly an instance of ‘planned process’ that ‘has participant at some time’ some ‘agent’, and ‘has specified output’ some ‘recipe’.

Explanatory Notes

A recipe creation process may proceed de novo, based on domain knowledge of the product or process, without reuse of existing recipe structures. Alternatively, it may involve the reuse or adaptation of one or more existing recipes, or of their process or procedural elements, in which case it is classified as a recipe derivation process.

Examples

A member of the ‘Polymer Process Development Team’ of the ‘StarChemicals’ company, creates the ‘GR-PVC-SUSP-V1’ General Recipe, which employs the Recipe Process ‘PVC granular resin production process’ that comprises the following sequence of process stages ‘Vinyl chloride monomer polymerization stage’, ‘Water Separation stage’, and ‘Drying stage’, to transform the Vinyl Chloride Monomer (1000 kg) raw material into ~980 kg of PVC granular resin product, employing the following Consumables: Deionized Water (4000 L), Suspension Agent (e.g., Polyvinyl Alcohol/ Methylcellulose/Hydroxypropyl Methylcellulose 5 kg), Benzoyl Peroxide (1 kg), Buffer (e.g., Sodium Bicarbonate/Sodium Carbonate - 0.5 kg).

Adapted From

ISA-88 Part 1

Formal Axioms

First-Order Logic Definition

RecipeCreationProcess(x) ↔ PlannedProcess(x) ∧ ∃a(Agent(a) ∧ hasParticipantAtSomeTime(x, a)) ∧ ∃r(Recipe(r) ∧ hasSpecifiedOutput(x, r))

Description Logic

constr:RecipeCreationProcess ≡ constr:PlannedProcess ⊓ ∃ bfo:has_participant .constr:Agent ⊓ ∃ constr:hasSpecifiedOutput .constr:Recipe

constr:RecipeCreationProcess ⊑ constr:PlannedProcess

constr:RecipeCreationProcess ⊓ constr:RecipeElementCreationProcess ⊑ ⊥

EquivalentTo: constr:PlannedProcess and bfo:has_participant some constr:Agent and constr:hasSpecifiedOutput some constr:Recipe

SubClassOf: constr:PlannedProcess

constr:RecipeCreationProcess DisjointWith: constr:RecipeElementCreationProcess