Package com.complexible.stardog.reasoning

Contains many of the core interfaces and utilities for the reasoning API

Since:

0.1

Version:

2.2

Author:

Michael Grove

Interface Summary

Interface	Description
Proof	Represents a proof tree.
StardogExplainer	Interface for explainer that can provide explanations for inferences made by a Stardog reasoner.

Class Summary

Class	Description
ReasoningOptions	Options for controlling reasoning behavior.
StardogExplainerOptions	Deprecated.