Contains many of the core interfaces and utilities for the reasoning API
- Michael Grove
Interface Summary Interface Description ProofRepresents a proof tree. StardogExplainerInterface for explainer that can provide explanations for inferences made by a Stardog reasoner.
Class Summary Class Description ReasoningOptionsOptions for controlling reasoning behavior. StardogExplainerOptions Deprecated.