envited-x.shacl.ttl

@prefix envited-x: <https://w3id.org/ascs-ev/envited-x/envited-x/v3/> .
@prefix manifest: <https://w3id.org/ascs-ev/envited-x/manifest/v5/> .
@prefix gx: <https://w3id.org/gaia-x/development#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix schema: <https://schema.org/> .

# The Shapes Graph URI appends "/shapes" to the Ontology URI
<https://w3id.org/ascs-ev/envited-x/envited-x/v3/shapes>
    a owl:Ontology ;
    # The Shapes Graph must import the Domain Ontology
    owl:imports <https://w3id.org/ascs-ev/envited-x/envited-x/v3> .

# envited-x SHACL shape
envited-x:SimulationAssetShape a sh:NodeShape ;
    sh:closed false ;


    #################################################################
    # hasResourceDescription:
    #  - Flexible: Can be Inline (envited-x:ResourceDescriptionShape)
    #  - OR Linked (manifest:LinkShape + envited-x:ExtendedLinkShape)
    #  This supports "Draft" assets where the full ResourceDescription isn't known yet.
    #################################################################
    sh:property [
        sh:path envited-x:hasResourceDescription ;
        sh:minCount 1 ;
        sh:maxCount 1 ;
        sh:or (
            # Option A: Full Inline Content
            [ sh:node envited-x:ResourceDescriptionShape ]

            # Option B: Link Reference (No specific IRI protocol restricted)
            [ sh:and ( manifest:LinkShape envited-x:ExtendedLinkShape ) ]
        ) ;
        sh:message "envited-x:hasResourceDescription must be either (a) an inline envited-x:ResourceDescription, or (b) a valid manifest:Link (LinkShape + ExtendedLinkShape)."@en ;
    ] ;

    #################################################################
    # hasDomainSpecification: optional, but if present must conform
    # to envited-x:DomainSpecificationShape (hasContent + hasFormat).
    #################################################################
    sh:property [
        sh:path envited-x:hasDomainSpecification ;
        sh:node envited-x:DomainSpecificationShape ;
        sh:minCount 0 ;  # Optional
        sh:message "A SimulationAsset may have one or more DomainSpecifications (e.g. georeference metadata, sensor calibration) to provide additional structured metadata. Each extension MUST conform to envited-x:DomainSpecificationShape (at least one envited-x:hasContent and one envited-x:hasFormat)."@en ;
    ] ;

    #################################################################
    # hasManifest: exactly one, inline OR link.
    #################################################################
    # envited-x:SimulationAssetShape improvements
    sh:property [
        sh:path envited-x:hasManifest ;
        sh:minCount 1 ;
        sh:maxCount 1 ;
        sh:or (
            # Case 1: Inline manifest node
            [ sh:and ( manifest:ManifestShape envited-x:ManifestShape ) ]

            # Case 2: Linked manifest reference
            [ sh:node envited-x:ManifestLinkReferenceShape ]
        ) ;
        sh:message "Each SimulationAsset must have exactly one manifest. If linked, it MUST be of category envited-x:isManifest and include a manifest:iri."@en ;
    ] ;

    sh:targetClass envited-x:SimulationAsset .

