Expand description
RDF shapes graph -> formalism IR lowering (Layer 2).
parse_turtle reads a SHACL shapes graph and lowers all supported Core +
AF vocabulary into the shifty_algebra::Schema IR, applying every sugar
rule from docs/01-gap-analysis.md. Unsupported custom components, JS, and
richer AF constructs produce Diagnostics rather than silent wrong
answers.
Re-exports§
pub use diagnostics::DiagLevel;pub use diagnostics::Diagnostic;pub use diagnostics::ParseError;pub use graph::Loaded;pub use graph::RdfFormat;
Modules§
- diagnostics
- Parse/lowering diagnostics. Unsupported constructs are reported here rather than silently dropped (gap-analysis principle: never a silent wrong answer).
- graph
- Loading an RDF graph from Turtle and convenience accessors over it.
- lower
- Lower a loaded shapes graph into the formalism
Schema. - path
- Parse a
sh:pathvalue into thePathalgebra (gap-analysis P1 for theoneOrMore/zeroOrOnesugar). - vocab
- IRI constants for the SHACL, RDF, and RDFS vocabularies.
Structs§
- Parse
Output - The result of lowering a shapes graph.
Functions§
- load_
ntriples - load_
turtle - Load a Turtle shapes graph (for inspecting the raw RDF stage).
- parse_
loaded - Lower an already-loaded graph into the algebra IR.
- parse_
turtle - Parse and lower a Turtle shapes graph into the algebra IR.