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

Interface Summary

Interface	Description
AxiomAdditionHandler	Author: Matthew Horridge The University of Manchester Bio-Health Informatics Group Date: 06/05/2011
ContractionStrategy	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008 Represents a method of contracting a set of axioms that support an entailment down to a minimal set of axioms that support the entailment.
EntailmentChecker<E>	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008 An interface to an object that checks to see if an entailment holds in a particular set of axioms.
EntailmentCheckerFactory<E>	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008
ExpansionStrategy	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008

Class Summary

Class	Description
AllInOneExpansionStrategy	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 18-Sep-2008 An expansion strategy used for testing.
BlackBoxExplanationGenerator<E>	Deprecated Use BlackBoxExplanationGenerator2
BlackBoxExplanationGenerator2<E>	Author: Matthew Horridge The University of Manchester Information Management Group Date: 18-Feb-2010
Configuration<E>	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008 A configuration that describes how a black box explanation generator should be configured.
DivideAndConquerContractionStrategy	Author: Matthew Horridge The University of Manchester Information Management Group Date: 24-May-2009 This contraction strategy is based on Algorithm 2 presented in Baader and Suntisrivaraporn in "Debugging Snomed CT Using Axiom Pinpointing in the Description Logic EL+".
DynamicSlidingWindowContractionStrategy	Author: Matthew Horridge The University of Manchester Information Management Group Date: 06-May-2009
InconsistentOntologyClashExpansionStrategy	Author: Matthew Horridge The University of Manchester Information Management Group Date: 24-May-2009
InconsistentOntologyContractionStrategy	Author: Matthew Horridge The University of Manchester Information Management Group Date: 01-May-2009
InconsistentOntologyExpansionStrategy	Author: Matthew Horridge The University of Manchester Information Management Group Date: 01-May-2009
ModularityContractionStrategy	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 25-Sep-2008
OrderedAxiomWithWindowContractionStrategy	Author: Matthew Horridge The University of Manchester Information Management Group Date: 27-Nov-2008
OrderedDivideAndConquerStrategy	Author: Matthew Horridge The University of Manchester Bio-Health Informatics Group Date: 13/01/2011
PatternBasedEntailmentChecker	Author: Matthew Horridge The University of Manchester Bio-Health Informatics Group Date: 14/03/2011
SimpleContractionStrategy	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008
SimpleExpansionStrategy<E>	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008 A very simple (inefficient, so used mainly for testing purposes) expansion strategy.
SlidingWindowContractionStrategy	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008 A contraction strategy that uses a sliding window to improve performance.
StructuralExpansionStrategy	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008
StructuralTypePriorityExpansionStrategy	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 16-Sep-2008

Enum Summary

Enum	Description
InitialEntailmentCheckStrategy	Author: Matthew Horridge The University of Manchester Bio-Health Informatics Group Date: 12/04/2011