Uses of Class
org.dllearner.reasoning.OWLAPIReasoner

Packages that use OWLAPIReasoner

Package	Description
org.dllearner.reasoning	Implements the connection to other reasoner or own reasoning/caching algorithms.
org.dllearner.utilities.examples	Utility classes related to finding/modifying examples of learning problems.
org.dllearner.utilities.owl	OWL utility classes (file manipulation, converting between different formats, orderings on OWL structures etc.).

Uses of OWLAPIReasoner in org.dllearner.reasoning

Methods in org.dllearner.reasoning that return OWLAPIReasoner

Modifier and Type	Method and Description
OWLAPIReasoner	ClosedWorldReasoner.getReasonerComponent()

Methods in org.dllearner.reasoning with parameters of type OWLAPIReasoner

Modifier and Type	Method and Description
void	ClosedWorldReasoner.setReasonerComponent(OWLAPIReasoner rc)

Constructors in org.dllearner.reasoning with parameters of type OWLAPIReasoner

Constructor and Description
ClosedWorldReasoner(OWLAPIReasoner baseReasoner)

Uses of OWLAPIReasoner in org.dllearner.utilities.examples

Constructors in org.dllearner.utilities.examples with parameters of type OWLAPIReasoner

Constructor and Description
DLQueryBasedExamplesProvider(OWLAPIReasoner rc, org.semanticweb.owlapi.model.OWLClassExpression posExamplesCE, org.semanticweb.owlapi.model.OWLClassExpression negExamplesCE)
DLQueryBasedExamplesProvider(OWLAPIReasoner rc, String posExamplesClassExpressionString, String negExamplesClassExpressionString)

Uses of OWLAPIReasoner in org.dllearner.utilities.owl

Constructors in org.dllearner.utilities.owl with parameters of type OWLAPIReasoner

Constructor and Description
OntologyCloserOWLAPI(OWLAPIReasoner reasoner)