offline monitoring process
IRI: https://spec.industrialontologies.org/ontology/construct/OfflineMonitoringProcess
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaMonitoringAndControl/
SubClass Of: monitoring process
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › monitoring process › offline monitoring process
Definition
monitoring process consisting of one or more measurement processes that are preceded by a material sampling process, in which material representing the entity of interest is collected from a process stream or in-process material and analyzed in a separate analytical area
Explanatory Notes
1) The measurement is performed in a physical area that does not environ a planned process during which the material sampling process occurs. That planned process provides the spatial reference and is not thereby asserted to be the entity being monitored. 2) Off-line monitoring differs from at-line monitoring because at-line measurement is performed in a physical area that environs the planned process during which sampling occurs, whereas off-line measurement is performed outside such an area. 3) The complete off-line monitoring process may extend beyond the temporal boundaries of the planned process during which sampling occurs.
Examples
- Monitoring host-cell protein and residual DNA levels by sending harvested or purified samples to a quality control laboratory for ELISA and qPCR testing performed on dedicated analytical platforms
Adapted From
- https://www.hamiltoncompany.com/knowledge-base/article/bioprocess-monitoring-and-control?srsltid=AfmBOopxhhPv6WbMS7X9JSrLqEcmh6O53_Ap2y2HugM4ZBwyhECSjEa-
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are insufficient constructs to create a set of necessary and sufficient conditions
Formal Axioms
First-Order Logic Axioms
OfflineMonitoringProcess(x) → MonitoringProcess(x) ∧ ∃s∃t∃m∃a∃r∃p (MaterialSamplingProcess(s) ∧ MaterialLocationChangeProcess(t) ∧ MeasurementProcess(m) ∧ MaterialSample(a) ∧ PhysicalArea(r) ∧ PlannedProcess(p) ∧ hasOccurrentPart(x, s) ∧ hasOccurrentPart(x, t) ∧ hasOccurrentPart(x, m) ∧ occurrentPartOf(s, p) ∧ hasSpecifiedOutput(s, a) ∧ hasParticipantAtAllTimes(t, a) ∧ hasInput(m, a) ∧ precedes(s, t) ∧ precedes(t, m) ∧ occursIn(m, r) ∧ ¬environs(r, p))
Semi-Formal Natural Language Axioms
if x is an ‘offline monitoring process’ then x is a ‘monitoring process’ that has occurrent parts including a ‘material sampling process’ s, a ‘material location change process’ t, and a ‘measurement process’ m, and s is an ‘occurrent part of’ some ‘planned process’ p, and s ‘has specified output’ some ‘material sample’ a that t ‘has participant at all times’ and that is an ‘input’ of m, and s ‘precedes’ t, t ‘precedes’ m, and m ‘occurs in’ some ‘physical area’ r that does not ‘environ’ p
Description Logic
constr:OfflineMonitoringProcess ⊑ constr:MonitoringProcess
constr:OfflineMonitoringProcess ⊑ ∃ bfo:has_occurrent_part .(constr:MaterialSamplingProcess ⊓ ∃ bfo:precedes .(constr:MaterialLocationChangeProcess ⊓ ∃ bfo:precedes .(constr:MeasurementProcess ⊓ ∃ bfo:occurs_in .constr:PhysicalArea ⊓ ∃ constr:hasInput .constr:MaterialSample) ⊓ ∃ bfo:has_participant_at_all_times .constr:MaterialSample))
constr:OfflineMonitoringProcess ⊓ constr:AtlineMonitoringProcess ⊑ ⊥
constr:OfflineMonitoringProcess ⊓ constr:InlineMonitoringProcess ⊑ ⊥
constr:OfflineMonitoringProcess ⊓ constr:OnlineMonitoringProcess ⊑ ⊥
SubClassOf: constr:MonitoringProcess
SubClassOf: bfo:has_occurrent_part some (constr:MaterialSamplingProcess and bfo:precedes some (constr:MaterialLocationChangeProcess and bfo:precedes some (constr:MeasurementProcess and bfo:occurs_in some constr:PhysicalArea and constr:hasInput some constr:MaterialSample) and bfo:has_participant_at_all_times some constr:MaterialSample))
constr:OfflineMonitoringProcess DisjointWith: (constr:AtlineMonitoringProcess, constr:InlineMonitoringProcess, constr:OnlineMonitoringProcess)