org.dllearner.refinementoperators

Interface LengthLimitedRefinementOperator

All Superinterfaces:

Component, RefinementOperator

All Known Implementing Classes:

ELDown, OperatorInverter, PsiDown, PsiUp, RefinementOperatorAdapter, RhoDRDown, SynchronizedRefinementOperator

public interface LengthLimitedRefinementOperator
extends RefinementOperator

A refinement operator for which the syntactic length of the generated refinements can be limited.

Author:

Jens Lehmann

Method Summary

Modifier and Type	Method and Description
OWLClassExpressionLengthMetric	getLengthMetric()
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	setLengthMetric(OWLClassExpressionLengthMetric lengthMetric)

Methods inherited from interface org.dllearner.refinementoperators.RefinementOperator

refine

Methods inherited from interface org.dllearner.core.Component

init

Method Detail

refine

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.

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

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.

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

void setLengthMetric(OWLClassExpressionLengthMetric lengthMetric)

getLengthMetric

OWLClassExpressionLengthMetric getLengthMetric()