Uses of Interface
openllet.owlapi.OpenlletReasoner

Packages that use OpenlletReasoner

Package	Description
openllet.owlapi

Uses of OpenlletReasoner in openllet.owlapi

Classes in openllet.owlapi that implement OpenlletReasoner

Modifier and Type	Class	Description
class	PelletReasoner

Methods in openllet.owlapi that return OpenlletReasoner

Modifier and Type	Method	Description
OpenlletReasoner	OpenlletReasonerFactory.createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
OpenlletReasoner	OpenlletReasonerFactory.createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
OpenlletReasoner	PelletReasonerFactory.createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)	Deprecated.
OpenlletReasoner	PelletReasonerFactory.createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)	Deprecated.
OpenlletReasoner	OpenlletReasonerFactory.createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
OpenlletReasoner	OpenlletReasonerFactory.createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
OpenlletReasoner	PelletReasonerFactory.createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)	Deprecated.
OpenlletReasoner	PelletReasonerFactory.createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)	Deprecated.
OpenlletReasoner	EntailmentChecker.getReasoner()
OpenlletReasoner	EntailmentQueryVisitor.getReasoner()
OpenlletReasoner	OWLAPILoader.getReasoner()	Returns the reasoner created by this loader.

Methods in openllet.owlapi with parameters of type OpenlletReasoner

Modifier and Type	Method	Description
static OWLHelper	OWLHelper.createLightHelper(OpenlletReasoner reasoner)	When you have finish use this Helper, you must call {dispose() and eventually getGroup().close()}

Constructors in openllet.owlapi with parameters of type OpenlletReasoner

Constructor	Description
AxiomConverter(OpenlletReasoner reasoner)
EntailmentChecker(OpenlletReasoner reasoner)
EntailmentQueryVisitor(OpenlletReasoner reasoner)