diafiltration process
IRI: https://spec.industrialontologies.org/ontology/construct/DiafiltrationProcess
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaManufacturingExecution/
SubClass Of: planned process
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › diafiltration process
Definition
planned process that consists of either multiple cycles of dilution followed by filtration, or of dilution and filtration occurring simultaneously, to remove unretained solutes or to exchange the solution’s solvent or buffer environment
Explanatory Notes
Diafiltration can be conducted either in a continuous or discontinuous manner: Continuous diafiltration: Buffer is added continuously as filtrate is removed, maintaining a constant volume and concentration of the target molecule. Discontinuous diafiltration: Involves diluting the sample, concentrating it back, and repeating this process multiple times.
Examples
- After mAb purification, the protein solution undergoes diafiltration to exchange the buffer and remove residual salts before formulation; Whey is concentrated by ultrafiltration to retain proteins, followed by continuous water addition during filtration to remove residual lactose and salts through diafiltration.
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
Insufficient constructs are present to create a set of necessary and sufficient conditions
Formal Axioms
First-Order Logic Axioms
DiafiltrationProcess(x) → PlannedProcess(x) ∧ ∃y (DilutionProcess(y) ∧ hasOccurrentPart(x, y)) ∧ ∃z (FiltrationProcess(z) ∧ hasOccurrentPart(x, z)) ∧ (∃y ∃z (DilutionProcess(y) ∧ FiltrationProcess(z) ∧ hasOccurrentPart(x, y) ∧ hasOccurrentPart(x, z) ∧ (before(y, z) ∨ occursSimultaneouslyWith(y, z))))
Semi-Formal Natural Language Axioms
if x is a ‘diafiltration process’ then x is a ‘planned process’ and ‘has occurrent part’ some ‘dilution process’ and ‘has occurrent part’ some ‘filtration process’ and the ‘dilution process’ is such that it either ‘occurs before’ the ‘filtration process’ or ‘occurs simultaneously with’ the ‘filtration process’
Description Logic
constr:DiafiltrationProcess ⊑ constr:PlannedProcess
constr:DiafiltrationProcess ⊑ ∃ bfo:has_occurrent_part .(constr:DilutionProcess ⊓ ∃ constr:before .constr:FiltrationProcess) ⊔ ∃ bfo:has_occurrent_part .(constr:DilutionProcess ⊓ ∃ constr:occursSimultaneouslyWith .constr:FiltrationProcess)
constr:DiafiltrationProcess ⊑ ∃ bfo:has_occurrent_part .constr:DilutionProcess
constr:DiafiltrationProcess ⊑ ∃ bfo:has_occurrent_part .constr:FiltrationProcess
SubClassOf: constr:PlannedProcess
SubClassOf: bfo:has_occurrent_part some (constr:DilutionProcess and constr:before some constr:FiltrationProcess) or bfo:has_occurrent_part some (constr:DilutionProcess and constr:occursSimultaneouslyWith some constr:FiltrationProcess)
SubClassOf: bfo:has_occurrent_part some constr:DilutionProcess
SubClassOf: bfo:has_occurrent_part some constr:FiltrationProcess