# Package com.complexible.stardog.reasoning

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

- Related Packages
  Package
  Description
  com.complexible.stardog
  com.complexible.stardog.reasoning.api
- Class
  Description
  Proof
  Represents a proof tree.
  ReasoningOptions
  Options for controlling reasoning behavior.
  StardogExplainer
  Interface for explainer that can provide explanations for inferences made by a Stardog reasoner.
  StardogExplainerOptions
  Deprecated.