limit value expression

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

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

SubClass Of: value expression

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › value expression › limit value expression

Direct subclasses:

• acceptance limit value expression
• action limit value expression
• alert limit value expression
• control limit value expression

Definition

value expression that is the specified boundary value for a particular entity

Explanatory Notes

A limit value expression represents an expressed threshold used to interpret whether a value remains within, reaches, or crosses a relevant boundary. It is not the full range and not the entity or quantity to which the limit applies. More specific subclasses determine the meaning of the threshold, such as early warning, loss of control, required corrective action, or acceptance/non-acceptance. A limit value expression may represent an upper threshold, a lower threshold, or another boundary value, including in control, monitoring, specification, or acceptance contexts.

Examples

• Chromatography column pressure has an alert limit of 1.8 bar and an action limit of 2.0 bar; temperature control limits are set at 36.5 °C for the lower control limit and 37.5 °C for the upper control limit

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

Insufficient constructs are present to create necessary and sufficient conditions. In particular, constructs required to fully formalize boundaries are currently under development in IOF Core.

Formal Axioms

First-Order Logic Axioms

LimitValueExpression(x) → ValueExpression(x) ∧ ∃e((TemporalRegion(e) ∨ SpecificallyDependentContinuant(e) ∨ ProcessBoundary(e) ∨ ProcessCharacteristic(e)) ∧ isLimitValueExpressionOfAtSomeTime(x,e))

Semi-Formal Natural Language Axioms

if x is a ‘limit value expression’ then x is a ‘value expression’ that ‘is a limit value expression of at some time’ some ‘temporal region’ or ‘specifically dependent continuant’ or ‘process boundary’ or ‘process characteristic’

Description Logic

constr:LimitValueExpression ⊑ constr:ValueExpression

constr:LimitValueExpression ⊑ ∃ constr:isLimitValueExpressionOfAtSomeTime .(bfo:temporal_region ⊔ bfo:specifically_dependent_continuant ⊔ bfo:process_profile ⊔ constr:ProcessCharacteristic)

SubClassOf: constr:ValueExpression

SubClassOf: constr:isLimitValueExpressionOfAtSomeTime some (bfo:temporal_region or bfo:specifically_dependent_continuant or bfo:process_profile or constr:ProcessCharacteristic)