Uses of Package
org.dllearner.reasoning

Packages that use org.dllearner.reasoning

org.dllearner.core	Core structure of DL-Learner including the definition of component types and a component manager.
org.dllearner.core.configurators	Automatically generated classes, which enable programmatically settingand getting configuration options of components.
org.dllearner.reasoning	Implements the connection to other reasoner or own reasoning/caching algorithms.
org.dllearner.reasoning.fuzzydll
org.dllearner.utilities.components
org.dllearner.utilities.owl	OWL utility classes (file manipulation, converting between different formats, orderings on OWL structures etc.).

Classes in org.dllearner.reasoning used by org.dllearner.core

ReasonerType
Enumeration of available reasoner types

Classes in org.dllearner.reasoning used by org.dllearner.core.configurators

DIGReasoner
DIG 1.1 implementation of the reasoner interface.

FastInstanceChecker
Reasoner for fast instance checks.

FastRetrievalReasoner
Reasoner for fast retrieval inference (other tasks redirected to OWL API reasoner).

OWLAPIReasoner
Mapping to OWL API reasoner interface.

PelletReasoner

ProtegeReasoner

Classes in org.dllearner.reasoning used by org.dllearner.reasoning

ReasonerType
Enumeration of available reasoner types

Classes in org.dllearner.reasoning used by org.dllearner.reasoning.fuzzydll

ReasonerType
Enumeration of available reasoner types

Classes in org.dllearner.reasoning used by org.dllearner.utilities.components

ReasonerType
Enumeration of available reasoner types

Classes in org.dllearner.reasoning used by org.dllearner.utilities.owl

OWLAPIReasoner
Mapping to OWL API reasoner interface.