ontocore-reasoner

Part of OntoCore (semantic workspace engine).

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

Usage

use ontocore_catalog::IndexBuilder;
use ontocore_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: ontocore classify <workspace> --profile dl.

Install

ontocore-reasoner = "0.13"

Profiles

Documentation

• Rust & CLI docs
• Reasoner guide
• REASONER_SPEC

License

MIT OR Apache-2.0