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 © 2010-2016 Stardog Union. All Rights Reserved.