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 and Description
class	PelletReasoner

Methods in openllet.owlapi that return OpenlletReasoner

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

Methods in openllet.owlapi with parameters of type OpenlletReasoner

Modifier and Type	Method and 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 and Description
AxiomConverter(OpenlletReasoner reasoner)
EntailmentChecker(OpenlletReasoner reasoner)
EntailmentQueryVisitor(OpenlletReasoner reasoner)