org.semanticweb.owl.explanation.impl.blackbox

Interface ContractionStrategy

All Known Implementing Classes:

DivideAndConquerContractionStrategy, DynamicSlidingWindowContractionStrategy, InconsistentOntologyContractionStrategy, ModularityContractionStrategy, OrderedAxiomWithWindowContractionStrategy, OrderedDivideAndConquerStrategy, SimpleContractionStrategy, SlidingWindowContractionStrategy

public interface 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.

Method Summary

Methods

Modifier and Type	Method and Description
Set<org.semanticweb.owlapi.model.OWLAxiom>	doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
int	getNumberOfSteps()

Method Detail

doPruning

Set<org.semanticweb.owlapi.model.OWLAxiom> doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
                                                   EntailmentChecker checker,
                                                   ExplanationProgressMonitor<?> progressMonitor)

getNumberOfSteps

int getNumberOfSteps()