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

Re-exports

pub use abox::AboxReport;

pub use abox::SameAsClosure;

pub use abox::is_abox_consistent;

pub use abox::materialize_abox;

pub use abox::object_property_values;

pub use abox::same_as_closure;

pub use rdfs::MaterializationReport as RdfsMaterializationReport;

pub use rdfs::RdfsEngine;

pub use rdfs::RdfsRule;

pub use rdfs::classify_reasoner as rdfs_classify_reasoner;

pub use rdfs::materialize_reasoner as rdfs_materialize_reasoner;

pub use rdfs::materialize_routed as rdfs_materialize_routed;

Modules

abox

ABox reasoning: individual typing, sameAs closure, consistency checks.

rdfs

RDFS materialization via reasonable (subset of OWL RL rules).

Structs

InferenceRecord

A single recorded inference (legacy alias; prefer ontologos_core::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.

saturate_routed

Saturate after profile routing selected RL (including Profile::Auto).

transitive_subclass_closure

Materialize transitive SubClassOf closure using core axiom indexes only.

Type Aliases

Result