HL7 Europe Base Profiles
0.0.1-ci - ci-build 150

HL7 Europe Base Profiles, published by HL7 Europe. This guide is not an authorized publication; it is the continuous build for version 0.0.1-ci built by the FHIR (HL7® FHIR® Standard) CI Build. This version is based on the current content of https://github.com/hl7-eu/base/ and changes regularly. See the Directory of published versions

Logical Model: European Health Insurance Card

Official URL: http://hl7.eu/fhir/base/StructureDefinition/EHIC Version: 0.0.1-ci
Draft as of 2024-12-18 Computable Name: EHIC

Copyright/Legal: Used by permission of HL7 Europe, all rights reserved Creative Commons License

A free card that gives access to medically necessary, state-provided healthcare during a temporary stay in any of the 27 EU countries, Iceland, Liechtenstein, Norway and Switzerland under the same conditions and at the same cost (free in some countries) as people insured in that country. The benefits covered include, for example, benefits provided in conjunction with chronic or existing illnesses as well as in conjunction with pregnancy and childbirth. Cards are issued by your national health insurance provider. Important – the European Health Insurance Card:

  • is not an alternative to travel insurance. It does not cover any private healthcare or costs such as a return flight to your home country or lost/stolen property,
  • does not cover your costs if you are travelling for the express purpose of obtaining medical treatment,
  • does not guarantee free services. As each country’s healthcare system is different services that cost nothing at home might not be free in another country.

European Health Insurance Card

The European Health Insurance Card (EHIC) is a free card that gives you access to medically necessary, state-provided healthcare during a temporary stay in any of the 27 EU countries, Iceland, Liechtenstein, Norway, Switzerland and the United Kingdom, under the same conditions and at the same cost (free in some countries) as people insured in that country.

How to recognise the card

The cards can be easily recognised. The front of the card looks the same and carries the same information, although in different languages, in each country. The back of the card can vary from country to country. You can click on a country in the How to recognise the card page to see what it looks like in that country.

Usage:

  • This Logical Model Profile is not used by any profiles in this Implementation Guide

Formal Views of Profile Content

Description of Profiles, Differentials, Snapshots and how the different presentations work.

This structure is derived from Base

NameFlagsCard.TypeDescription & Constraintsdoco
.. EHIC 0..* Base European Health Insurance Card
Instances of this logical model are not marked to be the target of a Reference
... EHIC 1..1 BackboneElement European Health Insurance Card
.... country 1..1 code Country Code
.... name 1..1 string 3 - Name
.... givenName 1..1 string 4 - Given names
.... birthDate 1..1 dateTime 5 - Date of birth
.... personalId 1..1 string 6 - Personal identification number
.... istitutionId 1..1 string 7 - Identification number of the institution
.... cardNumber 1..1 string 8 - Identification number of the card
.... expiryDate 1..1 dateTime 9 - expiry date

doco Documentation for this format
NameFlagsCard.TypeDescription & Constraintsdoco
.. EHIC 0..* Base European Health Insurance Card
Instances of this logical model are not marked to be the target of a Reference
... EHIC 1..1 BackboneElement European Health Insurance Card
ele-1: All FHIR elements must have a @value or children
.... @id 0..1 id Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
ele-1: All FHIR elements must have a @value or children
ext-1: Must have either extensions or value[x], not both
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
ele-1: All FHIR elements must have a @value or children
ext-1: Must have either extensions or value[x], not both
.... country 1..1 code Country Code
.... name 1..1 string 3 - Name
.... givenName 1..1 string 4 - Given names
.... birthDate 1..1 dateTime 5 - Date of birth
.... personalId 1..1 string 6 - Personal identification number
.... istitutionId 1..1 string 7 - Identification number of the institution
.... cardNumber 1..1 string 8 - Identification number of the card
.... expiryDate 1..1 dateTime 9 - expiry date

doco Documentation for this format

Constraints

