PREFIX fhir:
PREFIX fhirvs:
PREFIX xsd:
BASE
start=@ AND {fhir:nodeRole [fhir:treeRoot]}
# Describes validation requirements, source(s), status and dates for one or more elements
CLOSED {
a [fhir:VerificationResult];
fhir:nodeRole [fhir:treeRoot]?;
fhir:Resource.id @?; # Logical id of this artifact
fhir:Resource.meta @?; # Metadata about the resource
fhir:Resource.implicitRules @?; # A set of rules under which this
# content was created
fhir:Resource.language @?; # Language of the resource content
fhir:DomainResource.text @?; # Text summary of the resource, for
# human interpretation
fhir:DomainResource.contained @*; # Contained, inline Resources
fhir:DomainResource.extension @*; # Additional content defined by
# implementations
fhir:DomainResource.modifierExtension @*; # Extensions that cannot be ignored
fhir:VerificationResult.target @*; # A resource that was validated
fhir:VerificationResult.targetLocation @*; # The fhirpath location(s) within
# the resource that was validated
fhir:VerificationResult.need @?; # none | initial | periodic
fhir:VerificationResult.status @ AND
{fhir:value @fhirvs:verificationresult-status}; # attested | validated | in-process
# | req-revalid | val-fail |
# reval-fail
fhir:VerificationResult.statusDate @?; # When the validation status was
# updated
fhir:VerificationResult.validationType @?; # nothing | primary | multiple
fhir:VerificationResult.validationProcess @*; # The primary process by which the
# target is validated (edit check;
# value set; primary source;
# multiple sources; standalone; in
# context)
fhir:VerificationResult.frequency @?; # Frequency of revalidation
fhir:VerificationResult.lastPerformed @?; # The date/time validation was last
# completed (including failed
# validations)
fhir:VerificationResult.nextScheduled @?; # The date when target is next
# validated, if appropriate
fhir:VerificationResult.failureAction @?; # fatal | warn | rec-only | none
fhir:VerificationResult.primarySource @*; # Information about the primary
# source(s) involved in validation
fhir:VerificationResult.attestation @?; # Information about the entity
# attesting to information
fhir:VerificationResult.validator @*; # Information about the entity
# validating information
fhir:index xsd:integer? # Relative position in a list
}
# Information about the entity attesting to information
CLOSED {
fhir:Element.id @?; # Unique id for inter-element
# referencing
fhir:Element.extension @*; # Additional content defined by
# implementations
fhir:BackboneElement.modifierExtension @*; # Extensions that cannot be ignored
# even if unrecognized
fhir:VerificationResult.attestation.who @?; # The individual or organization
# attesting to information
fhir:VerificationResult.attestation.onBehalfOf @?; # When the who is asserting on
# behalf of another (organization or
# individual)
fhir:VerificationResult.attestation.communicationMethod @?; # The method by which attested
# information was
# submitted/retrieved
fhir:VerificationResult.attestation.date @?; # The date the information was
# attested to
fhir:VerificationResult.attestation.sourceIdentityCertificate @?; # A digital identity certificate
# associated with the attestation
# source
fhir:VerificationResult.attestation.proxyIdentityCertificate @?; # A digital identity certificate
# associated with the proxy entity
# submitting attested information on
# behalf of the attestation source
fhir:VerificationResult.attestation.proxySignature @?; # Proxy signature
fhir:VerificationResult.attestation.sourceSignature @?; # Attester signature
fhir:index xsd:integer? # Relative position in a list
}
# Information about the entity validating information
CLOSED {
fhir:Element.id @?; # Unique id for inter-element
# referencing
fhir:Element.extension @*; # Additional content defined by
# implementations
fhir:BackboneElement.modifierExtension @*; # Extensions that cannot be ignored
# even if unrecognized
fhir:VerificationResult.validator.organization @; # Reference to the organization
# validating information
fhir:VerificationResult.validator.identityCertificate @?; # A digital identity certificate
# associated with the validator
fhir:VerificationResult.validator.attestationSignature @?; # Validator signature
fhir:index xsd:integer? # Relative position in a list
}
# Information about the primary source(s) involved in validation
CLOSED {
fhir:Element.id @?; # Unique id for inter-element
# referencing
fhir:Element.extension @*; # Additional content defined by
# implementations
fhir:BackboneElement.modifierExtension @*; # Extensions that cannot be ignored
# even if unrecognized
fhir:VerificationResult.primarySource.who @?; # Reference to the primary source
fhir:VerificationResult.primarySource.type @*; # Type of primary source (License
# Board; Primary Education;
# Continuing Education; Postal
# Service; Relationship owner;
# Registration Authority; legal
# source; issuing source;
# authoritative source)
fhir:VerificationResult.primarySource.communicationMethod @*; # Method for exchanging information
# with the primary source
fhir:VerificationResult.primarySource.validationStatus @?; # successful | failed | unknown
fhir:VerificationResult.primarySource.validationDate @?; # When the target was validated
# against the primary source
fhir:VerificationResult.primarySource.canPushUpdates @?; # yes | no | undetermined
fhir:VerificationResult.primarySource.pushTypeAvailable @*; # specific | any | source
fhir:index xsd:integer? # Relative position in a list
}
#---------------------- Data Types -------------------
# Primitive Type dateTime
CLOSED {
fhir:Element.id @?; # xml:id (or equivalent in JSON)
fhir:Element.extension @*; # Additional content defined by
# implementations
fhir:value @?; # Primitive value for dateTime
fhir:index xsd:integer? # Relative position in a list
}
# Primitive Type date
CLOSED {
fhir:Element.id @?; # xml:id (or equivalent in JSON)
fhir:Element.extension @*; # Additional content defined by
# implementations
fhir:value @?; # Primitive value for date
fhir:index xsd:integer? # Relative position in a list
}
# Metadata about a resource
CLOSED {
fhir:Element.id @?; # Unique id for inter-element
# referencing
fhir:Element.extension @*; # Additional content defined by
# implementations
fhir:Meta.versionId @?; # Version specific identifier
fhir:Meta.lastUpdated @?; # When the resource version last
# changed
fhir:Meta.source @?; # Identifies where the resource
# comes from
fhir:Meta.profile @*; # Profiles this resource claims to
# conform to
fhir:Meta.security @*; # Security Labels applied to this
# resource
fhir:Meta.tag @*; # Tags applied to this resource
fhir:index xsd:integer? # Relative position in a list
}
# Primitive Type code
CLOSED {
fhir:Element.id @?; # xml:id (or equivalent in JSON)
fhir:Element.extension @*; # Additional content defined by
# implementations
fhir:value @?; # Primitive value for code
fhir:index xsd:integer? # Relative position in a list
}
# Primitive Type string
CLOSED {
fhir:Element.id @?; # xml:id (or equivalent in JSON)
fhir:Element.extension @*; # Additional content defined by
# implementations
fhir:value @?; # Primitive value for string
fhir:index xsd:integer? # Relative position in a list
}
# A reference from one resource to another
CLOSED {
fhir:link IRI?;
fhir:Element.id @?; # Unique id for inter-element
# referencing
fhir:Element.extension @*; # Additional content defined by
# implementations
fhir:Reference.reference @?; # Literal reference, Relative,
# internal or absolute URL
fhir:Reference.type @?; # Type the reference refers to (e.g.
# "Patient")
fhir:Reference.identifier @?; # Logical reference, when literal
# reference is not known
fhir:Reference.display @?; # Text alternative for the resource
fhir:index xsd:integer? # Relative position in a list
}
# Base Resource
{a .+;
fhir:Resource.id @?; # Logical id of this artifact
fhir:Resource.meta @?; # Metadata about the resource
fhir:Resource.implicitRules @?; # A set of rules under which this
# content was created
fhir:Resource.language @?; # Language of the resource content
fhir:index xsd:integer?
}
# Primitive Type uri
CLOSED {
fhir:Element.id @?; # xml:id (or equivalent in JSON)
fhir:Element.extension @*; # Additional content defined by
# implementations
fhir:value @?; # Primitive value for uri
fhir:index xsd:integer? # Relative position in a list
}
# Optional Extensions Element
CLOSED {
fhir:Element.id @?;
fhir:Element.extension @*;
fhir:Extension.url @;
(
fhir:Extension.valueBase64Binary @ |
fhir:Extension.valueBoolean @ |
fhir:Extension.valueCanonical @ |
fhir:Extension.valueCode @ |
fhir:Extension.valueDate @ |
fhir:Extension.valueDateTime @ |
fhir:Extension.valueDecimal @ |
fhir:Extension.valueId @ |
fhir:Extension.valueInstant @ |
fhir:Extension.valueInteger @ |
fhir:Extension.valueMarkdown @ |
fhir:Extension.valueOid @ |
fhir:Extension.valuePositiveInt @ |
fhir:Extension.valueString @ |
fhir:Extension.valueTime @