public interface StardogExplainer
ReasoningConnection
s.Modifier and Type  Field and Description 

static Axiom 
INCONSISTENCY
Special expression instance with no statements that can be used to indicate that we are explaining inconsistency.

Modifier and Type  Method and Description 

StardogExplainer 
activeGraphs(Collection<IRI> theActiveGraphs)
Compute the explanation over the given named graphs ignoring information in other named graphs.

StardogExplainer 
computeNamedGraphs()
The named graphs will be computed for assertions in the explanation.

StardogExplainer 
countLimit(int theLimit)
Limits the number of explanations returned by the explainer.

StardogExplainer 
mergeExplanations()
Merges the explanations if possible by combining shared nodes in a proof and setting the
alternate links between these nodes. 
Proof 
proof()
Returns one explanation generated by this explainer or
null if the statement is not inferred. 
Iterable<Proof> 
proofs()
Returns all the explanations generated by this explainer.

StardogExplainer 
timeLimit(long theLimit,
TimeUnit theUnit)
Limits the time spent to compute explanations.

static final Axiom INCONSISTENCY
StardogExplainer countLimit(int theLimit)
StardogExplainer timeLimit(long theLimit, TimeUnit theUnit)
named graphs
and merging explanations. The default limit is sec.StardogExplainer computeNamedGraphs()
StardogExplainer mergeExplanations()
alternate
links between these nodes.StardogExplainer activeGraphs(Collection<IRI> theActiveGraphs)
Iterable<Proof> proofs() throws StardogException
StardogException
Proof proof() throws StardogException
null
if the statement is not inferred.
Calling this function will automatically set the count limit
to 1.null
if there are no proofsStardogException
Copyright © 20102016 Stardog Union. All Rights Reserved.