@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#> .
@prefix sh:    <http://www.w3.org/ns/shacl#> .
@prefix pr:    <https://ontology.pernod-ricard.com/metamodel/0.9/> .
@prefix prsh:  <https://ontology.pernod-ricard.com/metamodel/0.9/shapes/> .

#################################################################
#  PR Data Meta Model - SHACL Shapes v0.1.1
#  Executable encoding of BLOCKING (sh:Violation) & MAJOR (sh:Warning) rules.
#  FIX v0.1.1 (2026-07-23): NR-002 uniqueness query now restricts ?cls to
#  LEAF classes (via FILTER ... IN) so that objects of different layers that
#  share a name (e.g. Sub-Domain "Sell Out" vs Concept "Sell Out") are NOT
#  reported as duplicates. Rule stays "unique WITHIN its class".
#  Run: python run_shacl_validation.py SODH_data.ttl pr_metamodel_shapes_v0.1.ttl pr_metamodel_v0.9.ttl
#################################################################

prsh:MetaModelObjectShape a sh:NodeShape ;
    sh:targetClass pr:MetaModelObject ;
    sh:property [ sh:path pr:hasIdentifier ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ;
                  sh:severity sh:Violation ; sh:message "DQ-001 (BLOCKING): exactly one hasIdentifier." ] ;
    sh:property [ sh:path pr:hasName ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ; sh:minLength 2 ;
                  sh:severity sh:Violation ; sh:message "DQ-002 (BLOCKING): exactly one non-empty hasName." ] ;
    sh:property [ sh:path pr:ownedBy ; sh:minCount 1 ; sh:class pr:Actor ;
                  sh:severity sh:Violation ; sh:message "OW-001 (BLOCKING): at least one owner (Actor)." ] ;
    sh:property [ sh:path pr:owningDomain ; sh:minCount 1 ; sh:maxCount 1 ; sh:class pr:DataDomain ;
                  sh:severity sh:Violation ; sh:message "OW-001 (BLOCKING): exactly one owning Data Domain." ] ;
    sh:property [ sh:path pr:hasStatus ; sh:minCount 1 ; sh:in ( "DRAFT" "UNDER_REVIEW" "PUBLISHED" "DEPRECATED" ) ;
                  sh:severity sh:Warning ; sh:message "DQ-012 (MAJOR): hasStatus in controlled list." ] ;
    sh:property [ sh:path pr:hasVersion ; sh:minCount 1 ;
                  sh:severity sh:Warning ; sh:message "DQ-012 (MAJOR): hasVersion required." ] .

prsh:BackDocSourceShape a sh:NodeShape ;
    sh:targetClass pr:MetaModelObject ;
    sh:sparql [ sh:severity sh:Violation ;
        sh:message "DQ-006 (BLOCKING): a DRAFT back-doc object MUST carry hasSource." ;
        sh:select """
            PREFIX pr: <https://ontology.pernod-ricard.com/metamodel/0.9/>
            SELECT $this WHERE { $this pr:hasStatus "DRAFT" .
                FILTER NOT EXISTS { $this pr:hasSource ?s } }
        """ ] .

prsh:CanonicalNameShape a sh:NodeShape ;
    sh:targetClass pr:MetaModelObject ;
    sh:property [ sh:path pr:hasName ;
        sh:pattern "^(?!GL_)(?!ID_).*(?<!_NM)(?<!_CD)(?<!_FLG)(?<!_NR)(?<!_DT)$" ; sh:flags "i" ;
        sh:severity sh:Warning ;
        sh:message "NR-001 (MAJOR): canonical name free of physical prefixes/suffixes." ] .

prsh:MetricShape a sh:NodeShape ;
    sh:targetClass pr:Metric ;
    sh:property [ sh:path pr:hasFormula ; sh:minCount 1 ; sh:datatype xsd:string ; sh:minLength 2 ;
                  sh:severity sh:Violation ; sh:message "BR-003 / DQ-004 (BLOCKING): a Metric MUST have a formula." ] ;
    sh:property [ sh:path pr:hasUnit ; sh:minCount 1 ;
                  sh:severity sh:Violation ; sh:message "DQ-004 (BLOCKING): a Metric MUST have a hasUnit." ] ;
    sh:property [ sh:path pr:hasGranularity ; sh:minCount 1 ;
                  sh:severity sh:Violation ; sh:message "DQ-004 (BLOCKING): a Metric MUST have a hasGranularity." ] .

prsh:BusinessConceptShape a sh:NodeShape ;
    sh:targetClass pr:BusinessConcept ;
    sh:property [ sh:path pr:hasFormula ; sh:maxCount 0 ;
                  sh:severity sh:Violation ; sh:message "BR-003 (BLOCKING): a Business Concept MUST NOT have a formula." ] .

