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.tools.protege	The Protege DL-Learner plugin, which enables learning class descriptions in the Protege ontology editor.
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

OWLAPIReasoner
Mapping to OWL API reasoner interface.

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.tools.protege

FastInstanceChecker
Reasoner for fast instance checks.

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.