org.dllearner.refinementoperators

Interface RefinementOperator

All Superinterfaces:

Component

All Known Subinterfaces:

CustomHierarchyRefinementOperator, CustomStartRefinementOperator, InstanceBasedRefinementOperator, LengthLimitedRefinementOperator, ReasoningBasedRefinementOperator

All Known Implementing Classes:

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

public interface RefinementOperator
extends Component

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

Modifier and Type	Method and Description
Set<org.semanticweb.owlapi.model.OWLClassExpression>	refine(org.semanticweb.owlapi.model.OWLClassExpression description) Standard refinement operation.

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)

Standard refinement operation.

Parameters:

description - The description, which will be refined.

Returns:

A set of refinements.