org.dllearner.refinementoperators
Class RhoDown

java.lang.Object
  org.dllearner.refinementoperators.RefinementOperatorAdapter
      org.dllearner.refinementoperators.RhoDown

All Implemented Interfaces:

RefinementOperator

public class RhoDown
extends RefinementOperatorAdapter

Implementation of the downward refinement operator in the DL-Learner refinement based algorithm. See http://jens-lehmann.org/files/2007_alc_learning_algorithm.pdf for details.

Author:

Jens Lehmann

Field Summary

long	mComputationTimeNs
long	topComputationTimeNs

Constructor Summary

RhoDown(AbstractReasonerComponent reasoningService, boolean applyAllFilter, boolean applyExistsFilter, boolean useAllConstructor, boolean useExistsConstructor, boolean useNegation, boolean useBooleanDatatypes)

Method Summary

void	computeTopRefinements(int maxLength)
Set<Description>	refine(Description concept) Standard refinement operation.
SortedSet<Description>	refine(Description concept, int maxLength, List<Description> 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.
static void	summen(int zahl, int max, String bisher, int recDepth)

Methods inherited from class org.dllearner.refinementoperators.RefinementOperatorAdapter

refine

Methods inherited from class java.lang.Object

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

Field Detail

mComputationTimeNs

public long mComputationTimeNs

topComputationTimeNs

public long topComputationTimeNs

Constructor Detail

RhoDown

public RhoDown(AbstractReasonerComponent reasoningService,
               boolean applyAllFilter,
               boolean applyExistsFilter,
               boolean useAllConstructor,
               boolean useExistsConstructor,
               boolean useNegation,
               boolean useBooleanDatatypes)

Method Detail

refine

public Set<Description> refine(Description concept)

Description copied from interface: RefinementOperator

Standard refinement operation.

Specified by:

refine in interface RefinementOperator

Specified by:

refine in class RefinementOperatorAdapter

Parameters:

concept - The description, which will be refined.

Returns:

A set of refinements.

refine

public SortedSet<Description> refine(Description concept,
                                     int maxLength,
                                     List<Description> knownRefinements)

Description copied from interface: RefinementOperator

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 RefinementOperator

Overrides:

refine in class RefinementOperatorAdapter

Parameters:

concept - The description, which will be refined.

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

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

Returns:

A set of refinements obeying the above restrictions.

computeTopRefinements

public void computeTopRefinements(int maxLength)

summen

public static void summen(int zahl,
                          int max,
                          String bisher,
                          int recDepth)