Crate ontologos_explain 

Explanation engine with proof graphs and export formats.

Structs

NodeId

Node identifier within a proof graph.

ProofGraph

Proof graph backing explanation traces.

ProofNode

Single step in a reasoning proof.

Enums

Error

Functions

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_el

Generate proof graph for OWL EL classification traces.

explain_with_profile

Route explanation collection by resolved engine route.

render_text

Render a proof graph as human-readable text.

Type Aliases

Result