org.semanticweb.owl.explanation.impl.blackbox

Class InconsistentOntologyExpansionStrategy

java.lang.Object

org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyExpansionStrategy

All Implemented Interfaces:

ExpansionStrategy

public class InconsistentOntologyExpansionStrategy
extends Object
implements ExpansionStrategy

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 01-May-2009

Constructor Summary

Constructors

Constructor and Description
InconsistentOntologyExpansionStrategy()

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

Methods inherited from class java.lang.Object

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

Constructor Detail

InconsistentOntologyExpansionStrategy

public InconsistentOntologyExpansionStrategy()

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.

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