key process parameter
IRI: https://spec.industrialontologies.org/ontology/construct/KeyProcessParameter
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaParameter/
SubClass Of: process parameter
Class Hierarchy
owl:Thing › bfo:entity › process parameter › key process parameter
Definition
process profile or temporal region or quality prescribed by a key process parameter specification
Semi-Formal Definition:
every instance of ‘key process parameter’ is defined as exactly an instance that is either a ‘temporal region’ or a ‘process profile’ or ‘quality’ and that is ‘prescribed by’ some ‘key process parameter specification’
Explanatory Notes
See the expanded definition under the corresponding specification class. The term is formalized here as a defined class by referring to its corresponding specification class and exists primarily for ontological modeling and implementation convenience.
Examples
- temperature during media hold; buffer addition flow rate during diafiltration
Formal Axioms
First-Order Logic Definition
KeyProcessParameter(x) ↔ ∃s(KeyProcessParameterSpecification(s) ∧ prescribedBy(x, s)) ∧ (TemporalRegion(x) ∨ ProcessProfile(x) ∨ Quality(x))
Description Logic
constr:KeyProcessParameter ≡ (bfo:temporal_region ⊔ bfo:quality ⊔ bfo:process_profile) ⊓ ∃ constr:prescribedBy .constr:KeyProcessParameterSpecification
EquivalentTo: (bfo:temporal_region or bfo:quality or bfo:process_profile) and constr:prescribedBy some constr:KeyProcessParameterSpecification
SubClassOf: constr:ProcessParameter