public class Explanation<E> extends Object
| Modifier and Type | Field and Description |
|---|---|
static org.semanticweb.owlapi.model.IRI |
ENTAILMENT_MARKER_IRI |
| Constructor and Description |
|---|
Explanation(E entailment,
Set<org.semanticweb.owlapi.model.OWLAxiom> justification) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
contains(org.semanticweb.owlapi.model.OWLAxiom axiom)
Determines whether this explanation contains a specific checker
|
boolean |
equals(Object obj) |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
getAxioms()
Gets the axioms (justification) that constitute this explanation.
|
static <E> Explanation<E> |
getEmptyExplanation(E entailment) |
E |
getEntailment()
Gets the entailment that the explanation is for
|
Set<org.semanticweb.owlapi.model.OWLClassExpression> |
getNestedClassExpressions()
Gets the sub-concepts that appear in the axioms in this explanation
|
int |
getSize()
Gets the size of this explanation
|
int |
hashCode() |
boolean |
isEmpty()
Determines if this explanation is empty i.e.
|
boolean |
isJustificationEntailment()
Determines if the justification for the entailment is the entailment itself
|
static Explanation<org.semanticweb.owlapi.model.OWLAxiom> |
load(InputStream is)
Loads a previously stored explanation from the specified input stream
|
static void |
store(Explanation<org.semanticweb.owlapi.model.OWLAxiom> explanation,
OutputStream os)
Stores the specified explanation to the specified output stream
|
String |
toString() |
public static final org.semanticweb.owlapi.model.IRI ENTAILMENT_MARKER_IRI
public E getEntailment()
public Set<org.semanticweb.owlapi.model.OWLAxiom> getAxioms()
public int getSize()
public boolean isEmpty()
true if the explanation is empty or false
if the explanation is not empty.public boolean contains(org.semanticweb.owlapi.model.OWLAxiom axiom)
axiom - The checkertrue if the explanation contains a specific checker
otherwise falsepublic boolean isJustificationEntailment()
true if the justification for the entailment is the entailment, otherwise
falsepublic Set<org.semanticweb.owlapi.model.OWLClassExpression> getNestedClassExpressions()
public static <E> Explanation<E> getEmptyExplanation(E entailment)
public static void store(Explanation<org.semanticweb.owlapi.model.OWLAxiom> explanation, OutputStream os) throws IOException
explanation - The explanation to be storedos - The output stream to store the explanation toIOException - if there was a problem writing out the explanationpublic static Explanation<org.semanticweb.owlapi.model.OWLAxiom> load(InputStream is) throws IOException
is - The input stream from where to read the explanationIOException - if there was a problem reading the explanationIllegalStateException - if the input stream does not appear to contain a serialisation of an explanation.Copyright © 2014. All rights reserved.