Crate ontologos_rdfs 

RDFS reasoning facade over reasonable.

Structs

InferenceRecord

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

MaterializationReport

Summary of RDFS materialization over an ontology.

RdfsEngine

RDFS materialization facade over reasonable.

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