org.dllearner.refinementoperators
Class PsiDown

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

All Implemented Interfaces:

RefinementOperator

public class PsiDown
extends RefinementOperatorAdapter

Operatoren Psi-Down und Psi-Up müssen noch so umgeschrieben werden, dass sie nur konsistente Konzepte (mit korrekten parent-Links) enthalten. Dazu müssen alle verwendeten atomaren Konzepte geklont werden. Außerdem erscheint es ratsam weitere konzeptverkürzende Maßnahmen einzuführen, z.B. EXISTS r.A => BOTTOM für down bzw. TOP für up => Konzepte erreichen etwa eine Länge von 20

Author:

jl

Constructor Summary

PsiDown(PosNegLP learningProblem, AbstractReasonerComponent reasoningService)

Method Summary

Set<Description>	refine(Description concept) Standard refinement operation.
Set<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.

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

Constructor Detail

PsiDown

public PsiDown(PosNegLP learningProblem,
               AbstractReasonerComponent reasoningService)

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