IdGradePath(s)DetailsRequirements
ele-1error**ALL** elementsAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1error**ALL** extensionsMust have either extensions or value[x], not both
: extension.exists() != value.exists()
NameFlagsCard.TypeDescription & Constraintsdoco
.. EHIC 0..* Base European Health Insurance Card
Instances of this logical model are not marked to be the target of a Reference
... EHIC 1..1 BackboneElement European Health Insurance Card
.... @id 0..1 id Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... country 1..1 code Country Code
.... name 1..1 string 3 - Name
.... givenName 1..1 string 4 - Given names
.... birthDate 1..1 dateTime 5 - Date of birth
.... personalId 1..1 string 6 - Personal identification number
.... istitutionId 1..1 string 7 - Identification number of the institution
.... cardNumber 1..1 string 8 - Identification number of the card
.... expiryDate 1..1 dateTime 9 - expiry date

doco Documentation for this format

Constraints

IdGradePath(s)DetailsRequirements
ele-1error**ALL** elementsAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1error**ALL** extensionsMust have either extensions or value[x], not both
: extension.exists() != value.exists()

This structure is derived from Base

Summary

Mandatory: 0 element(9 nested mandatory elements)

Differential View

This structure is derived from Base

NameFlagsCard.TypeDescription & Constraintsdoco
.. EHIC 0..* Base European Health Insurance Card
Instances of this logical model are not marked to be the target of a Reference
... EHIC 1..1 BackboneElement European Health Insurance Card
.... country 1..1 code Country Code
.... name 1..1 string 3 - Name
.... givenName 1..1 string 4 - Given names
.... birthDate 1..1 dateTime 5 - Date of birth
.... personalId 1..1 string 6 - Personal identification number
.... istitutionId 1..1 string 7 - Identification number of the institution
.... cardNumber 1..1 string 8 - Identification number of the card
.... expiryDate 1..1 dateTime 9 - expiry date

doco Documentation for this format

Key Elements View

NameFlagsCard.TypeDescription & Constraintsdoco
.. EHIC 0..* Base European Health Insurance Card
Instances of this logical model are not marked to be the target of a Reference
... EHIC 1..1 BackboneElement European Health Insurance Card
ele-1: All FHIR elements must have a @value or children
.... @id 0..1 id Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
ele-1: All FHIR elements must have a @value or children
ext-1: Must have either extensions or value[x], not both
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
ele-1: All FHIR elements must have a @value or children
ext-1: Must have either extensions or value[x], not both
.... country 1..1 code Country Code
.... name 1..1 string 3 - Name
.... givenName 1..1 string 4 - Given names
.... birthDate 1..1 dateTime 5 - Date of birth
.... personalId 1..1 string 6 - Personal identification number
.... istitutionId 1..1 string 7 - Identification number of the institution
.... cardNumber 1..1 string 8 - Identification number of the card
.... expiryDate 1..1 dateTime 9 - expiry date

doco Documentation for this format

Constraints

IdGradePath(s)DetailsRequirements
ele-1error**ALL** elementsAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1error**ALL** extensionsMust have either extensions or value[x], not both
: extension.exists() != value.exists()

Snapshot View

NameFlagsCard.TypeDescription & Constraintsdoco
.. EHIC 0..* Base European Health Insurance Card
Instances of this logical model are not marked to be the target of a Reference
... EHIC 1..1 BackboneElement European Health Insurance Card
.... @id 0..1 id Unique id for inter-element referencing
.... extension 0..* Extension Additional content defined by implementations
Slice: Unordered, Open by value:url
.... modifierExtension ?!Σ 0..* Extension Extensions that cannot be ignored even if unrecognized
.... country 1..1 code Country Code
.... name 1..1 string 3 - Name
.... givenName 1..1 string 4 - Given names
.... birthDate 1..1 dateTime 5 - Date of birth
.... personalId 1..1 string 6 - Personal identification number
.... istitutionId 1..1 string 7 - Identification number of the institution
.... cardNumber 1..1 string 8 - Identification number of the card
.... expiryDate 1..1 dateTime 9 - expiry date

doco Documentation for this format

Constraints

IdGradePath(s)DetailsRequirements
ele-1error**ALL** elementsAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1error**ALL** extensionsMust have either extensions or value[x], not both
: extension.exists() != value.exists()

This structure is derived from Base

Summary

Mandatory: 0 element(9 nested mandatory elements)

 

Other representations of profile: CSV, Excel