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

Packages that use org.semanticweb.owl.explanation.impl.blackbox

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

Classes in org.semanticweb.owl.explanation.impl.blackbox used by org.semanticweb.owl.explanation.api

Class and Description
EntailmentCheckerFactory Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008

Classes in org.semanticweb.owl.explanation.impl.blackbox used by org.semanticweb.owl.explanation.impl.blackbox

Class and Description
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.
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+".
EntailmentChecker 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 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
InitialEntailmentCheckStrategy Author: Matthew Horridge The University of Manchester Bio-Health Informatics Group Date: 12/04/2011

Classes in org.semanticweb.owl.explanation.impl.blackbox used by org.semanticweb.owl.explanation.impl.blackbox.checker

Class and Description
Configuration 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.
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 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 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

Classes in org.semanticweb.owl.explanation.impl.blackbox used by org.semanticweb.owl.explanation.impl.blackbox.nsp

Class and Description
Configuration 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.
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 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 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

Classes in org.semanticweb.owl.explanation.impl.blackbox used by org.semanticweb.owl.explanation.impl.laconic

Class and Description
EntailmentCheckerFactory Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008

Classes in org.semanticweb.owl.explanation.impl.blackbox used by org.semanticweb.owl.explanation.impl.setree

Class and Description
EntailmentCheckerFactory Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008