OpenEHR Base package
0.1.0 - First Draft International flag

OpenEHR Base package, published by openEHR + HL7. This guide is not an authorized publication; it is the continuous build for version 0.1.0 built by the FHIR (HL7® FHIR® Standard) CI Build. This version is based on the current content of https://github.com/FHIR/openehr-base-ig/ and changes regularly. See the Directory of published versions

Logical Model: DV_INTERVAL - Detailed Descriptions

Page standards status: Informative Maturity Level: 3

Definitions for the DV-INTERVAL logical model

Guidance on how to interpret the contents of this table can be foundhere

0. DV_INTERVAL
Definition

Generic class defining an interval (i.e. range) of a comparable type. An interval is a contiguous subrange of a comparable base type. Used to define intervals of dates, times, quantities (whose units match) and so on. The type parameter, T, must be a descendant of the type DV_ORDERED, which is necessary (but not sufficient) for instances to be compared (_strictly_comparable_ is also needed).

Without the DV_INTERVAL class, quite a few more DV_ classes would be needed to express logical intervals, namely interval versions of all the date/time classes, and of quantity classes. Further, it allows the semantics of intervals to be stated in one place unequivocally, including the conditions for strict comparison.

The basic semantics are derived from the class Interval\<T>, described in the support RM.


Base definition for all types defined in FHIR type system.

ShortGeneric class defining an intervalBase for all types and resources
Control0..*
Type ParameterT : http://openehr.org/fhir/StructureDefinition/DV-ORDERED
Is Modifierfalse
Logical ModelInstances of this logical model are not marked to be the target of a Reference
Invariantslimits-consistent: Limits consistent must satisfy range constraints ((upper_unbounded.not() and lower_unbounded.not()) implies (lower.is_strictly_comparable_to(upper) and lower <= upper))
2. DV_INTERVAL.CR
Definition

Carriage return character.

ShortCarriage return character.
Control1..1
Typestring
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
4. DV_INTERVAL.LF
Definition

Line feed character.

ShortLine feed character.
Control1..1
Typestring
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
6. DV_INTERVAL.Local-terminology-id
Definition

Predefined terminology identifier to indicate it is local to the knowledge resource in which it occurs, e.g. an archetype

ShortPredefined terminology identifier
Control1..1
Typestring
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
8. DV_INTERVAL.lower
Definition

Lower bound of the interval. Void if the interval is lower-unbounded.

ShortLower bound of the interval.
Control0..1
Typehttp://openehr.org/fhir/StructureDefinition/DV_ORDERED
Is Modifierfalse
10. DV_INTERVAL.upper
Definition

Upper bound of the interval. Void if the interval is upper-unbounded.

ShortUpper bound of the interval.
Control0..1
Typehttp://openehr.org/fhir/StructureDefinition/DV_ORDERED
Is Modifierfalse
12. DV_INTERVAL.lower-unbounded
Definition

True if the interval has no lower bound. If True, lower is Void.

ShortTrue if the interval has no lower bound.
Control1..1
Typeboolean
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
14. DV_INTERVAL.upper-unbounded
Definition

True if the interval has no upper bound. If True, upper is Void.

ShortTrue if the interval has no upper bound.
Control1..1
Typeboolean
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
16. DV_INTERVAL.lower-included
Definition

True if the lower bound is included in the interval. Only meaningful if lower_unbounded is False.

ShortTrue if the lower bound is included in the interval.
Control1..1
Typeboolean
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
18. DV_INTERVAL.upper-included
Definition

True if the upper bound is included in the interval. Only meaningful if upper_unbounded is False.

ShortTrue if the upper bound is included in the interval.
Control1..1
Typeboolean
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension

Guidance on how to interpret the contents of this table can be foundhere

0. DV_INTERVAL
Definition

Generic class defining an interval (i.e. range) of a comparable type. An interval is a contiguous subrange of a comparable base type. Used to define intervals of dates, times, quantities (whose units match) and so on. The type parameter, T, must be a descendant of the type DV_ORDERED, which is necessary (but not sufficient) for instances to be compared (_strictly_comparable_ is also needed).

Without the DV_INTERVAL class, quite a few more DV_ classes would be needed to express logical intervals, namely interval versions of all the date/time classes, and of quantity classes. Further, it allows the semantics of intervals to be stated in one place unequivocally, including the conditions for strict comparison.

The basic semantics are derived from the class Interval\<T>, described in the support RM.

ShortGeneric class defining an interval
Control0..*
Type ParameterT : http://openehr.org/fhir/StructureDefinition/DV-ORDERED
Is Modifierfalse
Logical ModelInstances of this logical model are not marked to be the target of a Reference
Invariantslimits-consistent: Limits consistent must satisfy range constraints ((upper_unbounded.not() and lower_unbounded.not()) implies (lower.is_strictly_comparable_to(upper) and lower <= upper))
2. DV_INTERVAL.lower
Definition