# envited-x SHACL shape for SoftwareAsset
envited-x:SoftwareAssetShape a sh:NodeShape ;
    sh:closed false ;

    sh:property [
        sh:path envited-x:hasSoftwareResource ;
        sh:minCount 1 ;
        sh:maxCount 1 ;
        sh:or (
            [ sh:node envited-x:SoftwareResourceBaseShape ]
            [ sh:and ( manifest:LinkShape envited-x:ExtendedLinkShape ) ]
        ) ;
        sh:message "envited-x:hasSoftwareResource must be either (a) an inline envited-x:SoftwareResourceBase, or (b) a valid manifest:Link (LinkShape + ExtendedLinkShape)."@en ;
    ] ;

    sh:property [
        sh:path envited-x:hasDomainSpecification ;
        sh:node envited-x:DomainSpecificationShape ;
        sh:minCount 0 ;
        sh:message "A SoftwareAsset may have one or more DomainSpecifications to provide additional structured metadata. Each extension MUST conform to envited-x:DomainSpecificationShape."@en ;
    ] ;

    sh:property [
        sh:path envited-x:hasManifest ;
        sh:minCount 1 ;
        sh:maxCount 1 ;
        sh:or (
            [ sh:and ( manifest:ManifestShape envited-x:ManifestShape ) ]
            [ sh:node envited-x:ManifestLinkReferenceShape ]
        ) ;
        sh:message "Each SoftwareAsset must have exactly one manifest."@en ;
    ] ;

    sh:targetClass envited-x:SoftwareAsset .

# envited-x SHACL shape for ServiceAsset
envited-x:ServiceAssetShape a sh:NodeShape ;
    sh:closed false ;

    sh:property [
        sh:path envited-x:hasServiceOffering ;
        sh:minCount 1 ;
        sh:maxCount 1 ;
        sh:or (
            [ sh:node envited-x:ServiceOfferingBaseShape ]
            [ sh:and ( manifest:LinkShape envited-x:ExtendedLinkShape ) ]
        ) ;
        sh:message "envited-x:hasServiceOffering must be either (a) an inline envited-x:ServiceOfferingBase, or (b) a valid manifest:Link (LinkShape + ExtendedLinkShape)."@en ;
    ] ;

    sh:property [
        sh:path envited-x:hasDomainSpecification ;
        sh:node envited-x:DomainSpecificationShape ;
        sh:minCount 0 ;
        sh:message "A ServiceAsset may have one or more DomainSpecifications to provide additional structured metadata. Each extension MUST conform to envited-x:DomainSpecificationShape."@en ;
    ] ;

    sh:property [
        sh:path envited-x:hasManifest ;
        sh:minCount 1 ;
        sh:maxCount 1 ;
        sh:or (
            [ sh:and ( manifest:ManifestShape envited-x:ManifestShape ) ]
            [ sh:node envited-x:ManifestLinkReferenceShape ]
        ) ;
        sh:message "Each ServiceAsset must have exactly one manifest."@en ;
    ] ;

    sh:targetClass envited-x:ServiceAsset .

# envited-x SHACL shape for CodeAsset
envited-x:CodeAssetShape a sh:NodeShape ;
    sh:closed false ;

    sh:property [
        sh:path envited-x:hasCodeArtifact ;
        sh:minCount 1 ;
        sh:maxCount 1 ;
        sh:or (
            [ sh:node envited-x:CodeArtifactBaseShape ]
            [ sh:and ( manifest:LinkShape envited-x:ExtendedLinkShape ) ]
        ) ;
        sh:message "envited-x:hasCodeArtifact must be either (a) an inline envited-x:CodeArtifactBase, or (b) a valid manifest:Link (LinkShape + ExtendedLinkShape)."@en ;
    ] ;

    sh:property [
        sh:path envited-x:hasDomainSpecification ;
        sh:node envited-x:DomainSpecificationShape ;
        sh:minCount 0 ;
        sh:message "A CodeAsset may have one or more DomainSpecifications to provide additional structured metadata. Each extension MUST conform to envited-x:DomainSpecificationShape."@en ;
    ] ;

    sh:property [
        sh:path envited-x:hasManifest ;
        sh:minCount 1 ;
        sh:maxCount 1 ;
        sh:or (
            [ sh:and ( manifest:ManifestShape envited-x:ManifestShape ) ]
            [ sh:node envited-x:ManifestLinkReferenceShape ]
        ) ;
        sh:message "Each CodeAsset must have exactly one manifest."@en ;
    ] ;

    sh:targetClass envited-x:CodeAsset .


