Crate ontologos_rl 

OWL RL forward-chaining facade over reasonable.

Start here — load a file and saturate

use ontologos_parser::load_ontology;
use ontologos_rl::RlEngine;

let mut ontology = load_ontology(std::path::Path::new("ontology.owl"))?;
let report = RlEngine::new(1).saturate(&mut ontology)?;
println!("inferred {}", report.inferred_total());

Structs

InferenceRecord

A single recorded inference (legacy alias; prefer [TraceStep]).

MaterializationReport

Summary of RL saturation over an ontology (includes prior RDFS pass).

RlEngine

OWL RL facade over the reasonable engine.

Enums

Error

RlRule

OWL RL rule that produced an inference.

Functions

classify_reasoner

Run classification when the reasoner profile is Profile::Rl.

materialize_reasoner

Materialize OWL RL inferences for a reasoner configured with Profile::Rl.

Type Aliases

Result