DDCC Core Data Set Logical Model - Vaccination Status - Proof of Vaccination - TTL Representation - WHO Digital Documentation of COVID-19 Certificates (DDCC) v1.0.0

WHO Digital Documentation of COVID-19 Certificates (DDCC), published by WHO. This guide is not an authorized publication; it is the continuous build for version 1.0.0 built by the FHIR (HL7® FHIR® Standard) CI Build. This version is based on the current content of https://github.com/WorldHealthOrganization/ddcc/ and changes regularly. See the Directory of published versions
Logical Model: DDCCCoreDataSetVSPoV - TTL Profile

Draft as of 2024-10-17
TTL representation of the DDCCCoreDataSetVSPoV logical model.
Raw ttl | Download
@prefix fhir: <http://hl7.org/fhir/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

# - resource -------------------------------------------------------------------

 a fhir:StructureDefinition ;
  fhir:nodeRole fhir:treeRoot ;
  fhir:id [ fhir:v "DDCCCoreDataSetVSPoV"] ; # 
  fhir:text [
fhir:status [ fhir:v "extensions" ] ;
fhir:div "<div xmlns=\"http://www.w3.org/1999/xhtml\"><p class=\"res-header-id\"><b>Generated Narrative: StructureDefinition DDCCCoreDataSetVSPoV</b></p><a name=\"DDCCCoreDataSetVSPoV\"> </a><a name=\"hcDDCCCoreDataSetVSPoV\"> </a><a name=\"DDCCCoreDataSetVSPoV-en-US\"> </a><table border=\"0\" cellpadding=\"0\" cellspacing=\"0\" style=\"border: 0px #F0F0F0 solid; font-size: 11px; font-family: verdana; vertical-align: top;\"><tr style=\"border: 1px #F0F0F0 solid; font-size: 11px; font-family: verdana; vertical-align: top\"><th style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"https://build.fhir.org/ig/FHIR/ig-guidance/readingIgs.html#table-views\" title=\"The logical name of the element\">Name</a></th><th style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"https://build.fhir.org/ig/FHIR/ig-guidance/readingIgs.html#table-views\" title=\"Information about the use of the element\">Flags</a></th><th style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"https://build.fhir.org/ig/FHIR/ig-guidance/readingIgs.html#table-views\" title=\"Minimum and Maximum # of times the element can appear in the instance\">Card.</a></th><th style=\"width: 100px\" class=\"hierarchy\"><a href=\"https://build.fhir.org/ig/FHIR/ig-guidance/readingIgs.html#table-views\" title=\"Reference to the type of the element\">Type</a></th><th style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"https://build.fhir.org/ig/FHIR/ig-guidance/readingIgs.html#table-views\" title=\"Additional information about the element\">Description &amp; Constraints</a><span style=\"float: right\"><a href=\"https://build.fhir.org/ig/FHIR/ig-guidance/readingIgs.html#table-views\" title=\"Legend for this format\"><img src=\"data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAABmJLR0QA/wD/AP+gvaeTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH3goXBCwdPqAP0wAAAldJREFUOMuNk0tIlFEYhp9z/vE2jHkhxXA0zJCMitrUQlq4lnSltEqCFhFG2MJFhIvIFpkEWaTQqjaWZRkp0g26URZkTpbaaOJkDqk10szoODP//7XIMUe0elcfnPd9zsfLOYplGrpRwZaqTtw3K7PtGem7Q6FoidbGgqHVy/HRb669R+56zx7eRV1L31JGxYbBtjKK93cxeqfyQHbehkZbUkK20goELEuIzEd+dHS+qz/Y8PTSif0FnGkbiwcAjHaU1+QWOptFiyCLp/LnKptpqIuXHx6rbR26kJcBX3yLgBfnd7CxwJmflpP2wUg0HIAoUUpZBmKzELGWcN8nAr6Gpu7tLU/CkwAaoKTWRSQyt89Q8w6J+oVQkKnBoblH7V0PPvUOvDYXfopE/SJmALsxnVm6LbkotrUtNowMeIrVrBcBpaMmdS0j9df7abpSuy7HWehwJdt1lhVwi/J58U5beXGAF6c3UXLycw1wdFklArBn87xdh0ZsZtArghBdAA3+OEDVubG4UEzP6x1FOWneHh2VDAHBAt80IbdXDcesNoCvs3E5AFyNSU5nbrDPZpcUEQQTFZiEVx+51fxMhhyJEAgvlriadIJZZksRuwBYMOPBbO3hePVVqgEJhFeUuFLhIPkRP6BQLIBrmMenujm/3g4zc398awIe90Zb5A1vREALqneMcYgP/xVQWlG+Ncu5vgwwlaUNx+3799rfe96u9K0JSDXcOzOTJg4B6IgmXfsygc7/Bvg9g9E58/cDVmGIBOP/zT8Bz1zqWqpbXIsd0O9hajXfL6u4BaOS6SeWAAAAAElFTkSuQmCC\" alt=\"doco\" style=\"background-color: inherit\"/></a></span></th></tr><tr style=\"border: 0px #F0F0F0 solid; padding:0px; vertical-align: top; background-color: white\"><td style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px; white-space: nowrap; background-image: url(tbl_bck0.png)\" class=\"hierarchy\"><img src=\"tbl_spacer.png\" alt=\".\" style=\"background-color: inherit\" class=\"hierarchy\"/><img src=\"icon_element.gif\" alt=\".\" style=\"background-color: white; background-color: inherit\" title=\"Element\" class=\"hierarchy\"/> <a href=\"StructureDefinition-DDCCCoreDataSetVSPoV-definitions.html#DDCCCoreDataSet\" title=\"Data elements for the DDCC Core Data Set - Vaccination Status - Proof of Vaccination.\">DDCCCoreDataSet</a><a name=\"DDCCCoreDataSet\"> </a></td><td style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"/><td style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><span style=\"opacity: 0.5\">0</span><span style=\"opacity: 0.5\">..</span><span style=\"opacity: 0.5\">*</span></td><td style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><a href=\"StructureDefinition-DDCCCoreDataSetVS.html\">DDCCCoreDataSetVS</a></td><td style=\"vertical-align: top; text-align : left; background-color: white; border: 0px #F0F0F0 solid; padding:0px 4px 0px 4px\" class=\"hierarchy\"><br/>Elements defined in Ancestors:<a href=\"StructureDefinition-DDCCCoreDataSet.html\" title=\"The full name of the person.\">name</a>, <a href=\"StructureDefinition-DDCCCoreDataSet.html\" title=\"The person's date of birth (DOB) if known. If unknown, use given DOB for administrative purposes\">birthDate</a>, <a href=\"StructureDefinition-DDCCCoreDataSet.html\" title=\"Unique identifier for the person, according to the policies applicable to each country. There can be more than one unique identifier used to link records. (e.g. national ID, health ID, immunization information system ID, medical record ID).\">identifier</a>, <a href=\"StructureDefinition-DDCCCoreDataSet.html\" title=\"Metadata associated with the certificate\">certificate</a>, <a href=\"StructureDefinition-DDCCCoreDataSetVS.html\" title=\"A vaccination event.\">vaccination</a><br/>DDCC Core Data Set Logical Model - Vaccination Status - Proof of Vaccination<br/><span style=\"font-weight:bold\">Instances of this logical model are not marked to be the target of a Reference</span></td></tr>\r\n<tr><td colspan=\"5\" class=\"hierarchy\"><br/><a href=\"https://build.fhir.org/ig/FHIR/ig-guidance/readingIgs.html#table-views\" title=\"Legend for this format\"><img src=\"data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAABmJLR0QA/wD/AP+gvaeTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH3goXBCwdPqAP0wAAAldJREFUOMuNk0tIlFEYhp9z/vE2jHkhxXA0zJCMitrUQlq4lnSltEqCFhFG2MJFhIvIFpkEWaTQqjaWZRkp0g26URZkTpbaaOJkDqk10szoODP//7XIMUe0elcfnPd9zsfLOYplGrpRwZaqTtw3K7PtGem7Q6FoidbGgqHVy/HRb669R+56zx7eRV1L31JGxYbBtjKK93cxeqfyQHbehkZbUkK20goELEuIzEd+dHS+qz/Y8PTSif0FnGkbiwcAjHaU1+QWOptFiyCLp/LnKptpqIuXHx6rbR26kJcBX3yLgBfnd7CxwJmflpP2wUg0HIAoUUpZBmKzELGWcN8nAr6Gpu7tLU/CkwAaoKTWRSQyt89Q8w6J+oVQkKnBoblH7V0PPvUOvDYXfopE/SJmALsxnVm6LbkotrUtNowMeIrVrBcBpaMmdS0j9df7abpSuy7HWehwJdt1lhVwi/J58U5beXGAF6c3UXLycw1wdFklArBn87xdh0ZsZtArghBdAA3+OEDVubG4UEzP6x1FOWneHh2VDAHBAt80IbdXDcesNoCvs3E5AFyNSU5nbrDPZpcUEQQTFZiEVx+51fxMhhyJEAgvlriadIJZZksRuwBYMOPBbO3hePVVqgEJhFeUuFLhIPkRP6BQLIBrmMenujm/3g4zc398awIe90Zb5A1vREALqneMcYgP/xVQWlG+Ncu5vgwwlaUNx+3799rfe96u9K0JSDXcOzOTJg4B6IgmXfsygc7/Bvg9g9E58/cDVmGIBOP/zT8Bz1zqWqpbXIsd0O9hajXfL6u4BaOS6SeWAAAAAElFTkSuQmCC\" alt=\"doco\" style=\"background-color: inherit\"/> Documentation for this format</a></td></tr></table></div>"
  ] ; # 
  fhir:url [ fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSetVSPoV"^^xsd:anyURI] ; # 
  fhir:version [ fhir:v "1.0.0"] ; # 
  fhir:name [ fhir:v "DDCCCoreDataSetVSPoV"] ; # 
  fhir:title [ fhir:v "DDCC Core Data Set Logical Model - Vaccination Status - Proof of Vaccination"] ; # 
  fhir:status [ fhir:v "draft"] ; # 
  fhir:date [ fhir:v "2024-10-17T05:03:04+00:00"^^xsd:dateTime] ; # 
  fhir:publisher [ fhir:v "WHO"] ; # 
  fhir:contact ( [
fhir:name [ fhir:v "WHO" ] ;
    ( fhir:telecom [
fhir:system [ fhir:v "url" ] ;
fhir:value [ fhir:v "http://who.int" ]     ] )
  ] ) ; # 
  fhir:description [ fhir:v "Data elements for the DDCC Core Data Set - Vaccination Status - Proof of Vaccination."] ; # 
  fhir:jurisdiction ( [
    ( fhir:coding [
fhir:system [ fhir:v "http://unstats.un.org/unsd/methods/m49/m49.htm"^^xsd:anyURI ] ;
fhir:code [ fhir:v "001" ]     ] )
  ] ) ; # 
  fhir:fhirVersion [ fhir:v "4.0.1"] ; # 
  fhir:mapping ( [
fhir:identity [ fhir:v "ddcc-immunization" ] ;
fhir:uri [ fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCImmunization"^^xsd:anyURI ] ;
fhir:name [ fhir:v "WHO Digital Documentation of COVID Certificates" ]
  ] [
fhir:identity [ fhir:v "ddcc-immunization-recommendation" ] ;
fhir:uri [ fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCImmunizationRecommendation"^^xsd:anyURI ] ;
fhir:name [ fhir:v "WHO Digital Documentation of COVID Certificates" ]
  ] [
fhir:identity [ fhir:v "ddcc-composition" ] ;
fhir:uri [ fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCComposition"^^xsd:anyURI ] ;
fhir:name [ fhir:v "WHO Digital Documentation of COVID Certificates" ]
  ] [
fhir:identity [ fhir:v "ddcc-patient" ] ;
fhir:uri [ fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCPatient"^^xsd:anyURI ] ;
fhir:name [ fhir:v "WHO Digital Documentation of COVID Certificates" ]
  ] ) ; # 
  fhir:kind [ fhir:v "logical"] ; # 
  fhir:abstract [ fhir:v "false"^^xsd:boolean] ; # 
  fhir:type [ fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSet"^^xsd:anyURI] ; # 
  fhir:baseDefinition [
fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSetVS"^^xsd:anyURI ;
fhir:link <http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSetVS>
  ] ; # 
  fhir:derivation [ fhir:v "specialization"] ; # 
  fhir:snapshot [
    ( fhir:element [
fhir:id [ fhir:v "DDCCCoreDataSet" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet" ] ;
fhir:short [ fhir:v "DDCC Core Data Set Logical Model - Vaccination Status - Proof of Vaccination" ] ;
fhir:definition [ fhir:v "Data elements for the DDCC Core Data Set - Vaccination Status - Proof of Vaccination." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "*" ] ;
fhir:base [
fhir:path [ fhir:v "Base" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "*" ]       ] ;
fhir:isModifier [ fhir:v "false"^^xsd:boolean ]     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.name" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.name" ] ;
fhir:short [ fhir:v "Name" ] ;
fhir:definition [ fhir:v "The full name of the person." ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.name" ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "string"^^xsd:anyURI ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-patient" ] ;
fhir:map [ fhir:v "Patient.name.text" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.birthDate" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.birthDate" ] ;
fhir:short [ fhir:v "Date of birth" ] ;
fhir:definition [ fhir:v "The person's date of birth (DOB) if known. If unknown, use given DOB for administrative purposes" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.birthDate" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "date"^^xsd:anyURI ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-patient" ] ;
fhir:map [ fhir:v "Patient.birthDate" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.identifier" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.identifier" ] ;
fhir:short [ fhir:v "Unique identifier" ] ;
fhir:definition [ fhir:v "Unique identifier for the person, according to the policies applicable to each country. There can be more than one unique identifier used to link records. (e.g. national ID, health ID, immunization information system ID, medical record ID)." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.identifier" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Identifier"^^xsd:anyURI ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-patient" ] ;
fhir:map [ fhir:v "Patient.identifier" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.certificate" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.certificate" ] ;
fhir:short [ fhir:v "Certificate Metadata" ] ;
fhir:definition [ fhir:v "Metadata associated with the certificate" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.certificate" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "BackboneElement"^^xsd:anyURI ]       ] ) ;
      ( fhir:constraint [
fhir:key [ fhir:v "ele-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "All FHIR elements must have a @value or children" ] ;
fhir:expression [ fhir:v "hasValue() or (children().count() > id.count())" ] ;
fhir:xpath [ fhir:v "@value|f:*|h:div" ] ;
fhir:source [
fhir:v "http://hl7.org/fhir/StructureDefinition/Element"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/Element>         ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ]     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.certificate.id" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.id" ] ;
      ( fhir:representation [ fhir:v "xmlAttr" ] ) ;
fhir:short [ fhir:v "Unique id for inter-element referencing" ] ;
fhir:definition [ fhir:v "Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "Element.id" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
        ( fhir:extension [
fhir:url [ fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-fhir-type"^^xsd:anyURI ] ;
fhir:value [ fhir:v "string"^^xsd:anyURI ]         ] ) ;
fhir:code [ fhir:v "http://hl7.org/fhirpath/System.String"^^xsd:anyURI ]       ] ) ;
fhir:isModifier [ fhir:v "false"^^xsd:boolean ] ;
fhir:isSummary [ fhir:v "false"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "rim" ] ;
fhir:map [ fhir:v "n/a" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.certificate.extension" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.extension" ] ;
fhir:slicing [
        ( fhir:discriminator [
fhir:type [ fhir:v "value" ] ;
fhir:path [ fhir:v "url" ]         ] ) ;
fhir:description [ fhir:v "Extensions are always sliced by (at least) url" ] ;
fhir:rules [ fhir:v "open" ]       ] ;
fhir:short [ fhir:v "Additional content defined by implementations" ] ;
fhir:definition [ fhir:v "May be used to represent additional information that is not part of the basic definition of the element. To make the use of extensions safe and manageable, there is a strict set of governance  applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension." ] ;
fhir:comment [ fhir:v "There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions.  The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone." ] ;
      ( fhir:alias [ fhir:v "extensions" ] [ fhir:v "user content" ] ) ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "*" ] ;
fhir:base [
fhir:path [ fhir:v "Element.extension" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "*" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Extension"^^xsd:anyURI ]       ] ) ;
      ( fhir:constraint [
fhir:key [ fhir:v "ele-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "All FHIR elements must have a @value or children" ] ;
fhir:expression [ fhir:v "hasValue() or (children().count() > id.count())" ] ;
fhir:xpath [ fhir:v "@value|f:*|h:div" ] ;
fhir:source [
fhir:v "http://hl7.org/fhir/StructureDefinition/Element"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/Element>         ]       ] [
fhir:key [ fhir:v "ext-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "Must have either extensions or value[x], not both" ] ;
fhir:expression [ fhir:v "extension.exists() != value.exists()" ] ;
fhir:xpath [ fhir:v "exists(f:extension)!=exists(f:*[starts-with(local-name(.), \"value\")])" ] ;
fhir:source [
fhir:v "http://hl7.org/fhir/StructureDefinition/Extension"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/Extension>         ]       ] ) ;
fhir:isModifier [ fhir:v "false"^^xsd:boolean ] ;
fhir:isSummary [ fhir:v "false"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "rim" ] ;
fhir:map [ fhir:v "n/a" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.certificate.modifierExtension" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.modifierExtension" ] ;
fhir:short [ fhir:v "Extensions that cannot be ignored even if unrecognized" ] ;
fhir:definition [ fhir:v "May be used to represent additional information that is not part of the basic definition of the element and that modifies the understanding of the element in which it is contained and/or the understanding of the containing element's descendants. Usually modifier elements provide negation or qualification. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension. Applications processing a resource are required to check for modifier extensions.\n\nModifier extensions SHALL NOT change the meaning of any elements on Resource or DomainResource (including cannot change the meaning of modifierExtension itself)." ] ;
fhir:comment [ fhir:v "There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions.  The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone." ] ;
fhir:requirements [ fhir:v "Modifier extensions allow for extensions that *cannot* be safely ignored to be clearly distinguished from the vast majority of extensions which can be safely ignored.  This promotes interoperability by eliminating the need for implementers to prohibit the presence of extensions. For further information, see the [definition of modifier extensions](http://hl7.org/fhir/R4/extensibility.html#modifierExtension)." ] ;
      ( fhir:alias [ fhir:v "extensions" ] [ fhir:v "user content" ] [ fhir:v "modifiers" ] ) ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "*" ] ;
fhir:base [
fhir:path [ fhir:v "BackboneElement.modifierExtension" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "*" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Extension"^^xsd:anyURI ]       ] ) ;
      ( fhir:constraint [
fhir:key [ fhir:v "ele-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "All FHIR elements must have a @value or children" ] ;
fhir:expression [ fhir:v "hasValue() or (children().count() > id.count())" ] ;
fhir:xpath [ fhir:v "@value|f:*|h:div" ] ;
fhir:source [
fhir:v "http://hl7.org/fhir/StructureDefinition/Element"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/Element>         ]       ] [
fhir:key [ fhir:v "ext-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "Must have either extensions or value[x], not both" ] ;
fhir:expression [ fhir:v "extension.exists() != value.exists()" ] ;
fhir:xpath [ fhir:v "exists(f:extension)!=exists(f:*[starts-with(local-name(.), \"value\")])" ] ;
fhir:source [
fhir:v "http://hl7.org/fhir/StructureDefinition/Extension"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/Extension>         ]       ] ) ;
fhir:isModifier [ fhir:v "true"^^xsd:boolean ] ;
fhir:isModifierReason [ fhir:v "Modifier extensions are expected to modify the meaning or interpretation of the element that contains them" ] ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "rim" ] ;
fhir:map [ fhir:v "N/A" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.certificate.issuer" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.issuer" ] ;
fhir:short [ fhir:v "Certificate issuer" ] ;
fhir:definition [ fhir:v "Certificate issuer." ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.issuer" ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Reference"^^xsd:anyURI ] ;
        ( fhir:targetProfile [
fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCOrganization"^^xsd:anyURI ;
fhir:link <http://smart.who.int/ddcc/StructureDefinition/DDCCOrganization>         ] )       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-immunization" ] ;
fhir:map [ fhir:v "Immunization.protocolApplied.authority.identifier" ]       ] [
fhir:identity [ fhir:v "ddcc-composition" ] ;
fhir:map [ fhir:v "Composition.author.identifier" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.certificate.kid" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.kid" ] ;
fhir:short [ fhir:v "Key ID used to verify the signature of the certificate" ] ;
fhir:definition [ fhir:v "Key ID" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.kid" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "string"^^xsd:anyURI ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.certificate.hcid" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.hcid" ] ;
fhir:short [ fhir:v "Health certificate identifier (HCID)" ] ;
fhir:definition [ fhir:v "Health certificate identifier (HCID)." ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.hcid" ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Identifier"^^xsd:anyURI ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ]     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.certificate.ddccid" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.ddccid" ] ;
fhir:short [ fhir:v "DDCC Identifier" ] ;
fhir:definition [ fhir:v "DDCC Identifier" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.ddccid" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Identifier"^^xsd:anyURI ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ]     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.certificate.version" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.version" ] ;
fhir:short [ fhir:v "Certificate schema version" ] ;
fhir:definition [ fhir:v "Certificate schema version" ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.version" ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "string"^^xsd:anyURI ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ]     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.certificate.period" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.period" ] ;
fhir:short [ fhir:v "Certificate Validity Period" ] ;
fhir:definition [ fhir:v "Certificate validity period." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.period" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Period"^^xsd:anyURI ]       ] ) ;
      ( fhir:constraint [
fhir:key [ fhir:v "ele-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "All FHIR elements must have a @value or children" ] ;
fhir:expression [ fhir:v "hasValue() or (children().count() > id.count())" ] ;
fhir:xpath [ fhir:v "@value|f:*|h:div" ] ;
fhir:source [
fhir:v "http://hl7.org/fhir/StructureDefinition/Element"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/Element>         ]       ] [
fhir:key [ fhir:v "per-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "If present, start SHALL have a lower value than end" ] ;
fhir:expression [ fhir:v "start.hasValue().not() or end.hasValue().not() or (start <= end)" ] ;
fhir:xpath [ fhir:v "not(exists(f:start/@value)) or not(exists(f:end/@value)) or (xs:dateTime(f:start/@value) <= xs:dateTime(f:end/@value))" ] ;
fhir:source [
fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSet"^^xsd:anyURI ;
fhir:link <http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSet>         ]       ] ) ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-composition" ] ;
fhir:map [ fhir:v "Composition.event.period" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.certificate.period.id" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.period.id" ] ;
      ( fhir:representation [ fhir:v "xmlAttr" ] ) ;
fhir:short [ fhir:v "Unique id for inter-element referencing" ] ;
fhir:definition [ fhir:v "Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "Element.id" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
        ( fhir:extension [
fhir:url [ fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-fhir-type"^^xsd:anyURI ] ;
fhir:value [ fhir:v "string"^^xsd:anyURI ]         ] ) ;
fhir:code [ fhir:v "http://hl7.org/fhirpath/System.String"^^xsd:anyURI ]       ] ) ;
fhir:isModifier [ fhir:v "false"^^xsd:boolean ] ;
fhir:isSummary [ fhir:v "false"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "rim" ] ;
fhir:map [ fhir:v "n/a" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.certificate.period.extension" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.period.extension" ] ;
fhir:slicing [
        ( fhir:discriminator [
fhir:type [ fhir:v "value" ] ;
fhir:path [ fhir:v "url" ]         ] ) ;
fhir:description [ fhir:v "Extensions are always sliced by (at least) url" ] ;
fhir:rules [ fhir:v "open" ]       ] ;
fhir:short [ fhir:v "Additional content defined by implementations" ] ;
fhir:definition [ fhir:v "May be used to represent additional information that is not part of the basic definition of the element. To make the use of extensions safe and manageable, there is a strict set of governance  applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension." ] ;
fhir:comment [ fhir:v "There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions.  The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone." ] ;
      ( fhir:alias [ fhir:v "extensions" ] [ fhir:v "user content" ] ) ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "*" ] ;
fhir:base [
fhir:path [ fhir:v "Element.extension" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "*" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Extension"^^xsd:anyURI ]       ] ) ;
      ( fhir:constraint [
fhir:key [ fhir:v "ele-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "All FHIR elements must have a @value or children" ] ;
fhir:expression [ fhir:v "hasValue() or (children().count() > id.count())" ] ;
fhir:xpath [ fhir:v "@value|f:*|h:div" ] ;
fhir:source [
fhir:v "http://hl7.org/fhir/StructureDefinition/Element"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/Element>         ]       ] [
fhir:key [ fhir:v "ext-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "Must have either extensions or value[x], not both" ] ;
fhir:expression [ fhir:v "extension.exists() != value.exists()" ] ;
fhir:xpath [ fhir:v "exists(f:extension)!=exists(f:*[starts-with(local-name(.), \"value\")])" ] ;
fhir:source [
fhir:v "http://hl7.org/fhir/StructureDefinition/Extension"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/Extension>         ]       ] ) ;
fhir:isModifier [ fhir:v "false"^^xsd:boolean ] ;
fhir:isSummary [ fhir:v "false"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "rim" ] ;
fhir:map [ fhir:v "n/a" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.certificate.period.start" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.period.start" ] ;
fhir:short [ fhir:v "Certificate valid from" ] ;
fhir:definition [ fhir:v "Start date of certificate validity." ] ;
fhir:comment [ fhir:v "If the low element is missing, the meaning is that the low boundary is not known." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "Period.start" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "dateTime"^^xsd:anyURI ]       ] ) ;
      ( fhir:condition [ fhir:v "per-1" ] ) ;
      ( fhir:constraint [
fhir:key [ fhir:v "ele-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "All FHIR elements must have a @value or children" ] ;
fhir:expression [ fhir:v "hasValue() or (children().count() > id.count())" ] ;
fhir:xpath [ fhir:v "@value|f:*|h:div" ] ;
fhir:source [
fhir:v "http://hl7.org/fhir/StructureDefinition/Element"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/Element>         ]       ] ) ;
fhir:isModifier [ fhir:v "false"^^xsd:boolean ] ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "v2" ] ;
fhir:map [ fhir:v "DR.1" ]       ] [
fhir:identity [ fhir:v "rim" ] ;
fhir:map [ fhir:v "./low" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.certificate.period.end" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.certificate.period.end" ] ;
fhir:short [ fhir:v "Certificate valid until" ] ;
fhir:definition [ fhir:v "End date of certificate validity." ] ;
fhir:comment [ fhir:v "The high value includes any matching date/time. i.e. 2012-02-03T10:00:00 is in a period that has an end value of 2012-02-03." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "Period.end" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "dateTime"^^xsd:anyURI ]       ] ) ;
fhir:meaningWhenMissing [ fhir:v "If the end of the period is missing, it means that the period is ongoing" ] ;
      ( fhir:condition [ fhir:v "per-1" ] ) ;
      ( fhir:constraint [
fhir:key [ fhir:v "ele-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "All FHIR elements must have a @value or children" ] ;
fhir:expression [ fhir:v "hasValue() or (children().count() > id.count())" ] ;
fhir:xpath [ fhir:v "@value|f:*|h:div" ] ;
fhir:source [
fhir:v "http://hl7.org/fhir/StructureDefinition/Element"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/Element>         ]       ] ) ;
fhir:isModifier [ fhir:v "false"^^xsd:boolean ] ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "v2" ] ;
fhir:map [ fhir:v "DR.2" ]       ] [
fhir:identity [ fhir:v "rim" ] ;
fhir:map [ fhir:v "./high" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination" ] ;
fhir:short [ fhir:v "Vaccination Event" ] ;
fhir:definition [ fhir:v "A vaccination event." ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination" ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "BackboneElement"^^xsd:anyURI ]       ] ) ;
      ( fhir:constraint [
fhir:key [ fhir:v "who-ddcc-data-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "Manufacturer or Market Authorization Holder SHALL be present" ] ;
fhir:expression [ fhir:v "manufacturer.exists() or maholder.exists()" ] ;
fhir:source [
fhir:v "http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSetVS"^^xsd:anyURI ;
fhir:link <http://smart.who.int/ddcc/StructureDefinition/DDCCCoreDataSetVS>         ]       ] [
fhir:key [ fhir:v "ele-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "All FHIR elements must have a @value or children" ] ;
fhir:expression [ fhir:v "hasValue() or (children().count() > id.count())" ] ;
fhir:xpath [ fhir:v "@value|f:*|h:div" ] ;
fhir:source [
fhir:v "http://hl7.org/fhir/StructureDefinition/Element"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/Element>         ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ]     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.id" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.id" ] ;
      ( fhir:representation [ fhir:v "xmlAttr" ] ) ;
fhir:short [ fhir:v "Unique id for inter-element referencing" ] ;
fhir:definition [ fhir:v "Unique id for the element within a resource (for internal references). This may be any string value that does not contain spaces." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "Element.id" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
        ( fhir:extension [
fhir:url [ fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-fhir-type"^^xsd:anyURI ] ;
fhir:value [ fhir:v "string"^^xsd:anyURI ]         ] ) ;
fhir:code [ fhir:v "http://hl7.org/fhirpath/System.String"^^xsd:anyURI ]       ] ) ;
fhir:isModifier [ fhir:v "false"^^xsd:boolean ] ;
fhir:isSummary [ fhir:v "false"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "rim" ] ;
fhir:map [ fhir:v "n/a" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.extension" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.extension" ] ;
fhir:slicing [
        ( fhir:discriminator [
fhir:type [ fhir:v "value" ] ;
fhir:path [ fhir:v "url" ]         ] ) ;
fhir:description [ fhir:v "Extensions are always sliced by (at least) url" ] ;
fhir:rules [ fhir:v "open" ]       ] ;
fhir:short [ fhir:v "Additional content defined by implementations" ] ;
fhir:definition [ fhir:v "May be used to represent additional information that is not part of the basic definition of the element. To make the use of extensions safe and manageable, there is a strict set of governance  applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension." ] ;
fhir:comment [ fhir:v "There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions.  The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone." ] ;
      ( fhir:alias [ fhir:v "extensions" ] [ fhir:v "user content" ] ) ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "*" ] ;
fhir:base [
fhir:path [ fhir:v "Element.extension" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "*" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Extension"^^xsd:anyURI ]       ] ) ;
      ( fhir:constraint [
fhir:key [ fhir:v "ele-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "All FHIR elements must have a @value or children" ] ;
fhir:expression [ fhir:v "hasValue() or (children().count() > id.count())" ] ;
fhir:xpath [ fhir:v "@value|f:*|h:div" ] ;
fhir:source [
fhir:v "http://hl7.org/fhir/StructureDefinition/Element"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/Element>         ]       ] [
fhir:key [ fhir:v "ext-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "Must have either extensions or value[x], not both" ] ;
fhir:expression [ fhir:v "extension.exists() != value.exists()" ] ;
fhir:xpath [ fhir:v "exists(f:extension)!=exists(f:*[starts-with(local-name(.), \"value\")])" ] ;
fhir:source [
fhir:v "http://hl7.org/fhir/StructureDefinition/Extension"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/Extension>         ]       ] ) ;
fhir:isModifier [ fhir:v "false"^^xsd:boolean ] ;
fhir:isSummary [ fhir:v "false"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "rim" ] ;
fhir:map [ fhir:v "n/a" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.modifierExtension" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.modifierExtension" ] ;
fhir:short [ fhir:v "Extensions that cannot be ignored even if unrecognized" ] ;
fhir:definition [ fhir:v "May be used to represent additional information that is not part of the basic definition of the element and that modifies the understanding of the element in which it is contained and/or the understanding of the containing element's descendants. Usually modifier elements provide negation or qualification. To make the use of extensions safe and manageable, there is a strict set of governance applied to the definition and use of extensions. Though any implementer can define an extension, there is a set of requirements that SHALL be met as part of the definition of the extension. Applications processing a resource are required to check for modifier extensions.\n\nModifier extensions SHALL NOT change the meaning of any elements on Resource or DomainResource (including cannot change the meaning of modifierExtension itself)." ] ;
fhir:comment [ fhir:v "There can be no stigma associated with the use of extensions by any application, project, or standard - regardless of the institution or jurisdiction that uses or defines the extensions.  The use of extensions is what allows the FHIR specification to retain a core level of simplicity for everyone." ] ;
fhir:requirements [ fhir:v "Modifier extensions allow for extensions that *cannot* be safely ignored to be clearly distinguished from the vast majority of extensions which can be safely ignored.  This promotes interoperability by eliminating the need for implementers to prohibit the presence of extensions. For further information, see the [definition of modifier extensions](http://hl7.org/fhir/R4/extensibility.html#modifierExtension)." ] ;
      ( fhir:alias [ fhir:v "extensions" ] [ fhir:v "user content" ] [ fhir:v "modifiers" ] ) ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "*" ] ;
fhir:base [
fhir:path [ fhir:v "BackboneElement.modifierExtension" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "*" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Extension"^^xsd:anyURI ]       ] ) ;
      ( fhir:constraint [
fhir:key [ fhir:v "ele-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "All FHIR elements must have a @value or children" ] ;
fhir:expression [ fhir:v "hasValue() or (children().count() > id.count())" ] ;
fhir:xpath [ fhir:v "@value|f:*|h:div" ] ;
fhir:source [
fhir:v "http://hl7.org/fhir/StructureDefinition/Element"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/Element>         ]       ] [
fhir:key [ fhir:v "ext-1" ] ;
fhir:severity [ fhir:v "error" ] ;
fhir:human [ fhir:v "Must have either extensions or value[x], not both" ] ;
fhir:expression [ fhir:v "extension.exists() != value.exists()" ] ;
fhir:xpath [ fhir:v "exists(f:extension)!=exists(f:*[starts-with(local-name(.), \"value\")])" ] ;
fhir:source [
fhir:v "http://hl7.org/fhir/StructureDefinition/Extension"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/StructureDefinition/Extension>         ]       ] ) ;
fhir:isModifier [ fhir:v "true"^^xsd:boolean ] ;
fhir:isModifierReason [ fhir:v "Modifier extensions are expected to modify the meaning or interpretation of the element that contains them" ] ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "rim" ] ;
fhir:map [ fhir:v "N/A" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.vaccine" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.vaccine" ] ;
fhir:short [ fhir:v "Vaccine or prophylaxis" ] ;
fhir:definition [ fhir:v "Generic description of the vaccine or vaccine sub-type. e.g. COVID-19 mRNA vaccine, HPV vaccine." ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.vaccine" ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Coding"^^xsd:anyURI ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
fhir:binding [
fhir:strength [ fhir:v "preferred" ] ;
fhir:valueSet [
fhir:v "http://smart.who.int/ddcc/ValueSet/WHODDCCVaccinesCOVID19"^^xsd:anyURI ;
fhir:link <http://smart.who.int/ddcc/ValueSet/WHODDCCVaccinesCOVID19>         ]       ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-immunization" ] ;
fhir:map [ fhir:v "Immunization.vaccineCode" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.brand" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.brand" ] ;
fhir:short [ fhir:v "Vaccine brand" ] ;
fhir:definition [ fhir:v "The brand or trade name used to refer to the vaccine received." ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.brand" ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Coding"^^xsd:anyURI ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-immunization" ] ;
fhir:map [ fhir:v "Immunization.extension[https://smart.who.int/ddcc/StructureDefinition/DDCCEventBrand]" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.manufacturer" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.manufacturer" ] ;
fhir:short [ fhir:v "Vaccine manufacturer" ] ;
fhir:definition [ fhir:v "Name of the manufacturer of the vaccine received. e.g. Serum institute of India, AstraZeneca. If vaccine manufacturer is unknown, market authorization holder is REQUIRED." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.manufacturer" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Coding"^^xsd:anyURI ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-immunization" ] ;
fhir:map [ fhir:v "Immunization.manufacturer" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.maholder" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.maholder" ] ;
fhir:short [ fhir:v "Vaccine market authorization holder" ] ;
fhir:definition [ fhir:v "Name of the market authorization holder of the vaccine received. If market authorization holder is unknown, vaccine manufacturer is REQUIRED." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.maholder" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Coding"^^xsd:anyURI ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-immunization" ] ;
fhir:map [ fhir:v "Immunization.extension[https://smart.who.int/ddcc/StructureDefinition/DDCCVaccineMarketAuthorization]" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.lot" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.lot" ] ;
fhir:short [ fhir:v "Vaccine lot number" ] ;
fhir:definition [ fhir:v "Lot number or batch number of vaccination." ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.lot" ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "string"^^xsd:anyURI ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-immunization" ] ;
fhir:map [ fhir:v "Immunization.lotNumber" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.date" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.date" ] ;
fhir:short [ fhir:v "Date of vaccination" ] ;
fhir:definition [ fhir:v "Date in which the vaccine was provided." ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.date" ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "dateTime"^^xsd:anyURI ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-immunization" ] ;
fhir:map [ fhir:v "Immunization.occurrence" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.validFrom" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.validFrom" ] ;
fhir:short [ fhir:v "Vaccination valid from" ] ;
fhir:definition [ fhir:v "Date upon which provided vaccination is considered valid." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.validFrom" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "date"^^xsd:anyURI ]       ] ) ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-immunization" ] ;
fhir:map [ fhir:v "Immunization.extension[https://smart.who.int/ddcc/StructureDefinition/DDCCVaccineValidFrom]" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.dose" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.dose" ] ;
fhir:short [ fhir:v "Dose number" ] ;
fhir:definition [ fhir:v "Vaccine dose number." ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.dose" ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "positiveInt"^^xsd:anyURI ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-immunization" ] ;
fhir:map [ fhir:v "Immunization.protocolApplied.doseNumber" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.totalDoses" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.totalDoses" ] ;
fhir:short [ fhir:v "Total doses" ] ;
fhir:definition [ fhir:v "Total expected doses as defined by Member State care plan and immunization programme policies." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.totalDoses" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "positiveInt"^^xsd:anyURI ]       ] ) ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-immunization" ] ;
fhir:map [ fhir:v "Immunization.protocolApplied.seriesDoses" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.country" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.country" ] ;
fhir:short [ fhir:v "Country of vaccination" ] ;
fhir:definition [ fhir:v "The country in which the individual has been vaccinated." ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.country" ] ;
fhir:min [ fhir:v "1"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Coding"^^xsd:anyURI ]       ] ) ;
fhir:isSummary [ fhir:v "true"^^xsd:boolean ] ;
fhir:binding [
fhir:strength [ fhir:v "preferred" ] ;
fhir:valueSet [
fhir:v "http://hl7.org/fhir/ValueSet/iso3166-1-3"^^xsd:anyURI ;
fhir:link <http://hl7.org/fhir/ValueSet/iso3166-1-3>         ]       ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc" ] ;
fhir:map [ fhir:v "Immunization.extension.where(url='https://smart.who.int/ddcc/StructureDefinition/DDCCCountryOfVaccination')" ]       ] [
fhir:identity [ fhir:v "ddcc-immunization" ] ;
fhir:map [ fhir:v "Immunization.extension[https://smart.who.int/ddcc/StructureDefinition/DDCCCountryOfEvent]" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.centre" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.centre" ] ;
fhir:short [ fhir:v "Administering centre" ] ;
fhir:definition [ fhir:v "The name or identifier of the vaccination facility responsible for providing the vaccination." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.centre" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "string"^^xsd:anyURI ]       ] ) ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-immunization" ] ;
fhir:map [ fhir:v "Immunization.location" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.signature" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.signature" ] ;
fhir:short [ fhir:v "Signature of health worker" ] ;
fhir:definition [ fhir:v "REQUIRED for PAPER vaccination certificates ONLY. The health worker who provided the vaccination or the supervising clinician's hand-written signature." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.signature" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Signature"^^xsd:anyURI ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.practitioner" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.practitioner" ] ;
fhir:short [ fhir:v "Health worker identifier" ] ;
fhir:definition [ fhir:v "OPTIONAL for DIGITAL and PAPER vaccination certificates. The unique identifier for the health worker as determined by the member state. There can be more than one unique identifier used. (e.g. system generated ID, health profession number, cryptographic signature, or any other form of health worker unique identifier). This can be used in lieu of a paper-based signature." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.practitioner" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Identifier"^^xsd:anyURI ]       ] ) ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-immunization" ] ;
fhir:map [ fhir:v "Immunization.performer.actor" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.disease" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.disease" ] ;
fhir:short [ fhir:v "Disease or agent targeted" ] ;
fhir:definition [ fhir:v "Name of disease vaccinated against (such as COVID-19)." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.disease" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "Coding"^^xsd:anyURI ]       ] ) ;
fhir:binding [
fhir:strength [ fhir:v "preferred" ] ;
fhir:valueSet [
fhir:v "http://smart.who.int/ddcc/ValueSet/WHODDCCDiseaseTargetedCOVID19"^^xsd:anyURI ;
fhir:link <http://smart.who.int/ddcc/ValueSet/WHODDCCDiseaseTargetedCOVID19>         ]       ] ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-immunization" ] ;
fhir:map [ fhir:v "Immunization.protocolApplied.targetDisease" ]       ] )     ] [
fhir:id [ fhir:v "DDCCCoreDataSet.vaccination.nextDose" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.nextDose" ] ;
fhir:short [ fhir:v "Due date of next dose" ] ;
fhir:definition [ fhir:v "Date on which the next vaccination should be administered, if a next dose is REQUIRED." ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ] ;
fhir:base [
fhir:path [ fhir:v "DDCCCoreDataSet.vaccination.nextDose" ] ;
fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
fhir:max [ fhir:v "1" ]       ] ;
      ( fhir:type [
fhir:code [ fhir:v "date"^^xsd:anyURI ]       ] ) ;
      ( fhir:mapping [
fhir:identity [ fhir:v "ddcc-immunization-recommendation" ] ;
fhir:map [ fhir:v "ImmunizationRecommendation.dateCriterion.value" ]       ] )     ] )
  ] ; # 
  fhir:differential [
    ( fhir:element [
fhir:id [ fhir:v "DDCCCoreDataSet" ] ;
fhir:path [ fhir:v "DDCCCoreDataSet" ] ;
fhir:short [ fhir:v "DDCC Core Data Set Logical Model - Vaccination Status - Proof of Vaccination" ] ;
fhir:definition [ fhir:v "Data elements for the DDCC Core Data Set - Vaccination Status - Proof of Vaccination." ]     ] )
  ] . #