SemWeb: SemWeb.Inference

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.

See http://razor.occams.info/code/semweb.