feat: add parser of simplified sparql

Author: VanyaGlazunov

AGENTS.md

@@ -14,7 +14,7 @@ pathrex/
 ├── Cargo.toml                  # Crate manifest (edition 2024)
 ├── build.rs                    # Links LAGraph + LAGraphX; optionally regenerates FFI bindings
 ├── src/
-│   ├── lib.rs                  # Public modules: graph, formats, lagraph_sys; utils is pub(crate)
+│   ├── lib.rs                  # Public modules: graph, formats, rpq, sparql, lagraph_sys, utils
 │   ├── main.rs                 # Binary entry point (placeholder)
 │   ├── lagraph_sys.rs          # FFI module — includes generated bindings
 │   ├── lagraph_sys_generated.rs# Bindgen output (checked in, regenerated in CI)
@@ -24,6 +24,8 @@ pathrex/
 │   │   ├── mod.rs              # Core traits (GraphBuilder, GraphDecomposition, GraphSource,
 │   │   │                       #   Backend, Graph<B>), error types, RAII wrappers, GrB init
 │   │   └── inmemory.rs         # InMemory marker, InMemoryBuilder, InMemoryGraph
+│   ├── sparql/
+│   │   └── mod.rs              # SPARQL parsing (spargebra), PathTriple extraction, parse_rpq
 │   └── formats/
 │       ├── mod.rs              # FormatError enum, re-exports
 │       └── csv.rs              # Csv<R> — CSV → Edge iterator (CsvConfig, ColumnSpec)
@@ -204,6 +206,42 @@ Configuration is via [`CsvConfig`](src/formats/csv.rs:17):
 [`ColumnSpec`](src/formats/csv.rs:11) is either `Index(usize)` or `Name(String)`.
 Name-based lookup requires `has_header: true`.
 
+### SPARQL parsing (`src/sparql/mod.rs`)
+
+The [`sparql`](src/sparql/mod.rs) module uses the [`spargebra`](https://crates.io/crates/spargebra)
+crate to parse SPARQL 1.1 query strings and extract the single property-path
+triple pattern that pathrex's RPQ evaluators operate on.
+
+**Supported query form:** `SELECT` queries with exactly one triple or property
+path pattern in the `WHERE` clause, e.g.:
+
+```sparql
+SELECT ?x ?y WHERE { ?x <knows>/<likes>* ?y . }
+```
+
+Key public items:
+
+- [`parse_query(sparql)`](src/sparql/mod.rs:51) — parses a SPARQL string into a
+  [`spargebra::Query`].
+- [`extract_path(query)`](src/sparql/mod.rs:73) — validates a parsed `Query` is a
+  `SELECT` with a single path pattern and returns a [`PathTriple`](src/sparql/mod.rs:62).
+- [`parse_rpq(sparql)`](src/sparql/mod.rs:196) — convenience function combining
+  `parse_query` + `extract_path` in one call.
+- [`PathTriple`](src/sparql/mod.rs:62) — holds the extracted `subject`
+  ([`TermPattern`]), `path` ([`PropertyPathExpression`]), and `object`
+  ([`TermPattern`]).
+- [`ExtractError`](src/sparql/mod.rs:31) — error enum for extraction failures
+  (`NotSelect`, `NotSinglePath`, `UnsupportedSubject`, `UnsupportedObject`,
+  `VariablePredicate`).
+- [`RpqParseError`](src/sparql/mod.rs:204) — combined error for [`parse_rpq`]
+  wrapping both [`SparqlSyntaxError`] and [`ExtractError`].
+- [`DEFAULT_BASE_IRI`](src/sparql/mod.rs:44) — `"http://example.org/"`, the
+  default base IRI constant.
+
+The module also handles spargebra's desugaring of sequence paths
+(`?x <a>/<b>/<c> ?y`) from a chain of BGP triples back into a single
+[`PropertyPathExpression::Sequence`].
+
 ### FFI layer
 
 [`lagraph_sys`](src/lagraph_sys.rs) exposes raw C bindings for GraphBLAS and
@@ -256,6 +294,8 @@ native libraries.
 
 Tests in `src/formats/csv.rs` are pure Rust and need no native dependencies.
 
+Tests in `src/sparql/mod.rs` are pure Rust and need no native dependencies.
+
 Tests in `src/graph/inmemory.rs` and [`tests/inmemory_tests.rs`](tests/inmemory_tests.rs)
 call real GraphBLAS/LAGraph and require the native libraries to be present.
 

Cargo.toml

@@ -8,6 +8,7 @@ csv = "1.4.0"
 libc = "0.2"
 oxrdf = "0.3.3"
 oxttl = "0.2.3"
+spargebra = "0.4.6"
 thiserror = "1.0"
 
 [features]

src/lib.rs

@@ -1,5 +1,6 @@
 pub mod formats;
 pub mod graph;
+pub mod sparql;
 #[allow(unused_unsafe, dead_code)]
 pub(crate) mod utils;