operator

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

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

SubClass Of: agent

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › agent › operator

Definition

agent which has an operator role

Semi-Formal Definition:

every instance of ‘operator’ is defined as exactly an instance of ‘agent’ that ‘has role’ some ‘operator role’

Examples

• machinist running a CNC milling machine; technician monitoring a chemical reactor; production worker controlling an automated packaging line; utility company operating an industrial wastewater-treatment facility

Formal Axioms

First-Order Logic Definition

Operator(x) ↔ Agent(x) ∧ ∃y (OperatorRole(y) ∧ hasRole(x, y))

Description Logic

constr:Operator ≡ constr:Agent ⊓ ∃ constr:hasRole .constr:OperatorRole

constr:Operator ⊑ constr:Agent

EquivalentTo: constr:Agent and constr:hasRole some constr:OperatorRole

SubClassOf: constr:Agent