recipe process element

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

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

SubClass Of: plan specification

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › plan specification › recipe process element

Direct subclasses:

• recipe process
• recipe process action
• recipe process operation
• recipe process stage

Definition

plan specification that prescribes some planned process that is part of a batch run and is equipment independent

Usage Notes

1) A recipe process element must not be included in control recipes or master recipes or recipe procedural elements, as it is intended to represent equipment-independent instructions. This restriction is formally captured by the axiom: ‘continuant part of at some time’ only (not (‘control recipe’ or ‘master recipe’ or ‘recipe procedural element’)). 2) While a recipe process element may be included in one or more general recipes, site recipes, or other recipe process elements, there is no requirement for such inclusion, allowing for its reuse and composition in varying contexts. When associating a recipe process element with a higher-level recipe, the ‘continuant part of at some time’ relation (or an appropriate subproperty) should be used.

Examples

• recipe process, recipe process action, recipe process operation, recipe process stage

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 it is challenging to define a set of OWL-compatible necessary and sufficient conditions that in all cases reliably distinguish a recipe process element from a recipe procedural element.

Formal Axioms

First-Order Logic Axioms

RecipeProcessElement(x) → PlanSpecification(x) ∧ ¬∃y (continuantPartOfAtSomeTime(x, y) ∧ (ControlRecipe(y) ∨ MasterRecipe(y) ∨ RecipeProceduralElement(y))) ∧ ∃z∃w (prescribes(x, z) ∧ PlannedProcess(z) ∧ occurrentPartOf(z, w) ∧ BatchRun(w))

Semi-Formal Natural Language Axioms

if x is a ‘recipe process element’, then x is a ‘plan specification’, x is not a continuant part at any time of a ‘control recipe’, ‘master recipe’, or ‘recipe procedural element’, and x ‘prescribes’ some ‘planned process’ that is an ‘occurrent part of’ some ‘batch run’

Description Logic

constr:RecipeProcessElement ⊑ constr:PlanSpecification

constr:RecipeProcessElement ⊑ ∀ bfo:continuant_part_of_at_some_time .¬ constr:ControlRecipe ⊔ constr:MasterRecipe ⊔ constr:RecipeProceduralElement

constr:RecipeProcessElement ⊑ ∃ constr:prescribes .(constr:PlannedProcess ⊓ ∃ bfo:occurrent_part_of .constr:BatchRun)

constr:RecipeProcessElement ⊓ constr:RecipeProceduralElement ⊑ ⊥

SubClassOf: constr:PlanSpecification

SubClassOf: bfo:continuant_part_of_at_some_time only not (constr:ControlRecipe or constr:MasterRecipe or constr:RecipeProceduralElement)

SubClassOf: constr:prescribes some (constr:PlannedProcess and bfo:occurrent_part_of some constr:BatchRun)

constr:RecipeProcessElement DisjointWith: constr:RecipeProceduralElement