org.dllearner.refinementoperators

Class OperatorInverter

java.lang.Object

org.dllearner.core.AbstractComponent

org.dllearner.refinementoperators.AbstractRefinementOperator

org.dllearner.refinementoperators.OperatorInverter

All Implemented Interfaces:

Component, LengthLimitedRefinementOperator, RefinementOperator

public class OperatorInverter
extends AbstractRefinementOperator
implements LengthLimitedRefinementOperator

The class uses an existing refinement operator and inverts it, i.e. a downward refinement operator is turned into an upward refinement operator and vice versa.

Author:

Jens Lehmann

Constructor Summary

Constructors

Constructor and Description
OperatorInverter()
OperatorInverter(LengthLimitedRefinementOperator operator)

Method Summary

Modifier and Type	Method and Description
OWLClassExpressionLengthMetric	getLengthMetric()
LengthLimitedRefinementOperator	getOperator()
void	init() Method to be called after the component has been configured.
boolean	isGuaranteeLength()
boolean	isUseNegationNormalForm()
Set<org.semanticweb.owlapi.model.OWLClassExpression>	refine(org.semanticweb.owlapi.model.OWLClassExpression description) Standard refinement operation.
Set<org.semanticweb.owlapi.model.OWLClassExpression>	refine(org.semanticweb.owlapi.model.OWLClassExpression description, int maxLength) Optional refinement operation, where the learning algorithm can specify an additional bound on the length of descriptions.
Set<org.semanticweb.owlapi.model.OWLClassExpression>	refine(org.semanticweb.owlapi.model.OWLClassExpression description, int maxLength, List<org.semanticweb.owlapi.model.OWLClassExpression> knownRefinements) Optional refinement operation, where the learning algorithm can specify an additional bound on the length of descriptions and a list of known refinements, which do not need to be returned.
void	setGuaranteeLength(boolean guaranteeLength)
void	setLengthMetric(OWLClassExpressionLengthMetric lengthMetric)
void	setOperator(LengthLimitedRefinementOperator operator)
void	setUseNegationNormalForm(boolean useNegationNormalForm)

Methods inherited from class org.dllearner.core.AbstractComponent

isInitialized

Methods inherited from class java.lang.Object

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

Constructor Detail

OperatorInverter

public OperatorInverter(LengthLimitedRefinementOperator operator)

OperatorInverter

public OperatorInverter()

Method Detail

getOperator

public LengthLimitedRefinementOperator getOperator()

setOperator

public void setOperator(LengthLimitedRefinementOperator operator)

isUseNegationNormalForm

public boolean isUseNegationNormalForm()

setUseNegationNormalForm

public void setUseNegationNormalForm(boolean useNegationNormalForm)

isGuaranteeLength

public boolean isGuaranteeLength()

setGuaranteeLength

public void setGuaranteeLength(boolean guaranteeLength)

refine

public Set<org.semanticweb.owlapi.model.OWLClassExpression> refine(org.semanticweb.owlapi.model.OWLClassExpression description)

Description copied from interface: RefinementOperator

Standard refinement operation.

Specified by:

refine in interface RefinementOperator

Parameters:

description - The description, which will be refined.

Returns:

A set of refinements.

refine

public Set<org.semanticweb.owlapi.model.OWLClassExpression> refine(org.semanticweb.owlapi.model.OWLClassExpression description,
                                                                   int maxLength)

Description copied from interface: LengthLimitedRefinementOperator

Optional refinement operation, where the learning algorithm can specify an additional bound on the length of descriptions.

Specified by:

refine in interface LengthLimitedRefinementOperator

Parameters:

description - The description, which will be refined.

maxLength - The maximum length of returned description, where length is defined by OWLClassExpressionUtils.getLength(OWLClassExpression) }.

Returns:

A set of refinements obeying the above restrictions.

refine

public Set<org.semanticweb.owlapi.model.OWLClassExpression> refine(org.semanticweb.owlapi.model.OWLClassExpression description,
                                                                   int maxLength,
                                                                   List<org.semanticweb.owlapi.model.OWLClassExpression> knownRefinements)

Description copied from interface: LengthLimitedRefinementOperator

Optional refinement operation, where the learning algorithm can specify an additional bound on the length of descriptions and a list of known refinements, which do not need to be returned.

Specified by:

refine in interface LengthLimitedRefinementOperator

Parameters:

description - The description, which will be refined.

maxLength - The maximum length of returned description, where length is defined by OWLClassExpressionUtils.getLength(OWLClassExpression).

knownRefinements - A collection of known refinements, which do not need to be returned.

Returns:

A set of refinements obeying the above restrictions.

setLengthMetric

public void setLengthMetric(OWLClassExpressionLengthMetric lengthMetric)

Specified by:

setLengthMetric in interface LengthLimitedRefinementOperator

getLengthMetric

public OWLClassExpressionLengthMetric getLengthMetric()

Specified by:

getLengthMetric in interface LengthLimitedRefinementOperator

init

public void init()
          throws ComponentInitException

Description copied from interface: Component

Method to be called after the component has been configured. Implementation of components can overwrite this method to perform setup and initialisation tasks for this component.

Specified by:

init in interface Component

Throws:

ComponentInitException - This exception is thrown if any exceptions occur within the initialisation process of this component. As component developer, you are encouraged to re-throw occurring exception as ComponentInitException and giving an error message as well as the actually exception by using the constructor ComponentInitException(String, Throwable).