work center
IRI: https://spec.industrialontologies.org/ontology/construct/WorkCenter
Defined In: https://spec.industrialontologies.org/ontology/biopharma/Physical/
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
- 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.
- 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_at_some_time .(constr:Agent ⊔ constr:PieceOfEquipment)
constr:WorkCenter ⊑ ∃ constr:hasCapability .(constr:Capability ⊓ ∃ bfo:has_material_basis_at_some_time .(constr:Agent ⊔ constr:PieceOfEquipment))
constr:WorkCenter ⊓ constr:Enterprise ⊑ ⊥
constr:WorkCenter ⊓ constr:PhysicalArea ⊑ ⊥
SubClassOf: bfo:object_aggregate
SubClassOf: bfo:has_member_part_at_some_time only (constr:Agent or constr:PieceOfEquipment)
SubClassOf: constr:hasCapability some (constr:Capability and bfo:has_material_basis_at_some_time some (constr:Agent or constr:PieceOfEquipment))
constr:WorkCenter DisjointWith: (constr:Enterprise, constr:PhysicalArea, constr:PhysicalSite, constr:WorkUnit)