Insuranceproduct.shex

ShEx statement for insuranceproduct

PREFIX fhir: <http://hl7.org/fhir/> 
PREFIX fhirvs: <http://hl7.org/fhir/ValueSet/>
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#> 
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> 
IMPORT <code.shex>
IMPORT <string.shex>

# ShEx Version 2.2
IMPORT <Code.shex>
IMPORT <String.shex>

IMPORT <Period.shex>
IMPORT <Quantity.shex>
IMPORT <Location.shex>
IMPORT <Endpoint.shex>
IMPORT <Reference.shex>
IMPORT <Identifier.shex>
IMPORT <Organization.shex>
IMPORT <DomainResource.shex>
IMPORT <CodeableConcept.shex>
IMPORT <BackboneElement.shex>
IMPORT <ExtendedContactDetail.shex>
start=@<InsuranceProduct> AND {fhir:nodeRole [fhir:treeRoot]}
# Details of a Health Insurance product provided by an organization
<InsuranceProduct> EXTENDS @<DomainResource> CLOSED {   
    a [fhir:InsuranceProduct]?;fhir:nodeRole [fhir:treeRoot]?;
    fhir:identifier @<OneOrMore_Identifier>?;  # Business Identifier for Product
    fhir:status @<code> AND

    fhir:status @<Code> AND

    	{fhir:v @fhirvs:publication-status}?;  # draft | active | retired | unknown
    fhir:type @<OneOrMore_CodeableConcept>?;  # Kind of product
    fhir:name @<string>?;                   # Official name
    fhir:alias @<OneOrMore_string>?;        # Alternate names

    fhir:name @<String>?;                   # Official name
    fhir:alias @<OneOrMore_String>?;        # Alternate names

    fhir:period @<Period>?;                 # When the product is available
    fhir:ownedBy @<Reference> AND {fhir:link 

    fhir:ownedBy @<Reference> AND {fhir:l 

    			@<Organization> ? }?;  # Product issuer
    fhir:administeredBy @<Reference> AND {fhir:link 

    fhir:administeredBy @<Reference> AND {fhir:l 

    			@<Organization> ? }?;  # Product administrator
    fhir:coverageArea @<OneOrMore_Reference_Location>?;  # Where product applies
    fhir:contact @<OneOrMore_ExtendedContactDetail>?;  # Official contact details relevant 
                                            # to the health insurance product 
    fhir:endpoint @<OneOrMore_Reference_Endpoint>?;  # Technical endpoint
    fhir:network @<OneOrMore_Reference_Organization>?;  # What networks are Included
    fhir:coverage @<OneOrMore_InsuranceProduct.coverage>?;  # Coverage details
    fhir:related @<OneOrMore_InsuranceProduct.related>?;  # Associated insurance product
}  
# Limits on the provided benefits
<InsuranceProduct.coverage.benefit.limit> EXTENDS @<BackboneElement> CLOSED {   
    fhir:value @<Quantity>?;                # Maximum value allowed
    fhir:code @<CodeableConcept>?;          # Benefit limit details
}  
# Coverage details
<InsuranceProduct.coverage> EXTENDS @<BackboneElement> CLOSED {   
    fhir:type @<CodeableConcept>;           # Classification of Coverage
    fhir:network @<OneOrMore_Reference_Organization>?;  # What networks provide coverage
    fhir:benefit @<OneOrMore_InsuranceProduct.coverage.benefit>;  # List of benefits
}  

# Associated insurance product
<InsuranceProduct.related> EXTENDS @<BackboneElement> CLOSED {   
    fhir:product @<Reference> AND {fhir:link 

    fhir:product @<Reference> AND {fhir:l 

    			@<InsuranceProduct> ? }?;  # Related Product reference
    fhir:relationship @<CodeableConcept>?;  # Relationship of this product to 
                                            # the related product 
    fhir:period @<Period>?;                 # Period that this Relationship is 
                                            # valid 
}  
# Coverage details
<InsuranceProduct.coverage> EXTENDS @<BackboneElement> CLOSED {   
    fhir:type @<CodeableConcept>;           # Classification of Coverage
    fhir:network @<OneOrMore_Reference_Organization>?;  # What networks provide coverage
    fhir:benefit @<OneOrMore_InsuranceProduct.coverage.benefit>;  # List of benefits
}  

# List of benefits
<InsuranceProduct.coverage.benefit> EXTENDS @<BackboneElement> CLOSED {   
    fhir:type @<CodeableConcept>;           # Classification of benefit provided
    fhir:requirement @<string>?;            # Referral requirements

    fhir:requirement @<String>?;            # Referral requirements

    fhir:limit @<OneOrMore_InsuranceProduct.coverage.benefit.limit>?;  # Limits on the provided benefits
}  
# Limits on the provided benefits
<InsuranceProduct.coverage.benefit.limit> EXTENDS @<BackboneElement> CLOSED {   
    fhir:value @<Quantity>?;                # Maximum value allowed
    fhir:code @<CodeableConcept>?;          # Benefit limit details
}  

#---------------------- Cardinality Types (OneOrMore) -------------------
<OneOrMore_Identifier> CLOSED {
    rdf:first @<Identifier>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_Identifier> 
}
<OneOrMore_CodeableConcept> CLOSED {
    rdf:first @<CodeableConcept>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_CodeableConcept> 
}
<OneOrMore_string> CLOSED {
    rdf:first @<string>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_string> 

<OneOrMore_String> CLOSED {
    rdf:first @<String>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_String> 

}
<OneOrMore_Reference_Location> CLOSED {
    rdf:first @<Reference> AND {fhir:link 

    rdf:first @<Reference> AND {fhir:l 

			@<Location> } ;
    rdf:rest [rdf:nil] OR @<OneOrMore_Reference_Location> 
}
<OneOrMore_ExtendedContactDetail> CLOSED {
    rdf:first @<ExtendedContactDetail>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_ExtendedContactDetail> 
}
<OneOrMore_Reference_Endpoint> CLOSED {
    rdf:first @<Reference> AND {fhir:link 

    rdf:first @<Reference> AND {fhir:l 

			@<Endpoint> } ;
    rdf:rest [rdf:nil] OR @<OneOrMore_Reference_Endpoint> 
}
<OneOrMore_Reference_Organization> CLOSED {
    rdf:first @<Reference> AND {fhir:link 

    rdf:first @<Reference> AND {fhir:l 

			@<Organization> } ;
    rdf:rest [rdf:nil] OR @<OneOrMore_Reference_Organization> 
}
<OneOrMore_InsuranceProduct.coverage> CLOSED {
    rdf:first @<InsuranceProduct.coverage>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_InsuranceProduct.coverage> 
}
<OneOrMore_InsuranceProduct.related> CLOSED {
    rdf:first @<InsuranceProduct.related>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_InsuranceProduct.related> 
}
<OneOrMore_InsuranceProduct.coverage.benefit> CLOSED {
    rdf:first @<InsuranceProduct.coverage.benefit>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_InsuranceProduct.coverage.benefit> 
}
<OneOrMore_InsuranceProduct.coverage.benefit.limit> CLOSED {
    rdf:first @<InsuranceProduct.coverage.benefit.limit>  ;
    rdf:rest [rdf:nil] OR @<OneOrMore_InsuranceProduct.coverage.benefit.limit> 
}
#---------------------- Value Sets ------------------------
# The lifecycle status of an artifact.
fhirvs:publication-status ["draft" "active" "retired" "unknown"]