See: Description
Interface | Description |
---|---|
Proof |
Represents a proof tree.
|
StardogExplainer |
Interface for explainer that can provide explanations for inferences made by a Stardog reasoner.
|
Class | Description |
---|---|
ReasoningOptions |
Options for controlling reasoning behavior.
|
StardogExplainerOptions | Deprecated |
Contains many of the core interfaces and utilities for the reasoning API
Copyright © 2010-2016 Stardog Union. All Rights Reserved.