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

person or organization which has an operator role

Semi-Formal Definition:

x is an ‘agent’ that ‘has role’ some ‘operator role’

Formal Axioms

First-Order Logic Definition

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