temporal duration value expression

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

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

SubClass Of: value expression

Class Hierarchy

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

Definition

value expression that describes the duration of some temporal interval

Explanatory Notes

  1. This class was introduced as a helper class to map OWL time to IOF Core. For detailed expression of a duration of a ‘temporal interval’, use a suitable subclass of TemporalDuration class from Time ontology (https://www.w3.org/TR/owl-time/) instead of ‘temporal duration value expression’ (see mapping file https://spec.industrialontologies.org/ontology/core/commonstocoremapping/MappingOWLTimeToIOF/)

Examples

  • the expression of the duration of the temporal interval that corresponds to the time during which a worker sewed a particular garment.

Primitive Class

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

Primitive Rationale

The definition of this class is weakened to only necessary condition because the current formal conditions do not specify which characteristic of the temporal interval is being expressed; without a mechanism to formally distinguish duration from other temporal qualities (e.g., temporal position), the construct cannot be given a necessary-and-sufficient definition. Until such representational machinery exists—i.e., a property or formal device that links a value expression specifically to the duration quality of a temporal interval—the conditions can function only as necessary, not necessary and sufficient, making this class primitive.

Formal Axioms

First-Order Logic Axioms 

TemporalDurationValueExpression(x) → ValueExpression(x) ∧ ∃y(TimeInterval(y) ∧ isValueExpressionOfAtAllTimes(x,y))

Semi-Formal Natural Language Axioms

every instance of ‘temporal duration value expression’ is an instance of ‘value expression’ that ‘is value expression of at all times’ some ‘temporal interval’

Description Logic

constr:TemporalDurationValueExpression ⊑ ⊤

constr:TemporalDurationValueExpression ⊑ constr:ValueExpression ⊓ ∃ constr:isValueExpressionOfAtAllTimes .bfo:temporal_interval

constr:TemporalDurationValueExpression ⊓ constr:TemporalInstantValueExpression ⊑ ⊥

SubClassOf: owl:Thing

SubClassOf: constr:ValueExpression and constr:isValueExpressionOfAtAllTimes some bfo:temporal_interval

constr:TemporalDurationValueExpression DisjointWith: constr:TemporalInstantValueExpression