Crate ontologos_rl 

OWL RL forward-chaining rule engine.

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());

Via Reasoner: use classify_reasoner — not Reasoner::classify.

Structs

InferenceRecord

A single recorded inference (optional trace for explain v0.6).

MaterializationReport

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

RlEngine

OWL RL forward-chaining engine with optional parallel execution.

TripleIndex

Rule-matching index seeded from an ontology and updated as RL rules fire.

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