Package org.semanticweb.owl.explanation.impl.blackbox.checker

Class Summary

Class	Description
BlackBoxExplanationGeneratorFactory<E>	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008 A factory that creates a black box explanation generator.
ConsistencyEntailmentChecker	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 25-Sep-2008
ConsistencyEntailmentCheckerFactory	Author: Matthew Horridge The University of Manchester Information Management Group Date: 01-May-2009
DefaultBlackBoxConfiguration	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008 A default black box configuration that uses an entailment checker that reduced entailment checking to satisfiability checking using an OWLReasoner.
InconsistentOntologyExplanationGeneratorFactory	Author: Matthew Horridge The University of Manchester Information Management Group Date: 14-May-2009
PatternBasedConsistencyEntailmentChecker	Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 14/08/2012
PatternBasedConsistencyEntailmentCheckerFactory	Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 14/08/2012
SatisfiabilityEntailmentChecker	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008
SatisfiabilityEntailmentCheckerFactory	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008

Exception Summary

Exception	Description
SatisfiabilityEntailmentChecker.UnsupportedAxiomTypeException