Uses of Class
org.semanticweb.owl.explanation.api.ExplanationException

Packages that use ExplanationException

Package	Description
org.semanticweb.owl.explanation.api
org.semanticweb.owl.explanation.impl.blackbox
org.semanticweb.owl.explanation.impl.laconic
org.semanticweb.owl.explanation.impl.rootderived
org.semanticweb.owl.explanation.impl.setree

Uses of ExplanationException in org.semanticweb.owl.explanation.api

Subclasses of ExplanationException in org.semanticweb.owl.explanation.api

Modifier and Type	Class and Description
class	ExplanationGeneratorInterruptedException Author: Matthew Horridge The University of Manchester Information Management Group Date: 25-Mar-2010
class	NotEntailedException Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008 An explanation exception that describes the situation where an entailment does not hold in a set of source axioms.
class	UnsupportedEntailmentException Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008

Methods in org.semanticweb.owl.explanation.api that throw ExplanationException

Modifier and Type	Method and Description
Set<Explanation<E>>	ExplanationGenerator.getExplanations(E entailment) Gets explanations for an entailment.
Set<Explanation<E>>	ExplanationGenerator.getExplanations(E entailment, int limit) Gets explanations for an entailment, with limit on the number of explanations returned.
Set<org.semanticweb.owlapi.model.OWLClass>	RootDerivedReasoner.getRootUnsatisfiableClasses() Gets the root unsatisfiable classes.

Uses of ExplanationException in org.semanticweb.owl.explanation.impl.blackbox

Methods in org.semanticweb.owl.explanation.impl.blackbox that throw ExplanationException

Modifier and Type	Method and Description
Set<Explanation<E>>	BlackBoxExplanationGenerator2.getExplanations(E entailment)
Set<Explanation<E>>	BlackBoxExplanationGenerator.getExplanations(E entailment) Deprecated.
Set<Explanation<E>>	BlackBoxExplanationGenerator2.getExplanations(E entailment, int limit)
Set<Explanation<E>>	BlackBoxExplanationGenerator.getExplanations(E entailment, int limit) Deprecated.

Uses of ExplanationException in org.semanticweb.owl.explanation.impl.laconic

Methods in org.semanticweb.owl.explanation.impl.laconic that throw ExplanationException

Modifier and Type	Method and Description
Set<Explanation<E>>	LaconicExplanationGenerator.getExplanations(E entailment)
Set<Explanation<E>>	LaconicExplanationGenerator.getExplanations(E entailment, int limit)
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment) Gets explanations for an entailment.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnOPlus.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment) Gets explanations for an entailment.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment) Gets explanations for an entailment.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnDeltaPlus.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment) Gets explanations for an entailment.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment, int limit) Gets explanations for an entailment, with limit on the number of explanations returned.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnOPlus.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment, int limit) Gets explanations for an entailment, with limit on the number of explanations returned.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment, int limit) Gets explanations for an entailment, with limit on the number of explanations returned.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	LaconicExplanationGeneratorBasedOnDeltaPlus.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment, int limit) Gets explanations for an entailment, with limit on the number of explanations returned.
boolean	LaconicExplanationGenerator.isLaconic(Explanation<E> justification) Checks to see if a justification for a given entailment is laconic.

Uses of ExplanationException in org.semanticweb.owl.explanation.impl.rootderived

Methods in org.semanticweb.owl.explanation.impl.rootderived that throw ExplanationException

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLOntology	StructuralRootDerivedReasoner.getMergedOntology()
Set<org.semanticweb.owlapi.model.OWLClass>	StructuralRootDerivedReasoner.getRootUnsatisfiableClasses()
Set<org.semanticweb.owlapi.model.OWLClass>	CompleteRootDerivedReasoner.getRootUnsatisfiableClasses() Gets the root unsatisfiable classes.

Uses of ExplanationException in org.semanticweb.owl.explanation.impl.setree

Methods in org.semanticweb.owl.explanation.impl.setree that throw ExplanationException

Modifier and Type	Method and Description
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	SETreeExplanationGenerator.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment) Gets explanations for an entailment.
Set<Explanation<org.semanticweb.owlapi.model.OWLAxiom>>	SETreeExplanationGenerator.getExplanations(org.semanticweb.owlapi.model.OWLAxiom entailment, int limit) Gets explanations for an entailment, with limit on the number of explanations returned.