prsh:BusinessObjectShape a sh:NodeShape ;
    sh:targetClass pr:BusinessObject ;
    sh:property [ sh:path pr:composedOf ; sh:minCount 3 ; sh:maxCount 10 ; sh:class pr:BusinessConcept ;
                  sh:severity sh:Warning ; sh:message "BR-004 (MAJOR): a Business Object MUST group 3 to 10 Business Concepts." ] ;
    sh:property [ sh:path pr:belongsToSubDomain ; sh:minCount 1 ; sh:maxCount 1 ; sh:class pr:SubDomain ;
                  sh:severity sh:Warning ; sh:message "NR-012/OW (MAJOR): a Business Object belongs to exactly one Sub-Domain." ] ;
    sh:property [ sh:path pr:hasSteward ; sh:minCount 1 ; sh:class pr:DataSteward ;
                  sh:severity sh:Warning ; sh:message "OW-005 (MAJOR): a Business Object MUST have a Data Steward." ] .

prsh:DataObjectShape a sh:NodeShape ;
    sh:targetClass pr:DataObject ;
    sh:property [ sh:path pr:implements ; sh:minCount 1 ; sh:maxCount 1 ; sh:class pr:BusinessObject ;
                  sh:severity sh:Violation ; sh:message "BR-006 (BLOCKING): a Data Object MUST implement exactly one Business Object." ] ;
    sh:property [ sh:path pr:hasElement ; sh:minCount 1 ; sh:class pr:DataElement ;
                  sh:severity sh:Violation ; sh:message "BR-006 (BLOCKING): a Data Object MUST contain at least one Data Element." ] ;
    sh:property [ sh:path pr:hasSteward ; sh:minCount 1 ; sh:class pr:DataSteward ;
                  sh:severity sh:Warning ; sh:message "OW-005 (MAJOR): a Data Object MUST have a Data Steward." ] .

prsh:DataElementShape a sh:NodeShape ;
    sh:targetClass pr:DataElement ;
    sh:property [ sh:path pr:hasFormat ; sh:minCount 1 ;
                  sh:severity sh:Warning ; sh:message "DQ-005 (MAJOR): a Data Element MUST have a hasFormat." ] ;
    sh:property [ sh:path pr:hasSourceSystem ; sh:minCount 1 ;
                  sh:severity sh:Warning ; sh:message "DQ-005 (MAJOR): a Data Element MUST have a hasSourceSystem." ] ;
    sh:property [ sh:path pr:physicalName ; sh:minCount 1 ; sh:maxCount 1 ; sh:datatype xsd:string ;
                  sh:severity sh:Violation ; sh:message "DQ-010 (BLOCKING): a mapped Data Element MUST have a physical_name." ] .

prsh:DataDomainShape a sh:NodeShape ;
    sh:targetClass pr:DataDomain ;
    sh:property [ sh:path pr:hasDGL ; sh:minCount 1 ; sh:maxCount 1 ;
                  sh:severity sh:Violation ; sh:message "OW-004 (BLOCKING): a Data Domain MUST have exactly one DGL." ] ;
    sh:property [ sh:path pr:hasActivationStatus ; sh:minCount 1 ; sh:maxCount 1 ;
                  sh:severity sh:Violation ; sh:message "OW-004 (BLOCKING): a Data Domain MUST have exactly one Activation Status." ] .

#  FIX v0.1.1 - NR-002 now restricts ?cls to LEAF classes so cross-layer
#  homonyms (Sub-Domain vs Concept, etc.) are not flagged as duplicates.
prsh:NameUniquenessShape a sh:NodeShape ;
    sh:targetClass pr:MetaModelObject ;
    sh:sparql [ sh:severity sh:Violation ;
        sh:message "NR-002 (BLOCKING): canonical name MUST be unique within its (leaf) class and owning Data Domain." ;
        sh:select """
            PREFIX pr: <https://ontology.pernod-ricard.com/metamodel/0.9/>
            SELECT $this WHERE {
                $this a ?cls ; pr:hasName ?n ; pr:owningDomain ?d .
                ?other a ?cls ; pr:hasName ?n ; pr:owningDomain ?d .
                FILTER ( $this != ?other )
                FILTER ( ?cls IN (
                    pr:DataDomain, pr:SubDomain, pr:BusinessObject,
                    pr:BusinessConcept, pr:Metric, pr:KPI,
                    pr:DataAsset, pr:DataObject, pr:DataElement,
                    pr:DataContract, pr:DataProduct, pr:Table, pr:Field ) )
            }
        """ ] .

prsh:ArbitrationGateShape a sh:NodeShape ;
    sh:targetClass pr:MetaModelObject ;
    sh:sparql [ sh:severity sh:Violation ;
        sh:message "OW-007 (BLOCKING): a TO_ARBITRATE object MUST NOT be PUBLISHED." ;
        sh:select """
            PREFIX pr: <https://ontology.pernod-ricard.com/metamodel/0.9/>
            SELECT $this WHERE {
                $this pr:hasStatus "PUBLISHED" .
                $this pr:arbitrationStatus "TO_ARBITRATE" . }
        """ ] .