Crate ontologos_rdfs 

RDFS reasoning via graph closure and property propagation.

Start here — load a file and materialize

use ontologos_parser::load_ontology;
use ontologos_rdfs::RdfsEngine;

let mut ontology = load_ontology(std::path::Path::new("ontology.owl"))?;
let report = RdfsEngine::new().materialize(&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 RDFS materialization over an ontology.

RdfsEngine

RDFS forward-chaining engine.

Enums

Error

RdfsRule

RDFS TBox rule that produced an inference.

Functions

classify_reasoner

Run classification when the reasoner profile is Profile::Rdfs; otherwise returns CoreError::NotImplemented.

materialize_reasoner

Materialize RDFS inferences for a reasoner configured with Profile::Rdfs.

Type Aliases

Result