org.dllearner.refinementoperators

Class PsiDown

java.lang.Object

org.dllearner.core.AbstractComponent

org.dllearner.refinementoperators.AbstractRefinementOperator

org.dllearner.refinementoperators.RefinementOperatorAdapter

org.dllearner.refinementoperators.PsiDown

All Implemented Interfaces:

Component, LengthLimitedRefinementOperator, 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

Constructors

Constructor and Description
PsiDown(PosNegLP learningProblem, AbstractReasonerComponent reasoningService)

Method Summary

Modifier and Type	Method and Description
void	init() Method to be called after the component has been configured.
Set<org.semanticweb.owlapi.model.OWLClassExpression>	refine(org.semanticweb.owlapi.model.OWLClassExpression concept) Standard refinement operation.
Set<org.semanticweb.owlapi.model.OWLClassExpression>	refine(org.semanticweb.owlapi.model.OWLClassExpression concept, 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.

Methods inherited from class org.dllearner.refinementoperators.RefinementOperatorAdapter

getLengthMetric, refine, setLengthMetric

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

PsiDown

public PsiDown(PosNegLP learningProblem,
               AbstractReasonerComponent reasoningService)

Method Detail

refine

public Set<org.semanticweb.owlapi.model.OWLClassExpression> refine(org.semanticweb.owlapi.model.OWLClassExpression 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<org.semanticweb.owlapi.model.OWLClassExpression> refine(org.semanticweb.owlapi.model.OWLClassExpression concept,
                                                                   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

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

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.

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