org.semanticweb.owl.explanation.impl.blackbox

Class SimpleExpansionStrategy<E>

java.lang.Object

org.semanticweb.owl.explanation.impl.blackbox.SimpleExpansionStrategy<E>

All Implemented Interfaces:

ExpansionStrategy

public class SimpleExpansionStrategy<E>
extends Object
implements ExpansionStrategy

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

A very simple (inefficient, so used mainly for testing purposes) expansion strategy. One checker is added at a time.

Constructor Summary

Constructors

Constructor and Description
SimpleExpansionStrategy()

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SimpleExpansionStrategy

public SimpleExpansionStrategy()

Method Detail

doExpansion

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

Description copied from interface: ExpansionStrategy

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.

Specified by:

doExpansion in interface ExpansionStrategy

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 - A progress monitor. Not null.

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

public int getNumberOfSteps()

Specified by:

getNumberOfSteps in interface ExpansionStrategy