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 equivalent class axioms for recipe element creation process reflect different possibilities for how recipe elements can be derived. One axiom 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