planned process

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

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: bfo:process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process

Direct subclasses:

• attesting process
• business process
• cell culture expansion process
• centrifugation process
• certificate granting process
• chromatography process
• clone selection process
• clone stability study
• computing process
• diafiltration process
• filtration process
• genetic transformation process
• maintenance process
• manufacturing enterprise process
• manufacturing process
• material location change process
• material use process
• measurement process
• monitoring process
• recipe creation process
• recipe element creation process
• recipe process element occurrence
• sampling process
• setup process
• solution preparation process
• storage process
• supporting maintenance activity
• thawing process

Definition

process that is prescribed by a plan specification

Semi-Formal Definition:

every instance of ‘planned process’ is defined as exactly an instance of ‘process’ that is ‘prescribed by’ some ‘plan specification’

Explanatory Notes

1. ‘Planned’ is here functioning as a specifier, rather than as a modifier analogous to ‘cancelled’ or ‘averted’. Therefore, to say that a process is planned is not to say that it has not yet taken place. Rather, it is to say that it is (was or will have been) protocol-driven, instruction-driven, command-driven, or software-driven, or in some combination thereof.

2. ‘Planned’ means ‘protocol driven’. Protocols may be written, spoken, or simply thought – as when upon waking up, we plan, for instance, what to eat for breakfast.

Examples

• A tire manufacturing process occurs as prescribed by a manufacturing plan specification.

Counter-Examples

• unexpected failure events; unexpected malfunctioning of a machine; safety occurrence (that lacks explicit plan specifications);

Adapted From

• http://purl.obolibrary.org/obo/OBI_0000011

Formal Axioms

First-Order Logic Definition

PlannedProcess(x) ↔ Process(x) ∧ ∃s(PlanSpecification(s) ∧ prescribes(s,x))

Description Logic

constr:PlannedProcess ≡ bfo:process ⊓ ∃ constr:prescribedBy .constr:PlanSpecification

constr:PlannedProcess ⊑ bfo:process

EquivalentTo: bfo:process and constr:prescribedBy some constr:PlanSpecification

SubClassOf: bfo:process