recipe element derivation process
IRI: https://spec.industrialontologies.org/ontology/construct/RecipeElementDerivationProcess
Defined In: https://spec.industrialontologies.org/ontology/biopharma/Recipe/
SubClass Of: recipe element creation process
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › recipe element creation process › recipe element derivation process
Definition
recipe element creation process in which either a new recipe procedural element is created based on one or more existing recipe procedural elements or recipe process elements, or in which a new recipe process element is created based on one or more recipe process elements
Semi-Formal Definition:
every instance of ‘recipe element derivation process’ is exactly a ‘recipe element creation process’ that either has input some ‘recipe procedural element’ or ‘recipe process element’ and has specified output some ‘recipe procedural element’, or has input some ‘recipe process element’ and has specified output some ‘recipe process element’
Usage Notes
The two branches of the equivalent class axiom for recipe element derivation process reflect different possibilities for how recipe elements can be derived. One allows for the creation of a ‘recipe procedural element’ from either a ‘recipe process element’ or another ‘recipe procedural element’, while the other focuses specifically on the creation of one ‘recipe process element’ from another. This supports modeling different derivation scenarios across recipe abstraction layers.
Examples
- A member of the ‘Houston Process Engineering Department’, of the ‘StarChemicals Americas’ company, derives the ‘Vinyl chloride monomer polymerization Unit Procedure’, from the ‘Vinyl chloride monomer polymerization stage’ process stage. This Unit Procedure, which can take place in any of these Jacketed Reactors JR-101/JR-102/JR-103/JR-104, comprises the following sequence of recipe operations: ‘Setup process operation’, followed by a ‘Charge water, additives and monomer process operation’, followed by a ‘Polymerization process operation’, finishing with a ‘Post-polymerization process operation’.
Adapted From
- ISA-88 Part 1
Formal Axioms
First-Order Logic Definition
RecipeElementDerivationProcess(x) ↔ RecipeElementCreationProcess(x) ∧
((∃i((RecipeProceduralElement(i) ∨ RecipeProcessElement(i)) ∧ hasInput(x,i)) ∧ ∃o(RecipeProceduralElement(o) ∧ hasSpecifiedOutput(x,o))) ∨
(∃i(RecipeProcessElement(i) ∧ hasInput(x,i)) ∧ ∃o(RecipeProcessElement(o) ∧ hasSpecifiedOutput(x,o))))
Description Logic
constr:RecipeElementDerivationProcess ≡ (constr:RecipeElementCreationProcess ⊓ ∃ constr:hasInput .constr:RecipeProcessElement ⊓ ∃ constr:hasSpecifiedOutput .constr:RecipeProcessElement) ⊔ (constr:RecipeElementCreationProcess ⊓ ∃ constr:hasInput .(constr:RecipeProceduralElement ⊔ constr:RecipeProcessElement) ⊓ ∃ constr:hasSpecifiedOutput .constr:RecipeProceduralElement)
constr:RecipeElementDerivationProcess ⊑ constr:RecipeElementCreationProcess
EquivalentTo: (constr:RecipeElementCreationProcess and constr:hasInput some constr:RecipeProcessElement and constr:hasSpecifiedOutput some constr:RecipeProcessElement) or (constr:RecipeElementCreationProcess and constr:hasInput some (constr:RecipeProceduralElement or constr:RecipeProcessElement) and constr:hasSpecifiedOutput some constr:RecipeProceduralElement)
SubClassOf: constr:RecipeElementCreationProcess