Crate ontologos_bridge 

Model adapters between ontologos-core, horned-owl, and reasonable.

Structs

BridgePerfTimings

Per-phase wall times for one materialize invocation (seconds).

MaterializeOutcome

Outcome of a materialization pass.

MergeLimits

Limits applied when merging inferred triples back into core.

MergeReport

Summary of merging reasonable output back into core.

ReasonableSession

Persistent reasonable state for incremental RL/RDFS materialization.

Enums

Error

Functions

apply_characteristic_propagation

Propagate property characteristics along subPropertyOf (CharPropagate).

apply_domain_range_inheritance

Apply domain/range inheritance along subPropertyOf (prp-dom / prp-rng fallbacks).

apply_equivalent_property_subproperties

apply_existential_subclass_subsumption

Infer named SubClassOf from existential class definitions (cls-svf1/2).

apply_inverse_subproperty_materialization

Materialize named P ⊑ Q when DL stores Inv(P) ⊑ Inv(Q).

apply_rdfs_fallbacks

Run RDFS-oriented fallbacks (subset of full RL post-processing).

apply_reasonable_fallbacks

Run all reasonable semantic fallbacks after materialization.

apply_transitive_subproperties

Materialize transitive subPropertyOf closure (RDFS 5 fallback).

bridge_perf_enabled

Whether bridge perf tracing is enabled (ONTOLOGOS_BRIDGE_PERF=1).

core_to_triples

Serialize mapped core axioms to oxrdf triples for reasonable.

core_to_triples_all

Serialize all active axioms (asserted and inferred) to oxrdf triples.

core_to_triples_for_axioms

Serialize triples for a subset of axioms (plus entity type triples for referenced entities).

downcast_reasonable_session

Downcast helper for Reasoner::session_mut.

equivalence_clusters

Build equivalence clusters from mutual subsumption pairs.

has_bottom_chain_violation

Detect inconsistency from property chains subsumed by owl:bottomObjectProperty.

materialize_with_session

Materialize ontology using batch or incremental reasonable reasoning.

merge_triples_into_ontology

Merge materialized triples into ontology, adding only new axioms.

merge_triples_into_ontology_with_limits

Merge materialized triples with an axiom cap (untrusted reasoning workloads).

reduce_subsumptions

Transitive reduction: keep edge (a,b) only when no alternate path a ↝ b exists.

take_reasonable_session

Extract a ReasonableSession from a core reasoner, or start a fresh one.

Type Aliases

Result