Example of using Provenance for a correction replace.

@prefix fhir: <http://hl7.org/fhir/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

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

<http://hl7.org/fhir/Provenance/example-correction-replacement> a fhir:Provenance ;
  fhir:nodeRole fhir:treeRoot ;
  fhir:id [ fhir:v "example-correction-replacement"] ; # 
  fhir:target ( [
     fhir:l <http://hl7.org/fhir/Immunization/example> ;
     fhir:reference [ fhir:v "Immunization/example" ]
  ] ) ; # 
  fhir:recorded [ fhir:v "2024-06-01T13:00:00Z"^^xsd:dateTime] ; # 
  fhir:authorization ( [
     fhir:concept [
       fhir:coding ( [
         fhir:system [
           fhir:v "http://terminology.hl7.org/CodeSystem/v3-ActReason"^^xsd:anyURI ;
           fhir:l <http://terminology.hl7.org/CodeSystem/v3-ActReason>
         ] ;
         fhir:code [ fhir:v "PATSFTY" ]
       ] )
     ]
  ] ) ; # 
  fhir:why [ fhir:v "Corrected immunization record to reflect accurate vaccine information."] ; # 
  fhir:activity [
     fhir:coding ( [
       fhir:system [
         fhir:v "http://terminology.hl7.org/CodeSystem/v3-ActReason"^^xsd:anyURI ;
         fhir:l <http://terminology.hl7.org/CodeSystem/v3-ActReason>
       ] ;
       fhir:code [ fhir:v "FIXDATA" ]
     ] )
  ] ; # 
  fhir:patient [
     fhir:l <http://hl7.org/fhir/Patient/example> ;
     fhir:reference [ fhir:v "Patient/example" ]
  ] ; #  
#  <basedOn>
#    <reference value="DocumentReference/ex-documentation-immunization-correction"/>
#  </basedOn>
#   
  fhir:agent ( [
     fhir:type [
       fhir:coding ( [
         fhir:system [
           fhir:v "http://terminology.hl7.org/CodeSystem/provenance-participant-type"^^xsd:anyURI ;
           fhir:l <http://terminology.hl7.org/CodeSystem/provenance-participant-type>
         ] ;
         fhir:code [ fhir:v "author" ]
       ] )
     ] ;
     fhir:who [
       fhir:l <http://hl7.org/fhir/Practitioner/example> ;
       fhir:reference [ fhir:v "Practitioner/example" ]
     ]
  ] ) ; # 
  fhir:entity ( [
     fhir:role [ fhir:v "removal" ] ;
     fhir:what [
       fhir:l <http://hl7.org/fhir/Immunization/historical> ;
       fhir:reference [ fhir:v "Immunization/historical" ] ;
       fhir:identifier [
         fhir:system [
           fhir:v "urn:ietf:rfc:3986"^^xsd:anyURI ;
           fhir:l <urn:ietf:rfc:3986>
         ] ;
         fhir:value [ fhir:v "urn:oid:1.3.6.1.4.1.21367.2005.3.7.1234" ]
       ] ;
       fhir:display [ fhir:v "Historic Immunization Record with Errors" ]
     ]
  ] ) . # 

<http://hl7.org/fhir/Immunization/example> a fhir:Immunization .

<http://hl7.org/fhir/Patient/example> a fhir:Patient .

<http://hl7.org/fhir/Practitioner/example> a fhir:Practitioner .

<http://hl7.org/fhir/Immunization/historical> a fhir:Immunization .

# -------------------------------------------------------------------------------------