Represents a proof tree.
Interface for explainer that can provide explanations for inferences made by a Stardog reasoner.
Options for controlling reasoning behavior.
Contains many of the core interfaces and utilities for the reasoning API
Copyright © 2010-2016 Stardog Union. All Rights Reserved.