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. |