Module lower 

Lower a loaded shapes graph into the formalism Schema.

Every SHACL Core construct collapses into the small IR, applying the sugar rules from the gap analysis (class → path, minCount/maxCount → Count, per-value constraints wrapped in ∀π = ∃≤0 π.¬φ, xone → ∧∨¬, …). Each shape lowers to a focus-node predicate φ, so sh:property/sh:node compose by conjunction. Unsupported AF constructs emit diagnostics.

Structs

Lowered

Functions

canonical_sparql_query

Build the canonical, prefix-expanded form of a SHACL SPARQL query string.

lower

Lower a loaded graph into a schema plus diagnostics.