manufacturing operator role

IRI: https://spec.industrialontologies.org/ontology/construct/ManufacturingOperatorRole

Defined In: https://spec.industrialontologies.org/ontology/biopharma/Agent/

SubClass Of: agent role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › agent role › manufacturing operator role

Definition

agent role held by a person or engineered system when it uses, controls, or is planned to use or control one or more pieces of equipment to carry out some manufacturing process

Examples

• role of a trained person that uses thawing equipment to initiate the thawing of a vial retrieved from liquid nitrogen storage; role held by a skid-mounted dosing unit with integrated sensors and actuators when it controls a solid feeder to dispense a specified amount of Benzoyl Peroxide into a polymerization reactor as part of a PVC resin production process; role held by a person who is planned to operate a centrifuge during a cell harvest step

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

There are insufficient constructs to define necessary and sufficient conditions. Namely, patterns for useing or controlling the equipment need to be developed further.

Formal Axioms

First-Order Logic Axioms

ManufacturingOperatorRole(x) → AgentRole(x) ∧ ∃y((EngineeredSystem(y) ∨ Person(y)) ∧ roleOf(x, y) ∧ ∀z(hasRealization(x, z) → (ManufacturingProcess(z) ∧ ∃c∃e(Capability(c) ∧ PieceOfEquipment(e) ∧ capabilityOf(c, e) ∧ realizes(z, c)) ∧ hasParticipantAtSomeTime(z, y))))

Semi-Formal Natural Language Axioms

If x is a ‘manufacturing operator role’, then x is an ‘agent role’ that is the ‘role of’ some ‘engineered system’ or ‘person’ y, and whenever x is ‘realized by’ some z, then z must be a ‘manufacturing process’ that ‘realizes’ a ‘capability’ which is a ‘capability of’ some ‘piece of equipment’, and z must ‘have as participant at some time’ y

Description Logic

constr:ManufacturingOperatorRole ⊑ constr:AgentRole

constr:ManufacturingOperatorRole ⊑ ∀ bfo:has_realization .(constr:ManufacturingProcess ⊓ ∃ bfo:realizes .(constr:Capability ⊓ ∃ constr:capabilityOf .constr:PieceOfEquipment) ⊓ ∃ bfo:has_participant_at_some_time .(constr:EngineeredSystem ⊔ constr:Person))

constr:ManufacturingOperatorRole ⊑ ∃ constr:roleOf .(constr:EngineeredSystem ⊔ constr:Person)

SubClassOf: constr:AgentRole

SubClassOf: bfo:has_realization only (constr:ManufacturingProcess and bfo:realizes some (constr:Capability and constr:capabilityOf some constr:PieceOfEquipment) and bfo:has_participant_at_some_time some (constr:EngineeredSystem or constr:Person))

SubClassOf: constr:roleOf some (constr:EngineeredSystem or constr:Person)