org.dllearner.refinementoperators

Interface ReasoningBasedRefinementOperator

All Superinterfaces:

Component, RefinementOperator

All Known Subinterfaces:

InstanceBasedRefinementOperator

All Known Implementing Classes:

DLTreesRefinementOperator, RhoDRDown

public interface ReasoningBasedRefinementOperator
extends RefinementOperator

A refinement operator, which uses an underlying reasoner, which is a typical scenario.

Author:

Jens Lehmann

Method Summary

Modifier and Type	Method and Description
void	setReasoner(Reasoner reasoner)

Methods inherited from interface org.dllearner.refinementoperators.RefinementOperator

refine

Methods inherited from interface org.dllearner.core.Component

init

Method Detail

setReasoner

void setReasoner(Reasoner reasoner)