public class DivideAndConquerContractionStrategy extends Object implements ContractionStrategy
| Constructor and Description |
|---|
DivideAndConquerContractionStrategy() |
| Modifier and Type | Method and Description |
|---|---|
Set<org.semanticweb.owlapi.model.OWLAxiom> |
doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
List<org.semanticweb.owlapi.model.OWLAxiom> |
extract(List<org.semanticweb.owlapi.model.OWLAxiom> listS,
List<org.semanticweb.owlapi.model.OWLAxiom> listO,
EntailmentChecker checker,
ExplanationProgressMonitor<?> progressMonitor) |
int |
getNumberOfSteps() |
public Set<org.semanticweb.owlapi.model.OWLAxiom> doPruning(Set<org.semanticweb.owlapi.model.OWLAxiom> axioms, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
doPruning in interface ContractionStrategypublic List<org.semanticweb.owlapi.model.OWLAxiom> extract(List<org.semanticweb.owlapi.model.OWLAxiom> listS, List<org.semanticweb.owlapi.model.OWLAxiom> listO, EntailmentChecker checker, ExplanationProgressMonitor<?> progressMonitor)
public int getNumberOfSteps()
getNumberOfSteps in interface ContractionStrategyCopyright © 2014. All rights reserved.