Crate ontologos_rdfs 

RDFS reasoning via graph closure and property propagation.

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