process cell

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

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

SubClass Of: work center

Class Hierarchy

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

Definition

work center that is required for carrying out some control recipe

Explanatory Notes

ISA88: logical grouping of equipment that includes the equipment required for production of one or more batches

Usage Notes

The OWL formalization of LA2 relies on classes defined within the recipe module. Accordingly, the sufficient condition for LA2 is implemented in OWL as part of the recipe module, rather than within the physical module.

Examples

  • equipment involved in the production of chocolate paste, including mixers, calendaring and conching equipment, as well as dosing and weighing systems and control equipment; a polyvinyl chloride (PVC) batch production process cell containing several batch reactors, venting and steam stripping units, and spray dryers; a medicine pills production cell including blending units with feeders, granulation units, drying units, grinders, tableting presses, and coaters

Adapted From

  • ISA 88 part 1

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 identifying a set of necessary conditions that consistently hold and align with the given sufficient condition is challenging.

Formal Axioms

First-Order Logic Axioms 

LA1:ProcessCell(x) → WorkCenter(x) ∧ ∃y(PhysicalUnit(y) ∧ hasMemberPartAtAllTimes(x, y))

LA2: WorkCenter(x) ∧ ∃y (isCarrierOfAtSomeTime(x, y) ∧ ControlRecipe(y)) → ProcessCell(x)

Semi-Formal Natural Language Axioms

LA1:if x is a ‘process cell’ then x is a ‘work center’ that ‘has member part at all times’ some ‘physical unit’

LA2: if x is a ‘work center’ that ‘is carrier of at some time’ some ‘control recipe’, then x is a ‘process cell’

Description Logic

constr:ProcessCell ⊑ constr:WorkCenter

constr:ProcessCell ⊑ ∃ bfo:has_member_part_at_all_times .constr:PhysicalUnit

constr:WorkCenter ⊓ ∃ bfo:is_carrier_of .constr:ControlRecipe ⊑ constr:ProcessCell

SubClassOf: constr:WorkCenter

SubClassOf: bfo:has_member_part_at_all_times some constr:PhysicalUnit

constr:WorkCenter and bfo:is_carrier_of some constr:ControlRecipe SubClassOf: constr:ProcessCell