Crate ontologos_explain

Expand description

Explanation engine with proof graphs and export formats.

Structs§

build_proof_graph: Build a proof graph from an inference trace over ontology.
collect_trace: Collect inference trace with explanations enabled on reasoner’s ontology.
explain: Generate a full proof graph using automatic profile detection.
explain_el: Generate proof graph for OWL EL classification traces.
explain_rdfs: Generate proof graph for RDFS materialization traces.
explain_rl: Generate proof graph for OWL RL saturation traces.
explain_subsumption: Explain why sub ⊑ sup holds under the given profile.
explain_unsatisfiable: Explain why class is unsatisfiable under the given profile.
explain_with_profile: Route explanation collection by reasoner profile (like classify).
find_bottom_subsumption: Find bottom (⊥) class used in a subsumption trace for class.
find_subsumption_step: Locate a subsumption conclusion for two classes in a trace.
render_text: Render a proof graph as human-readable text.
subsumption_from_axioms: Locate an axiom subsumption in trace via ontology scan.