org.semanticweb.owl.explanation.impl.blackbox

Interface ExpansionStrategy

All Known Implementing Classes:

AllInOneExpansionStrategy, InconsistentOntologyClashExpansionStrategy, InconsistentOntologyExpansionStrategy, SimpleExpansionStrategy, StructuralExpansionStrategy, StructuralTypePriorityExpansionStrategy

public interface ExpansionStrategy

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

Method Summary

Methods

Modifier and Type	Method and Description
Set<org.semanticweb.owlapi.model.OWLAxiom>	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.
int	getNumberOfSteps()

Method Detail

doExpansion

Set<org.semanticweb.owlapi.model.OWLAxiom> 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.

Parameters:

axioms - The input set. The entailment may or may not hold in this set.

checker - The entailment checker that should be used to check for entailment at each stage.

progressMonitor -

Returns:

A set of axioms that the entailment holds in, or the empty set if the entailment does not hold in the input set.

getNumberOfSteps

int getNumberOfSteps()