Skip to main content

ontocore_reasoner/
lib.rs

1//! OntoLogos-backed reasoner facade for OntoCore (v0.9).
2//!
3//! Published as [`ontocore-reasoner`](https://crates.io/crates/ontocore-reasoner).
4
5mod adapter;
6mod auto;
7mod cache;
8mod dl;
9mod el;
10mod error;
11mod explain;
12mod hierarchy;
13mod input;
14mod rdfs;
15mod result;
16mod rl;
17mod runner;
18
19pub use adapter::{ReasonerAdapter, ReasonerId, ReasonerProfile};
20pub use cache::{ReasonerCache, ReasonerCacheStore};
21pub use error::{ReasonerError, Result};
22pub use input::{ReasonerInput, WorkspaceInputLoader};
23pub use result::{
24    ClassificationResult, ConsistencyResult, ExplanationRequest, ExplanationResult,
25    ExplanationStep, InferredHierarchy, ReasonerSnapshot, ReasonerWarning,
26};
27pub use runner::{classify, explain};