Lower bound of the interval. Void if the interval is lower-unbounded.

ShortLower bound of the interval.
Control0..1
Typehttp://openehr.org/fhir/StructureDefinition/DV_ORDERED
Is Modifierfalse
4. DV_INTERVAL.upper
Definition

Upper bound of the interval. Void if the interval is upper-unbounded.

ShortUpper bound of the interval.
Control0..1
Typehttp://openehr.org/fhir/StructureDefinition/DV_ORDERED
Is Modifierfalse
6. DV_INTERVAL.lower-unbounded
Definition

True if the interval has no lower bound. If True, lower is Void.

ShortTrue if the interval has no lower bound.
Control1..1
Typeboolean
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
8. DV_INTERVAL.upper-unbounded
Definition

True if the interval has no upper bound. If True, upper is Void.

ShortTrue if the interval has no upper bound.
Control1..1
Typeboolean
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
10. DV_INTERVAL.lower-included
Definition

True if the lower bound is included in the interval. Only meaningful if lower_unbounded is False.

ShortTrue if the lower bound is included in the interval.
Control1..1
Typeboolean
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
12. DV_INTERVAL.upper-included
Definition

True if the upper bound is included in the interval. Only meaningful if upper_unbounded is False.

ShortTrue if the upper bound is included in the interval.
Control1..1
Typeboolean
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension

Guidance on how to interpret the contents of this table can be foundhere

0. DV_INTERVAL
Definition

Generic class defining an interval (i.e. range) of a comparable type. An interval is a contiguous subrange of a comparable base type. Used to define intervals of dates, times, quantities (whose units match) and so on. The type parameter, T, must be a descendant of the type DV_ORDERED, which is necessary (but not sufficient) for instances to be compared (_strictly_comparable_ is also needed).

Without the DV_INTERVAL class, quite a few more DV_ classes would be needed to express logical intervals, namely interval versions of all the date/time classes, and of quantity classes. Further, it allows the semantics of intervals to be stated in one place unequivocally, including the conditions for strict comparison.

The basic semantics are derived from the class Interval\<T>, described in the support RM.

ShortGeneric class defining an interval
Control0..*
Type ParameterT : http://openehr.org/fhir/StructureDefinition/DV-ORDERED
Is Modifierfalse
Logical ModelInstances of this logical model are not marked to be the target of a Reference
Invariantslimits-consistent: Limits consistent must satisfy range constraints ((upper_unbounded.not() and lower_unbounded.not()) implies (lower.is_strictly_comparable_to(upper) and lower <= upper))
2. DV_INTERVAL.CR
Definition

Carriage return character.

ShortCarriage return character.
Control1..1
Typestring
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
4. DV_INTERVAL.LF
Definition

Line feed character.

ShortLine feed character.
Control1..1
Typestring
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
6. DV_INTERVAL.Local-terminology-id
Definition

Predefined terminology identifier to indicate it is local to the knowledge resource in which it occurs, e.g. an archetype

ShortPredefined terminology identifier
Control1..1
Typestring
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
8. DV_INTERVAL.lower
Definition

Lower bound of the interval. Void if the interval is lower-unbounded.

ShortLower bound of the interval.
Control0..1
Typehttp://openehr.org/fhir/StructureDefinition/DV_ORDERED
Is Modifierfalse
10. DV_INTERVAL.upper
Definition

Upper bound of the interval. Void if the interval is upper-unbounded.

ShortUpper bound of the interval.
Control0..1
Typehttp://openehr.org/fhir/StructureDefinition/DV_ORDERED
Is Modifierfalse
12. DV_INTERVAL.lower-unbounded
Definition

True if the interval has no lower bound. If True, lower is Void.

ShortTrue if the interval has no lower bound.
Control1..1
Typeboolean
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
14. DV_INTERVAL.upper-unbounded
Definition

True if the interval has no upper bound. If True, upper is Void.

ShortTrue if the interval has no upper bound.
Control1..1
Typeboolean
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
16. DV_INTERVAL.lower-included
Definition

True if the lower bound is included in the interval. Only meaningful if lower_unbounded is False.

ShortTrue if the lower bound is included in the interval.
Control1..1
Typeboolean
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension
18. DV_INTERVAL.upper-included
Definition

True if the upper bound is included in the interval. Only meaningful if upper_unbounded is False.

ShortTrue if the upper bound is included in the interval.
Control1..1
Typeboolean
Is Modifierfalse
Primitive ValueThis primitive element may be present, or absent, or replaced by an extension