operator role

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

Defined In: https://spec.industrialontologies.org/ontology/productionplanning/ProductionPlanning/

SubClass Of: agent role

Class Hierarchy

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

Definition

role held by an agent when it possesses a skill that enables a capability of one or more pieces of equipment.

Explanatory Notes

Relevant skills may enable a capability of a single piece of equipment or the coordinated realization of capabilities of multiple pieces of equipment, such as those operating together in a process cell or production line
In this definition, enabling an equipment capability is not limited to directly operating the equipment. A skill may enable the realization of an equipment capability by allowing the agent to set up, start, stop, monitor, adjust, or otherwise use the equipment; monitor and control a process through the equipment; coordinate multiple pieces of equipment; interpret equipment states, process conditions, alarms, and outputs; respond to normal or abnormal conditions; inspect or assess equipment condition or performance; or perform operator-level cleaning, troubleshooting, or routine maintenance. Relevant skills may also include those needed to apply applicable quality, occupational safety, process safety, biosafety, hygiene, contamination-control, environmental, or other domain-specific requirements.

Examples

person as a CNC operator has an operator role of operating, maintaining, and utilizing the assigned CNC machine before, during, and after a manufacturing process

Primitive Class

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

Primitive Rationale

The ontology does not yet include a construct for ‘skill’. The current definition refers to ‘capability’, which is intended to serve as a supertype of ‘skill’, but this class is still under development. The definition employs the primitive relation enables, which has recently been introduced. Its adoption is pending discussion and approval by the IOF community. It is expected that this relation may be relocated to the IOF Core ontology upon acceptance.

Formal Axioms

First-Order Logic Axioms

OperatorRole(r) → AgentRole(r) ∧ ∃g(Agent(g) ∧ roleOf(r,g) ∧ ∃c(AgentialCapability(c) ∧ hasCapability(g,c) ∧ ∃x(enables(c,x) ∧ ∃e(PieceOfEquipment(e) ∧ capabilityOf(x,e)))))

Semi-Formal Natural Language Axioms

For every instance of ‘operator role’, there exists an instance of ‘agent role’ that ‘is role of’ some instance of ‘agent’ that ‘has capability’ some instance of ‘agential capability’ that ‘enables’ some capability that ‘is capability of’ some instance of ‘piece of equipment’

Description Logic

constr:OperatorRole ⊑ constr:AgentRole

constr:OperatorRole ⊑ ∃ constr:roleOf .(constr:Agent ⊓ ∃ constr:hasCapability .(constr:AgentialCapability ⊓ ∃ constr:enables .∃ constr:capabilityOf .constr:PieceOfEquipment))

SubClassOf: constr:AgentRole

SubClassOf: constr:roleOf some (constr:Agent and constr:hasCapability some (constr:AgentialCapability and constr:enables some constr:capabilityOf some constr:PieceOfEquipment))