Uses of Interface
org.dllearner.core.Reasoner

Packages that use Reasoner

Package	Description
org.dllearner.accuracymethods
org.dllearner.algorithms.decisiontrees.refinementoperators
org.dllearner.core	Core structure of DL-Learner including the definition of component types and a component manager.
org.dllearner.reasoning	Implements the connection to other reasoner or own reasoning/caching algorithms.
org.dllearner.refinementoperators	Refinement operator implementations.

Uses of Reasoner in org.dllearner.accuracymethods

Methods in org.dllearner.accuracymethods with parameters of type Reasoner

Modifier and Type	Method and Description
void	AccMethodApproximate.setReasoner(Reasoner reasoner) set the reasoner; consumers of the accuracy method should call this method on all approximate components
void	AccMethodFMeasureApprox.setReasoner(Reasoner reasoner)
void	AccMethodPredAccApprox.setReasoner(Reasoner reasoner)
void	AccMethodAMeasureApprox.setReasoner(Reasoner reasoner)

Uses of Reasoner in org.dllearner.algorithms.decisiontrees.refinementoperators

Methods in org.dllearner.algorithms.decisiontrees.refinementoperators with parameters of type Reasoner

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

Uses of Reasoner in org.dllearner.core

Classes in org.dllearner.core that implement Reasoner

Modifier and Type	Class and Description
class	AbstractReasonerComponent Abstract component representing a reasoner.

Uses of Reasoner in org.dllearner.reasoning

Classes in org.dllearner.reasoning that implement Reasoner

Modifier and Type	Class and Description
class	ClosedWorldReasoner Reasoner for fast instance checks.
class	OWLAPIReasoner Mapping to OWL API reasoner interface.
class	SPARQLReasoner A reasoner implementation that provides inference services by the execution of SPARQL queries on local files (usually in forms of JENA API models) remote SPARQL endpoints
class	SPARQLReasonerQuad Specialised SPARQL Reasoner for specific SPARQL dialects

Uses of Reasoner in org.dllearner.refinementoperators

Methods in org.dllearner.refinementoperators with parameters of type Reasoner

Modifier and Type	Method and Description
void	RhoDRDown.setReasoner(Reasoner reasoner)
void	ReasoningBasedRefinementOperator.setReasoner(Reasoner reasoner)