performance indicator
IRI: https://spec.industrialontologies.org/ontology/construct/PerformanceIndicator
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaParameter/
SubClass Of: bfo:entity
Class Hierarchy
owl:Thing › bfo:entity › performance indicator
Direct subclasses:
Definition
process profile, temporal region, quality or process characteristic prescribed by a performance indicator specification
Semi-Formal Definition:
every instance of ‘performance indicator’ is defined as exactly an instance that is either a ‘temporal region’, ‘process profile’, ‘quality’, or ‘process characteristic’ and that is ‘prescribed by’ some ‘performance indicator specification’
Explanatory Notes
See the expanded definition under the corresponding specification class. The term is formalized here as a defined class by referring to its corresponding specification class and exists primarily for ontological modeling and implementation convenience.
Examples
- Yearly sales, monthly throughput, quarterly overall equipment effectiveness, 12-month on-time delivery percentage.
Formal Axioms
First-Order Logic Definition
PerformanceIndicator(x) ↔ ∃s (PerformanceIndicatorSpecification(s) ∧ prescribedBy(x, s)) ∧ (TemporalRegion(x) ∨ ProcessProfile(x) ∨ Quality(x) ∨ ProcessCharacteristic(x))
Description Logic
constr:PerformanceIndicator ≡ (bfo:temporal_region ⊔ bfo:quality ⊔ bfo:process_profile ⊔ constr:ProcessCharacteristic) ⊓ ∃ constr:prescribedBy .constr:PerformanceIndicatorSpecification
constr:PerformanceIndicator ⊑ bfo:entity
EquivalentTo: (bfo:temporal_region or bfo:quality or bfo:process_profile or constr:ProcessCharacteristic) and constr:prescribedBy some constr:PerformanceIndicatorSpecification
SubClassOf: bfo:entity