envited-x:ExtendedLinkShape a sh:NodeShape ;
  sh:property [
    sh:path manifest:hasAccessRole ;
    sh:in ( envited-x:isPublic envited-x:isOwner envited-x:isRegistered ) ;
    sh:message "Access role must be one of the envited-x defined access roles." ;
  ] ;
  sh:property [
    sh:path manifest:hasCategory ;
    sh:in (
      envited-x:isManifest
      envited-x:isLicense
      envited-x:isMiscellaneous
      envited-x:isSimulationData

      envited-x:isDocumentation
      envited-x:isMedia
      envited-x:isMetadata
      envited-x:isValidationReport
    ) ;
    sh:message "Category must be one of the envited-x defined categories." ;
  ] .


#################################################################
# Shape for manifest:Link
# (specialization of manifest:Link that points to manifests)
#################################################################
envited-x:ManifestLinkReferenceShape a sh:NodeShape ;
    sh:node manifest:LinkShape ;
    sh:node envited-x:ExtendedLinkShape ;

    # Specific Narrowing for Manifests:
    sh:property [
        sh:path manifest:hasCategory ;
        sh:hasValue envited-x:isManifest ;
        sh:message "A link used in hasManifest must have the category envited-x:isManifest."@en ;
    ] ;
    sh:property [
        sh:path manifest:iri ;
        sh:minCount 1 ;
        sh:message "A linked manifest reference must specify a manifest:iri (e.g., a DID)."@en ;
    ] .

#################################################################
# Specialized Link for licenses within the envited-x context
#################################################################
envited-x:LicenseLinkReferenceShape a sh:NodeShape ;
    sh:node manifest:LinkShape ;
    sh:node envited-x:ExtendedLinkShape ;

    sh:property [
        sh:path manifest:hasCategory ;
        sh:hasValue envited-x:isLicense ;
        sh:message "A link used in hasLicense must have the category envited-x:isLicense."@en ;
    ] ;
    sh:property [
        sh:path manifest:iri ;
        sh:minCount 1 ;
        sh:message "A linked license reference must specify a license:iri (e.g., a DID)."@en ;
    ] .

