manufacturing operator
IRI: https://spec.industrialontologies.org/ontology/construct/ManufacturingOperator
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaAgent/
SubClass Of: agent
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › agent › manufacturing operator
Definition
person or engineered system with a manufacturing operator role
Semi-Formal Definition:
every instance of ‘manufacturing operator’ is defined as exactly an instance of ‘person’ or ‘engineered system’ that ‘has role’ some ‘manufacturing operator role’
Explanatory Notes
See the expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience.
Examples
- trained person that uses thawing equipment to initiate the thawing of a vial retrieved from liquid nitrogen storage; a skid-mounted dosing unit with integrated sensors and actuators that controls a solid feeder to dispense a specified amount of Benzoyl Peroxide into a polymerization reactor as part of a PVC resin production process; a person who is planned to operate a centrifuge during a cell harvest step in a biomanufacturing process
Formal Axioms
First-Order Logic Definition
ManufacturingOperator(x) ↔ (Person(x) ∨ EngineeredSystem(x)) ∧ ∃r(ManufacturingOperatorRole(r) ∧ hasRole(x, r))
Description Logic
constr:ManufacturingOperator ≡ (constr:EngineeredSystem ⊔ constr:Person) ⊓ ∃ constr:hasRole .constr:ManufacturingOperatorRole
EquivalentTo: (constr:EngineeredSystem or constr:Person) and constr:hasRole some constr:ManufacturingOperatorRole
SubClassOf: constr:Agent