Skip to main content

strixonomy_reasoner/
lib.rs

1//! OntoLogos-backed reasoner facade for Strixonomy (v0.9).
2//!
3//! Published as [`strixonomy-reasoner`](https://crates.io/crates/strixonomy-reasoner).
4
5mod abox;
6mod adapter;
7mod auto;
8mod cache;
9mod dl;
10mod dl_query;
11mod el;
12mod error;
13mod explain;
14mod hierarchy;
15mod input;
16mod rdfs;
17mod result;
18mod rl;
19mod runner;
20mod swrl_run;
21
22pub use abox::{
23    cancel_requested, check_full_consistency, clear_cancel_flag,
24    inferred_assertions_from_realization, install_cancel_flag,
25};
26pub use adapter::{ReasonerAdapter, ReasonerId, ReasonerProfile};
27pub use cache::{ReasonerCache, ReasonerCacheStore};
28pub use dl_query::{run_dl_query, DlQueryMode, DlQueryResult, DL_QUERY_CLASS_IRI};
29pub use error::{ReasonerError, Result};
30pub use input::{ReasonerInput, WorkspaceInputLoader};
31pub use result::{
32    expand_named_unsatisfiable, ClassificationResult, ConsistencyDetail, ConsistencyResult,
33    ExplanationRequest, ExplanationResult, ExplanationStep, InferredAssertions,
34    InferredClassAssertion, InferredHierarchy, InferredObjectPropertyAssertion,
35    InstanceCheckResult, RealizationEntry, RealizationResult, ReasonerSnapshot, ReasonerWarning,
36    SameAsCluster,
37};
38pub use runner::{
39    check_consistency, check_instance, classify, explain, explain_alternatives,
40    inferred_assertions, realize,
41};
42pub use swrl_run::{
43    classify_with_swrl, inject_swrl_from_turtle, input_has_swrl_rules, ontology_has_swrl_rules,
44    prepare_swrl_ontology,
45};