SemWeb
SemWeb.Inference Namespace

Namespace

None.

Type Description
Euler Implements a backward-chaining reasoner with Euler path detection based on the Euler library by Jos de Roo.
Proof To be added.
ProofStep To be added.
RdfRelation To be added.
RDFS A RDFS inferencing engine.
Reasoner To be added.
Rule To be added.
SimpleEntailment To be added.