Operation Definition

@prefix fhir: <http://hl7.org/fhir/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

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

[] a fhir:OperationDefinition ;
  fhir:id [ fhir:v "ValueSet-validate-code"] ;
  fhir:text [
     fhir:status [ fhir:v "extensions" ]
  ] ;
  fhir:extension ( [
     fhir:url [ fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-fmm" ] ;
     fhir:value [ fhir:v "5" ]
  ] [
     fhir:url [ fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-standards-status" ] ;
     fhir:value [ fhir:v "normative" ]
  ] [
     fhir:url [ fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-wg" ] ;
     fhir:value [ fhir:v "vocab" ]
  ] ) ;
  fhir:url [ fhir:v "http://hl7.org/fhir/OperationDefinition/ValueSet-validate-code"], [ fhir:v "http://hl7.org/fhir/OperationDefinition/ValueSet-validate-code"] ;
  fhir:version [ fhir:v "6.0.0-ballot1"], [ fhir:v "6.0.0-ballot1"] ;
  fhir:name [ fhir:v "ValidateCode"], [ fhir:v "ValidateCode"] ;
  fhir:title [ fhir:v "Value Set based Validation"], [ fhir:v "Value Set based Validation"] ;
  fhir:status [ fhir:v "active"], [ fhir:v "active"] ;
  fhir:experimental [ fhir:v "false"], [ fhir:v "false"] ;
  fhir:date [ fhir:v "2023-12-18T15:12:07+11:00"], [ fhir:v "2023-12-18T15:12:07+11:00"] ;
  fhir:publisher [ fhir:v "HL7 International / Terminology Infrastructure"], [ fhir:v "HL7 International / Terminology Infrastructure"] ;
  fhir:contact ( [
     fhir:telecom ( [
       fhir:system [ fhir:v "url" ] ;
       fhir:value [ fhir:v "http://hl7.org/fhir" ]
     ] [
       fhir:system [ fhir:v "email" ] ;
       fhir:value [ fhir:v "fhir@lists.hl7.org" ]
     ] )
  ] [
     fhir:telecom ( [
       fhir:system [ fhir:v "url" ] ;
       fhir:value [ fhir:v "http://www.hl7.org/Special/committees/Vocab" ]
     ] )
  ] [
     fhir:telecom ( [
       fhir:system [ fhir:v "url" ] ;
       fhir:value [ fhir:v "http://hl7.org/fhir" ]
     ] [
       fhir:system [ fhir:v "email" ] ;
       fhir:value [ fhir:v "fhir@lists.hl7.org" ]
     ] )
  ] [
     fhir:telecom ( [
       fhir:system [ fhir:v "url" ] ;
       fhir:value [ fhir:v "http://www.hl7.org/Special/committees/Vocab" ]
     ] )
  ] ) ;
  fhir:description [ fhir:v "Validate that a coded value is in the set of codes allowed by a value set.\n\nIf the operation is not called at the instance level, one of the in parameters url, context or valueSet must be provided.  One (and only one) of the in parameters code, coding, or codeableConcept must be provided. If a code is provided, either a system or inferSystem **SHOULD** be provided. The operation returns a result (true / false), an error message, and the recommended display for the code. When validating a code or a coding, then the code, system and version output parameters **SHOULD** be populated when possible. When a validating a CodeableConcept, then the codeableConcept output parameter **SHOULD** be populated when possible."], [ fhir:v "Validate that a coded value is in the set of codes allowed by a value set.\n\nIf the operation is not called at the instance level, one of the in parameters url, context or valueSet must be provided.  One (and only one) of the in parameters code, coding, or codeableConcept must be provided. If a code is provided, either a system or inferSystem **SHOULD** be provided. The operation returns a result (true / false), an error message, and the recommended display for the code. When validating a code or a coding, then the code, system and version output parameters **SHOULD** be populated when possible. When a validating a CodeableConcept, then the codeableConcept output parameter **SHOULD** be populated when possible."] ;
  fhir:jurisdiction ( [
     fhir:coding ( [
       fhir:system [ fhir:v "http://unstats.un.org/unsd/methods/m49/m49.htm" ] ;
       fhir:code [ fhir:v "001" ] ;
       fhir:display [ fhir:v "World" ]
     ] )
  ] [
     fhir:coding ( [
       fhir:system [ fhir:v "http://unstats.un.org/unsd/methods/m49/m49.htm" ] ;
       fhir:code [ fhir:v "001" ] ;
       fhir:display [ fhir:v "World" ]
     ] )
  ] ) ;
  fhir:kind [ fhir:v "operation"] ;
  fhir:affectsState [ fhir:v "false"] ;
  fhir:code [ fhir:v "validate-code"] ;
  fhir:comment [ fhir:v "Note: the correct behavior of validation with regard to language for Coding.display items is currently undefined, and further development and testing may lead to specific requirements or recommendations in subsequent releases"] ;
  fhir:resource ( [ fhir:v "ValueSet"] ) ;
  fhir:system [ fhir:v "false"] ;
  fhir:type [ fhir:v "true"] ;
  fhir:instance [ fhir:v "true"] ;
  fhir:parameter ( [
     fhir:name [ fhir:v "url" ] ;
     fhir:use [ fhir:v "in" ] ;
     fhir:scope ( [ fhir:v "type" ] ) ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "Value set Canonical URL. The server must know the value set (e.g. it is defined explicitly in the server's value sets, or it is defined implicitly by some code system known to the server" ] ;
     fhir:type [ fhir:v "uri" ]
  ] [
     fhir:name [ fhir:v "context" ] ;
     fhir:use [ fhir:v "in" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "The context of the value set, so that the server can resolve this to a value set to validate against. The recommended format for this URI is [Structure Definition URL]#[name or path into structure definition] e.g. http://hl7.org/fhir/StructureDefinition/observation-hspc-height-hspcheight#Observation.interpretation. Other forms may be used but are not defined. This form is only usable if the terminology server also has access to the conformance registry that the server is using, but can be used to delegate the mapping from an application context to a binding at run-time" ] ;
     fhir:type [ fhir:v "uri" ]
  ] [
     fhir:name [ fhir:v "valueSet" ] ;
     fhir:use [ fhir:v "in" ] ;
     fhir:scope ( [ fhir:v "type" ] ) ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "The value set is provided directly as part of the request. Servers may choose not to accept value sets in this fashion. This parameter is used when the client wants the server to expand a value set that is not stored on the server" ] ;
     fhir:type [ fhir:v "ValueSet" ]
  ] [
     fhir:name [ fhir:v "valueSetVersion" ] ;
     fhir:use [ fhir:v "in" ] ;
     fhir:scope ( [ fhir:v "type" ] ) ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "The identifier that is used to identify a specific version of the value set to be used when validating the code. This is an arbitrary value managed by the value set author and is not expected to be globally unique. For example, it might be a timestamp (e.g. yyyymmdd) if a managed version is not available." ] ;
     fhir:type [ fhir:v "string" ]
  ] [
     fhir:name [ fhir:v "code" ] ;
     fhir:use [ fhir:v "in" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "The code that is to be validated. If a code is provided, a system or a context must be provided (if a context is provided, then the server SHALL ensure that the code is not ambiguous without a system)" ] ;
     fhir:type [ fhir:v "code" ]
  ] [
     fhir:name [ fhir:v "system" ] ;
     fhir:use [ fhir:v "in" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "The system for the code that is to be validated" ] ;
     fhir:type [ fhir:v "uri" ]
  ] [
     fhir:name [ fhir:v "systemVersion" ] ;
     fhir:use [ fhir:v "in" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "The version of the system, if one was provided in the source data" ] ;
     fhir:type [ fhir:v "string" ]
  ] [
     fhir:name [ fhir:v "display" ] ;
     fhir:use [ fhir:v "in" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "The display associated with the code, if provided. If a display is provided a code must be provided. If no display is provided, the server cannot validate the display value, but may choose to return a recommended display name using the display parameter in the outcome. Whether displays are case sensitive is code system dependent" ] ;
     fhir:type [ fhir:v "string" ]
  ] [
     fhir:name [ fhir:v "coding" ] ;
     fhir:use [ fhir:v "in" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "A coding to validate" ] ;
     fhir:type [ fhir:v "Coding" ]
  ] [
     fhir:name [ fhir:v "codeableConcept" ] ;
     fhir:use [ fhir:v "in" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "A full codeableConcept to validate. The server returns true if one of the coding values is in the value set, and may also validate that the codings are not in conflict with each other if more than one is present" ] ;
     fhir:type [ fhir:v "CodeableConcept" ]
  ] [
     fhir:name [ fhir:v "date" ] ;
     fhir:use [ fhir:v "in" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "The date for which the validation should be checked. Normally, this is the current conditions (which is the default values) but under some circumstances, systems need to validate that a correct code was used at some point in the past. A typical example of this would be where code selection is constrained to the set of codes that were available when the patient was treated, not when the record is being edited. Note that which date is appropriate is a matter for implementation policy." ] ;
     fhir:type [ fhir:v "dateTime" ]
  ] [
     fhir:name [ fhir:v "abstract" ] ;
     fhir:use [ fhir:v "in" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "If this parameter has a value of true or the parametter is omitted, the client is stating that the validation is being performed in a context where a concept designated as 'abstract' is appropriate/allowed to be used, and the server should regard abstract codes as valid. If this parameter is false, abstract codes are not considered to be valid.\n\nNote that. 'abstract' is a property defined by many HL7 code systems that indicates that the concept is a logical grouping concept that is not intended to be used as a 'concrete' concept to in an actual patient/care/process record. This language is borrowed from object-orientated theory where 'abstract' entities are never instantiated. However in the general record and terminology eco-system, there are many contexts where it is appropriate to use these codes e.g. as decision making criterion, or when editing value sets themselves. This parameter allows a client to indicate to the server that it is working in such a context." ] ;
     fhir:type [ fhir:v "boolean" ]
  ] [
     fhir:name [ fhir:v "displayLanguage" ] ;
     fhir:use [ fhir:v "in" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "Specifies the language to be used for description when validating the display property" ] ;
     fhir:type [ fhir:v "code" ]
  ] [
     fhir:name [ fhir:v "useSupplement" ] ;
     fhir:use [ fhir:v "in" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "*" ] ;
     fhir:documentation [ fhir:v "The supplement must be used when validating the code. Use of this parameter should result in $validate-code behaving the same way as if the supplements were included in the value set definition using the [http://hl7.org/fhir/StructureDefinition/valueset-supplement](http://hl7.org/fhir/extensions/StructureDefinition-valueset-supplement.html)" ] ;
     fhir:type [ fhir:v "canonical" ]
  ] [
     fhir:name [ fhir:v "inferSystem" ] ;
     fhir:use [ fhir:v "in" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "If true, the terminology server is required to infer the system from evaluation of the value set definition. The inferSystem parameter is only to be used with the code parameter, and not with the coding nor codeableConcept parameters." ] ;
     fhir:type [ fhir:v "boolean" ]
  ] [
     fhir:name [ fhir:v "result" ] ;
     fhir:use [ fhir:v "out" ] ;
     fhir:min [ fhir:v "1" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "True if the concept details supplied are valid" ] ;
     fhir:type [ fhir:v "boolean" ]
  ] [
     fhir:name [ fhir:v "message" ] ;
     fhir:use [ fhir:v "out" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "Error details, if result = false. If this is provided when result = true, the message carries hints and warnings" ] ;
     fhir:type [ fhir:v "string" ]
  ] [
     fhir:name [ fhir:v "display" ] ;
     fhir:use [ fhir:v "out" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "A valid display for the concept if the system wishes to display this to a user" ] ;
     fhir:type [ fhir:v "string" ]
  ] [
     fhir:name [ fhir:v "code" ] ;
     fhir:use [ fhir:v "out" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "The code that was validated" ] ;
     fhir:type [ fhir:v "code" ]
  ] [
     fhir:name [ fhir:v "system" ] ;
     fhir:use [ fhir:v "out" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "The system for the code that was validated" ] ;
     fhir:type [ fhir:v "uri" ]
  ] [
     fhir:name [ fhir:v "version" ] ;
     fhir:use [ fhir:v "out" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "The version of the system of the code that was validated" ] ;
     fhir:type [ fhir:v "string" ]
  ] [
     fhir:name [ fhir:v "codeableConcept" ] ;
     fhir:use [ fhir:v "out" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "A codeableConcept containing codings for all the validated codes" ] ;
     fhir:type [ fhir:v "CodeableConcept" ]
  ] [
     fhir:name [ fhir:v "issues" ] ;
     fhir:use [ fhir:v "out" ] ;
     fhir:min [ fhir:v "0" ] ;
     fhir:max [ fhir:v "1" ] ;
     fhir:documentation [ fhir:v "List of itemised issues with paths constrained to simple FHIRPath. Examples are CodeableConcept, CodeableConcept.coding[0], CodeableConcept.coding[1].display, or Coding.display" ] ;
     fhir:type [ fhir:v "OperationOutcome" ]
  ] ) .

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