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:Thingbfo:entityperformance 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’ or a ‘process profile’ or ‘quality’ or ‘process characterstic’ 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(PerfornanceIndicatorSpecification(s) ∧ prescribedBy(x, s)) ∧ (TemporalRegion(x) ∨ ProcessProfile(x) ∨ Quality(x) v 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