# Manifest Shape for additional constraints
envited-x:ManifestShape a sh:NodeShape ;
    sh:closed false ;
    sh:property [
        sh:path rdf:type ;
        sh:hasValue envited-x:Manifest ;
        sh:message "The manifest node must be explicitly typed as envited-x:Manifest."@en ;
    ] ;
    # Property shape for artifact links:
    sh:property [
        sh:path manifest:hasManifestReference ;
        sh:qualifiedValueShape [
            sh:and ( manifest:LinkShape envited-x:ExtendedLinkShape )
        ] ;
        sh:qualifiedMinCount 1 ;
        sh:qualifiedMaxCount 1 ;
        sh:message "An envited-x manifest must contain exactly one manifest reference link with an envited-x access role and category."@en ;
    ] ;
    # Updated property in envited-x:ManifestShape
    sh:property [
        sh:path manifest:hasLicense ;
        sh:minCount 1 ;
        sh:maxCount 1 ;
        # Point directly to a specialized Link shape instead of the removed wrapper
        sh:node envited-x:LicenseLinkReferenceShape ;
        sh:message "An envited-x manifest must contain exactly one license link with an envited-x access role and category envited-x:isLicense."@en ;
    ] ;

    # Property shape for artifact links:
    sh:property [
        sh:path manifest:hasArtifacts ;
        sh:qualifiedValueShape [
            sh:and ( manifest:LinkShape envited-x:ExtendedLinkShape )
        ] ;
        sh:qualifiedMinCount 1 ;
        sh:message "An envited-x manifest must contain at least one artifact link with an envited-x access role and category."@en ;
    ] ;
    # Property shape for external artifact links:
    sh:property [
        sh:path manifest:hasReferencedArtifacts ;
        sh:qualifiedValueShape [
            sh:and ( manifest:LinkShape envited-x:ExtendedLinkShape )
        ] ;
        sh:qualifiedMinCount 0 ;
        sh:message "If provided, referenced artifact links must have an envited-x access role and category."@en ;
    ] ;
    # Ensure at least one `manifest:Link` for each required category
    sh:property [
        sh:path manifest:hasArtifacts ;
        sh:qualifiedValueShape [
            sh:node manifest:LinkShape ;
            sh:property [
                sh:path manifest:hasCategory ;
                sh:hasValue envited-x:isSimulationData ;
            ]
        ] ;
        sh:qualifiedMinCount 1 ;
        sh:message "The envited-x:Manifest must contain at least 1 manifest:Link with category 'Simulation Data'."@en ;
    ] ;

    sh:property [
        sh:path manifest:hasArtifacts ;
        sh:qualifiedValueShape [
            sh:node manifest:LinkShape ;
            sh:property [
                sh:path manifest:hasCategory ;
                sh:hasValue envited-x:isDocumentation ;
            ]
        ] ;
        sh:qualifiedMinCount 1 ;
        sh:message "The envited-x:Manifest must contain at least 1 manifest:Link with category 'Documentation'."@en ;
    ] ;

    sh:property [
        sh:path manifest:hasArtifacts ;
        sh:qualifiedValueShape [
            sh:node manifest:LinkShape ;
            sh:property [
                sh:path manifest:hasCategory ;
                sh:hasValue envited-x:isMetadata ;
            ]
        ] ;
        sh:qualifiedMinCount 1 ;
        sh:message "The envited-x:Manifest must contain at least 1 manifest:Link with category 'Metadata'."@en ;
    ] ;

    sh:property [
        sh:path manifest:hasArtifacts ;
        sh:qualifiedValueShape [
            sh:node manifest:LinkShape ;
            sh:property [
                sh:path manifest:hasCategory ;
                sh:hasValue envited-x:isMedia ;
            ]
        ] ;
        sh:qualifiedMinCount 1 ;
        sh:message "The envited-x:Manifest must contain at least 1 manifest:Link with category 'Media'."@en ;
    ] ;

    sh:targetClass envited-x:Manifest .


# SHACL Shape for envited-x:ResourceDescription
envited-x:ResourceDescriptionShape a sh:NodeShape ;
    sh:closed false ;

    sh:property [
        sh:path gx:name ;
        sh:datatype xsd:string ;
        sh:minCount 1 ;
        sh:maxCount 1 ;
        sh:message "Each ResourceDescription must have a human-readable name of the entity."@en ;
        skos:example "3D Model of Grafing"@en ;
        sh:order 0
    ] ;
    sh:property [
        sh:path gx:description ;
        sh:datatype xsd:string ;
        sh:minCount 1 ;
        sh:maxCount 1 ;
        sh:message "Each ResourceDescription must have a textual description of the entity."@en ;
        skos:example "Town district with traffic signs."@en ;
        sh:order 1
    ] ;
    sh:property [
        sh:name "license identifier"@en ;
        sh:description "Allows custom commercial identifiers in addition to Gaia-X standard SPDX checks."@en ;
        sh:path gx:license ;
        sh:maxCount 1 ;
        sh:or (
            # Branch 1: Specific custom identifiers allowed by ENVITED-X
            [ sh:in ("LicenseRef-Custom-Commercial-Agreement" "LicenseRef-Policy-Smart-Contract") ]

            # Branch 2: Any string (to allow standard SPDX identifiers to pass
            # through this local check so Gaia-X can validate them).
            [ sh:datatype xsd:string ]
        ) ;
        sh:message "The gx:license must be either a standard SPDX identifier (validated by Gaia-X) or one of the ENVITED-X custom commercial identifiers."@en ;
        sh:order 2
    ] ;
    sh:targetClass envited-x:ResourceDescription .

