org.dllearner.refinementoperators
Interface RefinementOperator

All Known Implementing Classes:

ELDown, ELDown2, FuzzyRhoDRDown, OperatorInverter, PsiDown, PsiUp, RefinementOperatorAdapter, RhoDown, RhoDRDown

public interface RefinementOperator

Interface for all refinement operators based on OWL/Description Logics. A refinement operator maps a description to a set of descriptions. For downward refinement operators those descriptions are more special. For upward refinement operators, those descriptions are more general.

Author:

Jens Lehmann

Method Summary

Set<Description>	refine(Description description) Standard refinement operation.
Set<Description>	refine(Description description, int maxLength) Optional refinement operation, where the learning algorithm can specify an additional bound on the length of descriptions.
Set<Description>	refine(Description description, 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.

Method Detail

refine

Set<Description> refine(Description description)

Standard refinement operation.

Parameters:

description - The description, which will be refined.

Returns:

A set of refinements.

refine

Set<Description> refine(Description description,
                        int maxLength)

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

Parameters:

description - The description, which will be refined.

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

Returns:

A set of refinements obeying the above restrictions.

refine

Set<Description> refine(Description description,
                        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.

Parameters:

description - 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.