strixonomy-reasoner

Part of Strixonomy (semantic workspace engine).

Thin OntoLogos 1.0.0 facade for Strixonomy — EL, RL, RDFS, DL, and auto-routed classification, hierarchy merge, and EL-first explanations.

Usage

use strixonomy_catalog::IndexBuilder;
use strixonomy_reasoner::{classify, ReasonerId, WorkspaceInputLoader};

let catalog = IndexBuilder::new().workspace("fixtures").build()?;
let input = WorkspaceInputLoader::new("fixtures").load()?;
let result = classify(ReasonerId::Dl, &input, false)?;
// `consistent` is true when no *named class* is unsatisfiable (not full ABox consistency).
println!("consistent: {}", result.consistent);

CLI equivalent: strixonomy classify <workspace> --profile dl.

Install

strixonomy-reasoner = "0.27"

Profiles

Documentation

• Rust & CLI docs
• Reasoner guide
• REASONER_SPEC

License

MIT OR Apache-2.0