com.clarkparsia.stardog.reasoning
Interface StardogExplainer

All Known Subinterfaces:

ReasoningConnection

public interface StardogExplainer

Interface for something which can provide explanations for inferences made by a Stardog reasoner.

Since:

0.7.3

Version:

0.7.3

Author:

Evren Sirin, Michael Grove

Method Summary

Set<Expression>	explain(Expression theExpr) Explain the Expression.
Set<Expression>	explain(Statement theStmt) Explain the Statement.
Set<Expression>	explainInconsistency() Returns the set of expressions that explains the inconsistency of the database, or the empty set if the database is consistent.
Set<Expression>	explainInconsistency(Collection<URI> theActiveGraphs) Returns the set of expressions that explains the inconsistency of the database for the given named graphs, or the empty set if the database is consistent.

Method Detail

explain

Set<Expression> explain(Statement theStmt)
                        throws StardogException

Explain the Statement. Returns the set of axioms which are a single explanation for the (possibly) inferred statement, or the empty set if the inference could not be explained.

Parameters:

theStmt - the statement to be explained

Returns:

A single explanation as the minimal set of Axioms which explain why the inference was made.

Throws:

StardogException - there was an error while generating the explanation

explain

Set<Expression> explain(Expression theExpr)
                        throws StardogException

Explain the Expression. Return the set of axioms which are a single explanaiton for the (possibly) inferred axiom, or the empty set if the inference could not be explained.

Parameters:

theExpr - the expression to be explained

Returns:

A single explanation as the minimal set of Axioms which explain why the inference was made.

Throws:

StardogException - there was an error while generating the explanation

explainInconsistency

@Beta
Set<Expression> explainInconsistency()
                                     throws StardogException

Returns the set of expressions that explains the inconsistency of the database, or the empty set if the database is consistent. This function is equivalent to explainInconsistency(ContextSets.ALL).

WARNING This function is marked as Beta and might be changed in an incompatible way in the future.

Throws:

StardogException

explainInconsistency

@Beta
Set<Expression> explainInconsistency(Collection<URI> theActiveGraphs)
                                     throws StardogException

Returns the set of expressions that explains the inconsistency of the database for the given named graphs, or the empty set if the database is consistent. Note that, a database might be inconsistent as a whole but a subset of its named graphs may be consistent.

WARNING This function is marked as Beta and might be changed in an incompatible way in the future.

Throws:

StardogException