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 a piece of equipment.

Semi-Formal Definition:

if x is an ‘agent role’, then x is a ‘role’ that is the ‘role of’ some ‘agent’ who ‘has capability’ some ‘skill’ s, and s ‘enables’ some ‘capability’ c that is the ‘capability of’ some ‘piece of equipment’ e.

Examples

• person as a CNC operator has an operator role of operating, mantaining, 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 Definition

AgentRole(x) → Role(x) ∧ ∃a ∃s ∃c ∃e ( Agent(a) ∧ roleOf(x,a) ∧  skill(s) ∧ hasCapability(a,s) ∧ Capability(c) ∧ PieceOfEquipment(e) ∧ capabilityOf(c,e) ∧ enables(s,c))

First-Order Logic Axioms

AgentRole(x) ∧ ∃a (Agent(a) ∧ roleOf(x, a) ∧ participatesIn(a, p) ∧ ManufacturingProcess(p)) → OperatorRole(x)

Semi-Formal Natural Language Axioms

if x is an ‘agent role’ that is the ‘role of’ some ‘agent’ who ‘participates in’ a ‘manufacturing process’, then x is an ‘operator role’

Description Logic

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

constr:OperatorRole ⊑ constr:AgentRole

constr:AgentRole ⊓ ∃ constr:roleOf .(constr:Agent ⊓ ∃ bfo:participates_in .constr:ManufacturingProcess) ⊑ constr:OperatorRole

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

SubClassOf: constr:AgentRole

constr:AgentRole and constr:roleOf some (constr:Agent and bfo:participates_in some constr:ManufacturingProcess) SubClassOf: constr:OperatorRole