PREFIX bat: <https://veritas.app/ns/battery#>
PREFIX mat: <https://veritas.app/ns/materials#>

# Battery packs below the recycled-cobalt threshold whose cathode
# draws on a scarce metal — the metal grades live on a federated
# materials registry, access-gated.
SELECT ?battery ?cathode ?scarcity
WHERE {
  ?battery a bat:Battery ; bat:cathode ?cathode ; bat:recycledCobalt ?recycled .
  SERVICE <https://registry.example/materials/sparql> {   # across a trust boundary, access-gated
    ?cathode mat:primaryMetal ?metal .
    ?metal   mat:scarcityIndex ?scarcity .
  }
  FILTER ( ?scarcity >= 4.0 && ?recycled < 10 )
}
ORDER BY DESC(?scarcity)# RecycledContentShape — every battery declares its recycled cobalt share
ex:RecycledContentShape
  a sh:NodeShape ;
  sh:targetClass bat:Battery ;
  sh:property [
    sh:path     bat:recycledCobalt ;
    sh:minCount 1 ;
  ] .@prefix bat: <https://veritas.app/ns/battery#> .
@prefix dpp: <https://veritas.app/ns/dpp#> .

ex:PackA_E12
    a bat:Battery ;
    bat:cathode        bat:NMC811 ;
    bat:recycledCobalt 11 ;                # per cent of the cobalt mass
    dpp:passport       "dpp-ABF1-91c" ./* reshape bindings into a recycled-content report */
results.bindings[recycledCobalt < 10].{
  "battery": batteryName,
  "cathode": cathodeName,
  "status":  recycledCobalt = 0 ? "no recycled cobalt" : "below the threshold"
} ^(>recycledCobalt){
  "@context": "https://veritas.app/ns/battery#",
  "@id": "ex:PackA_E12",
  "@type": "Battery",
  "recycledCobalt": 11,
  "passport": "dpp-ABF1-91c",
  "cathode": { "@id": "bat:NMC811" }
}bat:CathodeScheme a skos:ConceptScheme .

bat:NMC811
    a skos:Concept ;
    skos:prefLabel "Nickel manganese cobalt 8:1:1"@en ;
    skos:prefLabel "Nikkeli-mangaani-koboltti 8:1:1"@fi ;
    skos:broader  bat:LayeredOxide ;
    skos:inScheme bat:CathodeScheme .bat:cathode
    a owl:ObjectProperty ;
    rdfs:domain bat:Battery ;
    rdfs:range  bat:CathodeChemistry .

bat:Battery
    rdfs:subClassOf bat:EnergyStorageCell .@prefix bat: <https://veritas.app/ns/battery#> .
@prefix ex:  <https://veritas.app/data/> .

# TriG keeps each party's claims in its own named graph, linkable but attributable.
ex:manufacturerClaims {
    ex:PackA_E12 bat:recycledCobalt 11 .
}

GRAPH ex:recyclerRegistry {
    ex:NMC811 a bat:CathodeChemistry .
}