@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/StructureDefinition/positiveInt> a fhir:StructureDefinition ;
  fhir:nodeRole fhir:treeRoot ;
  fhir:id [ fhir:v "positiveInt"] ; # 
  fhir:text [
     fhir:status [ fhir:v "generated" ] ;
     fhir:div [ fhir:v "<div xmlns=\"http://www.w3.org/1999/xhtml\">to do</div>"^^rdf:XMLLiteral ]
  ] ; # 
  fhir:extension ( [
     fhir:url [
       fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-standards-status"^^xsd:anyURI ;
       fhir:l <http://hl7.org/fhir/StructureDefinition/structuredefinition-standards-status>
     ] ;
     fhir:value [
       a fhir:Code ;
       fhir:v "normative"
     ]
  ] [
     fhir:url [
       fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-normative-version"^^xsd:anyURI ;
       fhir:l <http://hl7.org/fhir/StructureDefinition/structuredefinition-normative-version>
     ] ;
     fhir:value [
       a fhir:Code ;
       fhir:v "4.0.0"
     ]
  ] [
     fhir:url [
       fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-type-characteristics"^^xsd:anyURI ;
       fhir:l <http://hl7.org/fhir/StructureDefinition/structuredefinition-type-characteristics>
     ] ;
     fhir:value [
       a fhir:Code ;
       fhir:v "has-range"
     ]
  ] [
     fhir:url [
       fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-type-characteristics"^^xsd:anyURI ;
       fhir:l <http://hl7.org/fhir/StructureDefinition/structuredefinition-type-characteristics>
     ] ;
     fhir:value [
       a fhir:Code ;
       fhir:v "has-length"
     ]
  ] [
     fhir:url [
       fhir:v "http://hl7.org/fhir/StructureDefinition/structuredefinition-wg"^^xsd:anyURI ;
       fhir:l <http://hl7.org/fhir/StructureDefinition/structuredefinition-wg>
     ] ;
     fhir:value [
       a fhir:Code ;
       fhir:v "fhir"
     ]
  ] ) ; # 
  fhir:url [
     fhir:v "http://hl7.org/fhir/StructureDefinition/positiveInt"^^xsd:anyURI ;
     fhir:l <http://hl7.org/fhir/StructureDefinition/positiveInt>
  ] ; # 
  fhir:version [ fhir:v "6.0.0-ballot4"] ; # 
  fhir:name [ fhir:v "positiveInt"] ; # 
  fhir:status [ fhir:v "active"] ; # 
  fhir:experimental [ fhir:v false] ; # 
  fhir:date [ fhir:v "2026-06-25T05:29:09+00:00"^^xsd:dateTime] ; # 
  fhir:publisher [ fhir:v "HL7 International / FHIR Infrastructure"] ; # 
  fhir:contact ( [
     fhir:telecom ( [
       fhir:system [ fhir:v "url" ] ;
       fhir:value [ fhir:v "http://hl7.org/fhir" ]
     ] )
  ] [
     fhir:telecom ( [
       fhir:system [ fhir:v "url" ] ;
       fhir:value [ fhir:v "http://www.hl7.org/Special/committees/fiwg" ]
     ] )
  ] ) ; # 
  fhir:description [ fhir:v "positiveInt type: An integer with a value that is positive (e.g. >0)"] ; # 
  fhir:jurisdiction ( [
     fhir:coding ( [
       fhir:system [
         fhir:v "http://unstats.un.org/unsd/methods/m49/m49.htm"^^xsd:anyURI ;
         fhir:l <http://unstats.un.org/unsd/methods/m49/m49.htm>
       ] ;
       fhir:code [ fhir:v "001" ] ;
       fhir:display [ fhir:v "World" ]
     ] )
  ] ) ; # 
  fhir:fhirVersion [ fhir:v "6.0.0-ballot4"] ; # 
  fhir:kind [ fhir:v "primitive-type"] ; # 
  fhir:abstract [ fhir:v false] ; # 
  fhir:type [
     fhir:v "positiveInt"^^xsd:anyURI ;
     fhir:l fhir:positiveInt
  ] ; # 
  fhir:baseDefinition [
     fhir:v "http://hl7.org/fhir/StructureDefinition/integer"^^xsd:anyURI ;
     fhir:l <http://hl7.org/fhir/StructureDefinition/integer>
  ] ; # 
  fhir:derivation [ fhir:v "specialization"] ; # 
  fhir:snapshot [
     fhir:element ( [
       fhir:id [ fhir:v "positiveInt" ] ;
       fhir:path [ fhir:v "positiveInt" ] ;
       fhir:short [ fhir:v "Primitive Type positiveInt" ] ;
       fhir:definition [ fhir:v "An integer with a value that is positive (e.g. >0)" ] ;
       fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
       fhir:max [ fhir:v "*" ] ;
       fhir:base [
         fhir:path [ fhir:v "positiveInt" ] ;
         fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
         fhir:max [ fhir:v "*" ]
       ] ;
       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 or both" ] ;
         fhir:expression [ fhir:v "hasValue() or (children().count() > id.count())" ] ;
         fhir:source [
           fhir:v "http://hl7.org/fhir/StructureDefinition/Element"^^xsd:anyURI ;
           fhir:l <http://hl7.org/fhir/StructureDefinition/Element>
         ]
       ] ) ;
       fhir:isModifier [ fhir:v false ] ;
       fhir:isSummary [ fhir:v false ]
     ] [
       fhir:id [ fhir:v "positiveInt.id" ] ;
       fhir:path [ fhir:v "positiveInt.id" ] ;
       fhir:representation ( [ fhir:v "xmlAttr" ] ) ;
       fhir:short [ fhir:v "xml:id (or equivalent in JSON)" ] ;
       fhir:definition [ fhir:v "unique id for the element within a resource (for internal references)" ] ;
       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:l <http://hl7.org/fhir/StructureDefinition/structuredefinition-fhir-type>
           ] ;
           fhir:value [
             a fhir:Url ;
             fhir:v "string"^^xsd:anyURI ;
             fhir:l fhir:string
           ]
         ] ) ;
         fhir:code [
           fhir:v "http://hl7.org/fhirpath/System.String"^^xsd:anyURI ;
           fhir:l <http://hl7.org/fhirpath/System.String>
         ]
       ] ) ;
       fhir:isModifier [ fhir:v false ] ;
       fhir:isSummary [ fhir:v false ]
     ] [
       fhir:id [ fhir:v "positiveInt.extension" ] ;
       fhir:path [ fhir:v "positiveInt.extension" ] ;
       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 resource. To make the use of extensions safe and managable, 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:l fhir:Extension
         ]
       ] ) ;
       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:source [
           fhir:v "http://hl7.org/fhir/StructureDefinition/Element"^^xsd:anyURI ;
           fhir:l <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:source [
           fhir:v "http://hl7.org/fhir/StructureDefinition/Extension"^^xsd:anyURI ;
           fhir:l <http://hl7.org/fhir/StructureDefinition/Extension>
         ]
       ] ) ;
       fhir:isModifier [ fhir:v false ] ;
       fhir:isSummary [ fhir:v false ]
     ] [
       fhir:id [ fhir:v "positiveInt.value" ] ;
       fhir:path [ fhir:v "positiveInt.value" ] ;
       fhir:representation ( [ fhir:v "xmlAttr" ] ) ;
       fhir:short [ fhir:v "Primitive value for positiveInt" ] ;
       fhir:definition [ fhir:v "Primitive value for positiveInt" ] ;
       fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
       fhir:max [ fhir:v "1" ] ;
       fhir:base [
         fhir:path [ fhir:v "integer.value" ] ;
         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:l <http://hl7.org/fhir/StructureDefinition/structuredefinition-fhir-type>
           ] ;
           fhir:value [
             a fhir:Url ;
             fhir:v "positiveInt"^^xsd:anyURI ;
             fhir:l fhir:positiveInt
           ]
         ] [
           fhir:url [
             fhir:v "http://hl7.org/fhir/StructureDefinition/regex"^^xsd:anyURI ;
             fhir:l <http://hl7.org/fhir/StructureDefinition/regex>
           ] ;
           fhir:value [
             a fhir:String ;
             fhir:v "[1-9][0-9]*"
           ]
         ] ) ;
         fhir:code [
           fhir:v "http://hl7.org/fhirpath/System.String"^^xsd:anyURI ;
           fhir:l <http://hl7.org/fhirpath/System.String>
         ]
       ] ) ;
       fhir:isModifier [ fhir:v false ] ;
       fhir:isSummary [ fhir:v false ]
     ] )
  ] ; # 
  fhir:differential [
     fhir:element ( [
       fhir:id [ fhir:v "positiveInt" ] ;
       fhir:path [ fhir:v "positiveInt" ] ;
       fhir:short [ fhir:v "Primitive Type positiveInt" ] ;
       fhir:definition [ fhir:v "An integer with a value that is positive (e.g. >0)" ] ;
       fhir:min [ fhir:v "0"^^xsd:nonNegativeInteger ] ;
       fhir:max [ fhir:v "*" ]
     ] [
       fhir:id [ fhir:v "positiveInt.value" ] ;
       fhir:path [ fhir:v "positiveInt.value" ] ;
       fhir:representation ( [ fhir:v "xmlAttr" ] ) ;
       fhir:short [ fhir:v "Primitive value for positiveInt" ] ;
       fhir:definition [ fhir:v "Primitive value for positiveInt" ] ;
       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:l <http://hl7.org/fhir/StructureDefinition/structuredefinition-fhir-type>
           ] ;
           fhir:value [
             a fhir:Url ;
             fhir:v "positiveInt"^^xsd:anyURI ;
             fhir:l fhir:positiveInt
           ]
         ] [
           fhir:url [
             fhir:v "http://hl7.org/fhir/StructureDefinition/regex"^^xsd:anyURI ;
             fhir:l <http://hl7.org/fhir/StructureDefinition/regex>
           ] ;
           fhir:value [
             a fhir:String ;
             fhir:v "[1-9][0-9]*"
           ]
         ] ) ;
         fhir:code [
           fhir:v "http://hl7.org/fhirpath/System.Integer"^^xsd:anyURI ;
           fhir:l <http://hl7.org/fhirpath/System.Integer>
         ]
       ] ) ;
       fhir:minValue [
         a fhir:PositiveInt ;
         fhir:v "1"^^xsd:positiveInteger
       ] ;
       fhir:maxValue [
         a fhir:PositiveInt ;
         fhir:v "2147483647"^^xsd:positiveInteger
       ]
     ] )
  ] . # 

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

