Skip to main content

ontologos_bridge/
lib.rs

1//! Model adapters between `ontologos-core`, horned-owl, and reasonable.
2
3mod error;
4mod horned;
5mod perf;
6mod reasonable_session;
7mod rl_postprocess;
8mod taxonomy;
9mod triples;
10
11pub use error::{Error, Result};
12pub use perf::{BridgePerfTimings, perf_enabled as bridge_perf_enabled};
13pub use reasonable_session::{
14    MaterializeOutcome, ReasonableSession, downcast_reasonable_session, materialize_with_session,
15    take_reasonable_session,
16};
17pub use rl_postprocess::{
18    apply_characteristic_propagation, apply_domain_range_inheritance,
19    apply_equivalent_property_subproperties, apply_existential_subclass_subsumption,
20    apply_inverse_subproperty_materialization, apply_rdfs_fallbacks, apply_reasonable_fallbacks,
21    apply_transitive_subproperties, has_bottom_chain_violation,
22};
23pub use taxonomy::{equivalence_clusters, reduce_subsumptions};
24pub use triples::{
25    MergeLimits, MergeReport, core_to_triples, core_to_triples_all, core_to_triples_for_axioms,
26    merge_triples_into_ontology, merge_triples_into_ontology_with_limits,
27};