# SHACL Shape for envited-x:SoftwareResourceBase
# NOTE: gx:SoftwareResourceShape is sh:closed true, so only properties
# from that shape's allowlist are permitted. Use schema:name/schema:description
# (not gx:name/gx:description) and include all required GX properties.
envited-x:SoftwareResourceBaseShape a sh:NodeShape ;
    sh:closed false ;

    sh:property [
        sh:path schema:name ;
        sh:datatype xsd:string ;
        sh:minCount 1 ;
        sh:maxCount 1 ;
        sh:message "Each SoftwareResourceBase must have a human-readable name (schema:name)."@en ;
        sh:order 0
    ] ;
    sh:property [
        sh:path schema:description ;
        sh:datatype xsd:string ;
        sh:maxCount 1 ;
        sh:message "Each SoftwareResourceBase may have a textual description (schema:description)."@en ;
        sh:order 1
    ] ;
    sh:property [
        sh:name "license identifier"@en ;
        sh:path gx:license ;
        sh:maxCount 1 ;
        sh:or (
            [ sh:in ("LicenseRef-Custom-Commercial-Agreement" "LicenseRef-Policy-Smart-Contract") ]
            [ sh:datatype xsd:string ]
        ) ;
        sh:message "The gx:license must be either a standard SPDX identifier or one of the ENVITED-X custom commercial identifiers."@en ;
        sh:order 2
    ] ;
    sh:property [
        sh:path gx:copyrightOwnedBy ;
        sh:minCount 1 ;
        sh:message "Each SoftwareResourceBase must specify a copyright owner."@en ;
        sh:order 3
    ] ;
    sh:property [
        sh:path gx:resourcePolicy ;
        sh:datatype xsd:string ;
        sh:minCount 1 ;
        sh:message "Each SoftwareResourceBase must have a resource policy."@en ;
        sh:order 4
    ] ;
    sh:targetClass envited-x:SoftwareResourceBase .

# SHACL Shape for envited-x:ServiceOfferingBase
# NOTE: gx:ServiceOfferingShape is sh:closed true, so only properties
# from that shape's allowlist are permitted. Use schema:name/schema:description
# (not gx:name/gx:description) and include all required GX properties.
envited-x:ServiceOfferingBaseShape a sh:NodeShape ;
    sh:closed false ;

    sh:property [
        sh:path schema:name ;
        sh:datatype xsd:string ;
        sh:minCount 1 ;
        sh:maxCount 1 ;
        sh:message "Each ServiceOfferingBase must have a human-readable name (schema:name)."@en ;
        sh:order 0
    ] ;
    sh:property [
        sh:path schema:description ;
        sh:datatype xsd:string ;
        sh:maxCount 1 ;
        sh:message "Each ServiceOfferingBase may have a textual description (schema:description)."@en ;
        sh:order 1
    ] ;
    sh:property [
        sh:path gx:providedBy ;
        sh:minCount 1 ;
        sh:maxCount 1 ;
        sh:message "Each ServiceOfferingBase must specify a provider (gx:providedBy)."@en ;
        sh:order 3
    ] ;
    sh:property [
        sh:path gx:serviceOfferingTermsAndConditions ;
        sh:minCount 1 ;
        sh:message "Each ServiceOfferingBase must have at least one terms and conditions."@en ;
        sh:order 4
    ] ;
    sh:targetClass envited-x:ServiceOfferingBase .

