Skip to main content

ontologos_facade/
lib.rs

1//! Unified reasoner facade — routes all OWL profiles without circular crate deps.
2
3#![warn(missing_docs)]
4
5mod classify;
6mod engines;
7mod entailment;
8mod error;
9mod json;
10mod lookup;
11mod outcome;
12mod query;
13
14pub use classify::{classify, taxonomy_from_outcome};
15pub use entailment::{
16    check_consistency, is_consistent, is_entailed, is_entailed_axiom, is_subsumption_entailed,
17};
18pub use error::{EntailmentCheck, Error, Result, parse_entailment_check};
19pub use json::{rdfs_materialization_json, rl_materialization_json, taxonomy_json};
20pub use lookup::{get_object_property_values, get_sub_object_properties};
21pub use ontologos_core::ConsistencyResult;
22pub use outcome::ClassifyOutcome;
23pub use query::taxonomy_hierarchy;