recipe process element occurrence

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

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

SubClass Of: planned process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › recipe process element occurrence

Direct subclasses:

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

Definition

planned process that is prescribed by some recipe process element

Semi-Formal Definition:

every instance of ‘recipe process element occurrence’ is exactly an instance of ‘planned process’ that ‘is prescribed by’ some ‘recipe process element’

Usage Notes

This class is intended to be a defined class used for axiomatization and assertion convenience. It is not expected nor recommended that entities will be asserted as a subclass of this class.

Examples

• see the corresponding specification class as well as the inferred hierarchy when using a reasoner such as Hermit

Formal Axioms

First-Order Logic Definition

RecipeProcessElementOccurrence(x) ↔ PlannedProcess(x) ∧ ∃y (RecipeProcessElement(y) ∧ isPrescribedBy(x, y))

Description Logic

constr:RecipeProcessElementOccurrence ≡ constr:PlannedProcess ⊓ ∃ constr:prescribedBy .constr:RecipeProcessElement

constr:RecipeProcessElementOccurrence ⊑ constr:PlannedProcess

EquivalentTo: constr:PlannedProcess and constr:prescribedBy some constr:RecipeProcessElement

SubClassOf: constr:PlannedProcess