# SHACL Shape for envited-x:CodeArtifactBase
# NOTE: gx:CodeArtifactShape is sh:closed false, but it uses schema:name/
# schema:description and requires gx:copyrightOwnedBy + gx:resourcePolicy.
envited-x:CodeArtifactBaseShape a sh:NodeShape ;
    sh:closed false ;

    sh:property [
        sh:path schema:name ;
        sh:datatype xsd:string ;
        sh:minCount 1 ;
        sh:maxCount 1 ;
        sh:message "Each CodeArtifactBase must have a human-readable name (schema:name)."@en ;
        sh:order 0
    ] ;
    sh:property [
        sh:path schema:description ;
        sh:datatype xsd:string ;
        sh:maxCount 1 ;
        sh:message "Each CodeArtifactBase may have a textual description (schema:description)."@en ;
        sh:order 1
    ] ;
    sh:property [
        sh:name "license identifier"@en ;
        sh:path gx:license ;
        sh:maxCount 1 ;
        sh:or (
            [ sh:in ("LicenseRef-Custom-Commercial-Agreement" "LicenseRef-Policy-Smart-Contract") ]
            [ sh:datatype xsd:string ]
        ) ;
        sh:message "The gx:license must be either a standard SPDX identifier or one of the ENVITED-X custom commercial identifiers."@en ;
        sh:order 2
    ] ;
    sh:property [
        sh:path gx:copyrightOwnedBy ;
        sh:minCount 1 ;
        sh:message "Each CodeArtifactBase must specify a copyright owner."@en ;
        sh:order 3
    ] ;
    sh:property [
        sh:path gx:resourcePolicy ;
        sh:datatype xsd:string ;
        sh:minCount 1 ;
        sh:message "Each CodeArtifactBase must have a resource policy."@en ;
        sh:order 4
    ] ;
    sh:targetClass envited-x:CodeArtifactBase .


# SHACL Shape for envited-x:DomainSpecification
envited-x:DomainSpecificationShape a sh:NodeShape ;
    sh:closed false ;


    # If an extension exists, it must have content...
    sh:property [
        sh:path envited-x:hasContent ;
        sh:minCount 1 ;
        sh:message "Each DomainSpecification must link to at least one envited-x:Content via envited-x:hasContent."@en ;
    ] ;

    # Format is optional at the base level — domain-specific shapes enforce stricter constraints
    sh:property [
        sh:path envited-x:hasFormat ;
        sh:minCount 0 ;
        sh:message "A DomainSpecification may link to envited-x:Format via envited-x:hasFormat."@en ;
    ] ;

    # Optional extras (minCount 0 is the default, you can omit these completely
    # unless you want a custom message)
    sh:property [
        sh:path envited-x:hasDataSource ;
        sh:minCount 0 ;
        sh:message "Optional: a DomainSpecification may specify how the asset was created via envited-x:hasDataSource."@en ;
    ] ;
    sh:property [
        sh:path envited-x:hasQuality ;
        sh:minCount 0 ;
        sh:message "Optional: a DomainSpecification may specify quality information via envited-x:hasQuality."@en ;
    ] ;
    sh:property [
        sh:path envited-x:hasQuantity ;
        sh:minCount 0 ;
        sh:message "Optional: a DomainSpecification may specify quantity-related information via envited-x:hasQuantity."@en ;
    ] ;

    sh:targetClass envited-x:DomainSpecification .


# Minimal SHACL shape for envited-x:Content
envited-x:ContentShape a sh:NodeShape ;
    sh:closed false ;

    sh:message "Node must be of type envited-x:Content." ;
    sh:targetClass envited-x:Content .


# Minimal SHACL shape for envited-x:DataSource
envited-x:DataSourceShape a sh:NodeShape ;
    sh:closed false ;

    sh:message "Node must be of type envited-x:DataSource." ;
    sh:targetClass envited-x:DataSource .


# Minimal SHACL shape for envited-x:Format
envited-x:FormatShape a sh:NodeShape ;
    sh:closed false ;

    sh:message "Node must be of type envited-x:Format." ;
    sh:targetClass envited-x:Format .


# Minimal SHACL shape for envited-x:Quality
envited-x:QualityShape a sh:NodeShape ;
    sh:closed false ;

    sh:message "Node must be of type envited-x:Quality." ;
    sh:targetClass envited-x:Quality .


# Minimal SHACL shape for envited-x:Quantity
envited-x:QuantityShape a sh:NodeShape ;
    sh:closed false ;

    sh:message "Node must be of type envited-x:Quantity." ;
    sh:targetClass envited-x:Quantity .