| 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 |
| 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.
|
| 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.
|
| 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.
|
| 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.
|
| 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.
|
Copyright © 2014. All rights reserved.