public interface Proof
Represents a proof tree. Proof tree provides an explanation for an inference
or an
inconsistency
in a hierarchical structure. A proof may simply represent an
assertion
in the database. More complex proofs are nested where the immediate children
of a proof provides a concise explanation for the expression associated with that proof.
An example proof (serialized by ProofWriter
) looks like as follows:
INFERRED :Alice rdf:type :Employee ASSERTED :Manager rdfs:subClassOf :Employee INFERRED :Alice rdf:type :Manager ASSERTED :Alice :supervises :Bob ASSERTED :supervises rdfs:domain :Manager
Modifier and Type | Method and Description |
---|---|
Proof |
getAlternate()
Returns the alternate proof.
|
Iterable<Proof> |
getChildren()
Returns the child nodes.
|
Axiom |
getExpression()
Returns the expression associated with this proof instance.
|
Iterable<Axiom> |
getExpressions()
Returns the union of all asserted expressions in this proof tree.
|
Iterable<Axiom> |
getExpressions(com.complexible.stardog.reasoning.ProofType theType)
Returns the union of all expressions for all nodes in this proof tree with the given type.
|
Set<IRI> |
getNamedGraphs()
Returns the URIs of named graphs where the expression for this proof node is asserted if the
type is asserted or empty set otherwise. |
Iterable<Statement> |
getStatements()
Returns the union of all asserted statements in this proof tree.
|
Iterable<Statement> |
getStatements(com.complexible.stardog.reasoning.ProofType theType)
Returns the union of all statements for all nodes in this proof tree with the given type.
|
com.complexible.stardog.reasoning.ProofType |
getType()
Returns the type of this proof instance.
|
boolean |
hasAlternate()
Returns
true if the proof has an alternate. |
boolean |
hasChildren()
Returns
true if this element has any children or false otherwise. |
String |
toString(Iterable<Namespace> theNamespaces)
Returns the string representation of this proof using the given namespaces for abbreviations.
|
Axiom getExpression()
com.complexible.stardog.reasoning.ProofType getType()
Set<IRI> getNamedGraphs()
type
is asserted
or empty set otherwise. If the expression is asserted in the
default graph, the special default graph URI
will be returned. This set might be empty
if the explainer was not configured to compute named graphs
.boolean hasChildren()
true
if this element has any children or false
otherwise.true
if this element has any children or false
otherwiseProof getAlternate()
null
if there are not alternativesboolean hasAlternate()
true
if the proof has an alternate.true
if this element has an alterantive or false
otherwiseIterable<Axiom> getExpressions()
Iterable<Statement> getStatements()
Iterable<Axiom> getExpressions(com.complexible.stardog.reasoning.ProofType theType)
Iterable<Statement> getStatements(com.complexible.stardog.reasoning.ProofType theType)
Copyright © 2010-2016 Stardog Union. All Rights Reserved.