inference

sparq-inference

sparq-reason is sparq's opt-in reasoning crate: it forward-chains the deductive closure (RDFS, OWL 2 RL, or user-supplied Notation3 rules) over dictionary-encoded triples and materializes the entailed facts so querying stays exactly as fast as before. The core engine carries zero reasoning code/cost unless you depend on this crate. Reasoning works at the [Id;3] (RDFS/OWL) or n3::Term (N3) level; you wire the result back into a sparq_core::Graph to query it.

Quickstart

Add the dep (native targets only — see Gotchas):

[dependencies]
sparq-core   = "0.1"
sparq-reason = "0.1"   # default features include `parallel`

Parse → materialize the RDFS closure in place → build a queryable graph (the canonical seam, exactly what the CLI does):

use sparq_core::Graph;
use sparq_reason::{materialize, Profile};

// 1. Parse to (Dict, triples) WITHOUT building indexes yet.
let (mut dict, mut triples) = Graph::parse_to_triples(turtle_text, "turtle")?;
let base = triples.len();

// 2. Expand `triples` in place with every entailed triple. Returns NEW triple count.
let added = materialize(Profile::Rdfs, &mut dict, &mut triples);
eprintln!("RDFS: {base} -> {} triples (+{added} entailed)", triples.len());

// 3. Build the indexed graph from the materialized closure and query as usual.
let g = Graph::from_parts(dict, triples);
# Ok::<(), String>(())

CLI equivalent (materialize and optionally dump the closure as N-Triples):

cargo run --release -p sparq-cli -- reason ontology.ttl turtle rdfs            # rdfs | owl | n3
cargo run --release -p sparq-cli -- reason ontology.ttl turtle owl out.nt      # write full closure
cargo run --release -p sparq-cli -- query data.ttl 'SELECT ...' --reason rdfs  # reason then query

# OWL 2 EL classification — the class hierarchy RL cannot reach (opt-in `el` feature). Complete
# for E1+E2 only: the CLI omits `cdomain`, so concrete-domain axioms land in `skipped_axioms`.
cargo run --release -p sparq-cli --features el -- classify ontology.ttl turtle lattice.nt
cargo run --release -p sparq-cli --features el -- query ontology.ttl turtle 'SELECT ...' --reason el