Crate sophia_reasoner 

A provide a forward-chaining reasoning engine for Simple, RDF and RDFS entailment.

See ReasonableGraph.

Modules

d_entailment

I define the trait Recognized, as well as a number of implementations of that trait.

dataset

A provide ReasonableDataset

ruleset

I define the trait RuleSet, as well as a number of implementations of that trait.

Structs

ReasonableGraph

An implementation of Graph supporting an entailment regime captured by

Enums

Inconsistency

The error that can occur while collecting a ReasonableGraph