work center

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

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

SubClass Of: bfo:object aggregate

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › work center

Direct subclasses:

Definition

object aggregate that has piece of equipment or agent as its member parts

Explanatory Notes

  1. A work center’s capabilities are determined by one or more of its constituent members, which is formally represented using the ‘has material basis’ axiom.
  2. Work centers are typically within (member parts of) a physical area or physical site, reflecting their spatial and organizational context.

Examples

  • process cell; production line; production unit; storage zone

Adapted From

  • ISA95

Primitive Class

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

Primitive Rationale

This term is expected to remain primitive as it will be challenging to specify the exact grouping criteria that would unambigously differentiate the work center from any other grouping of agents or equipment

Formal Axioms

First-Order Logic Axioms 

WorkCenter(x) → ObjectAggregate(x) ∧ ∃y((Agent(y) ∨ PieceOfEquipment(y)) ∧ hasMemberPartAtSomeTime(x,y) ∧ ∃c(Capability(c) ∧ hasCapability(x,c) ∧ hasMaterialBasisAtSomeTime(c,y)))

Semi-Formal Natural Language Axioms

if x is a ‘work center’, then x is an ‘object aggregate’ that ‘has member part at some time some’ y, where y is either an ‘agent’ or a ‘piece of equipment’, and x ‘has capability’ some ‘capability’ that ‘has material basis at some time’ y

Description Logic

constr:WorkCenter ⊑ bfo:object_aggregate

constr:WorkCenter ⊑ ∀ bfo:has_member_part .(constr:Agent ⊔ constr:PieceOfEquipment)

constr:WorkCenter ⊑ ∃ constr:hasCapability .(constr:Capability ⊓ ∃ bfo:has_material_basis .(constr:Agent ⊔ constr:PieceOfEquipment))

constr:WorkCenter ⊓ constr:Enterprise ⊑ ⊥

constr:WorkCenter ⊓ constr:PhysicalArea ⊑ ⊥

constr:WorkCenter ⊓ constr:PhysicalSite ⊑ ⊥

constr:WorkCenter ⊓ constr:WorkUnit ⊑ ⊥

SubClassOf: bfo:object_aggregate

SubClassOf: bfo:has_member_part only (constr:Agent or constr:PieceOfEquipment)

SubClassOf: constr:hasCapability some (constr:Capability and bfo:has_material_basis some (constr:Agent or constr:PieceOfEquipment))

constr:WorkCenter DisjointWith: (constr:Enterprise, constr:PhysicalArea, constr:PhysicalSite, constr:WorkUnit)