Uses of Interface
org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker

Packages that use EntailmentChecker

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

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

Methods in org.semanticweb.owl.explanation.impl.blackbox that return EntailmentChecker

Modifier and Type	Method and Description
EntailmentChecker<E>	EntailmentCheckerFactory.createEntailementChecker(E entailment)

Methods in org.semanticweb.owl.explanation.impl.blackbox with parameters of type EntailmentChecker

Modifier and Type	Method and Description
Set<org.semanticweb.owlapi.model.OWLAxiom>	StructuralTypePriorityExpansionStrategy.doExpansion(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
Set<org.semanticweb.owlapi.model.OWLAxiom>	StructuralExpansionStrategy.doExpansion(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
Set<org.semanticweb.owlapi.model.OWLAxiom>	SimpleExpansionStrategy.doExpansion(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
Set<org.semanticweb.owlapi.model.OWLAxiom>	InconsistentOntologyExpansionStrategy.doExpansion(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
Set<org.semanticweb.owlapi.model.OWLAxiom>	InconsistentOntologyClashExpansionStrategy.doExpansion(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
Set<org.semanticweb.owlapi.model.OWLAxiom>	ExpansionStrategy.doExpansion(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor) Given an input set of axioms, returns a subset of axioms in which the entailment holds, or the empty set if the entailment does not hold in the input set.
Set<org.semanticweb.owlapi.model.OWLAxiom>	AllInOneExpansionStrategy.doExpansion(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
Set<org.semanticweb.owlapi.model.OWLAxiom>	SlidingWindowContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
Set<org.semanticweb.owlapi.model.OWLAxiom>	SimpleContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
Set<org.semanticweb.owlapi.model.OWLAxiom>	OrderedDivideAndConquerStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
Set<org.semanticweb.owlapi.model.OWLAxiom>	OrderedAxiomWithWindowContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
Set<org.semanticweb.owlapi.model.OWLAxiom>	ModularityContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
Set<org.semanticweb.owlapi.model.OWLAxiom>	InconsistentOntologyContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
Set<org.semanticweb.owlapi.model.OWLAxiom>	DynamicSlidingWindowContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
Set<org.semanticweb.owlapi.model.OWLAxiom>	DivideAndConquerContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
Set<org.semanticweb.owlapi.model.OWLAxiom>	ContractionStrategy.doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
List<org.semanticweb.owlapi.model.OWLAxiom>	DivideAndConquerContractionStrategy.extract(List<org.semanticweb.owlapi.model.OWLAxiom> listS, List<org.semanticweb.owlapi.model.OWLAxiom> listO, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
protected Set<org.semanticweb.owlapi.model.OWLAxiom>	BlackBoxExplanationGenerator2.extractModule(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker<E> checker)
protected Set<org.semanticweb.owlapi.model.OWLAxiom>	BlackBoxExplanationGenerator.extractModule(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker<E> checker) Deprecated.

Uses of EntailmentChecker in org.semanticweb.owl.explanation.impl.blackbox.checker

Classes in org.semanticweb.owl.explanation.impl.blackbox.checker that implement EntailmentChecker

Modifier and Type	Class and Description
class	ConsistencyEntailmentChecker Author: Matthew Horridge The University Of Manchester Information Management Group Date: 25-Sep-2008
class	PatternBasedConsistencyEntailmentChecker Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 14/08/2012
class	SatisfiabilityEntailmentChecker Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008

Methods in org.semanticweb.owl.explanation.impl.blackbox.checker that return EntailmentChecker

Modifier and Type	Method and Description
EntailmentChecker<org.semanticweb.owlapi.model.OWLAxiom>	SatisfiabilityEntailmentCheckerFactory.createEntailementChecker(org.semanticweb.owlapi.model.OWLAxiom entailment)
EntailmentChecker<org.semanticweb.owlapi.model.OWLAxiom>	PatternBasedConsistencyEntailmentCheckerFactory.createEntailementChecker(org.semanticweb.owlapi.model.OWLAxiom entailment)
EntailmentChecker<org.semanticweb.owlapi.model.OWLAxiom>	ConsistencyEntailmentCheckerFactory.createEntailementChecker(org.semanticweb.owlapi.model.OWLAxiom entailment)

Uses of EntailmentChecker in org.semanticweb.owl.explanation.impl.blackbox.nsp

Classes in org.semanticweb.owl.explanation.impl.blackbox.nsp that implement EntailmentChecker

Modifier and Type	Class and Description
class	NonSimplePropertyEntailmentChecker Author: Matthew Horridge The University Of Manchester Information Management Group Date: 03-Sep-2008

Methods in org.semanticweb.owl.explanation.impl.blackbox.nsp that return EntailmentChecker

Modifier and Type	Method and Description
EntailmentChecker<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	NSPEntailmentCheckerFactory.createEntailementChecker(org.semanticweb.owlapi.model.OWLObjectPropertyExpression entailment)