Uses of Class
io.github.kodymoodley.owlapilite.SelectedReasoner

Uses of SelectedReasoner in io.github.kodymoodley.owlapilite

Fields in io.github.kodymoodley.owlapilite declared as SelectedReasoner

Modifier and Type	Field	Description
static final SelectedReasoner	SelectedReasoner.ELK	ELK OWL 2 EL Reasoner selection instance
static final SelectedReasoner	SelectedReasoner.HERMIT	HermiT OWL 2 DL Reasoner selection instance
static final SelectedReasoner	SelectedReasoner.JFACT	JFACT OWL 2 DL Reasoner selection instance
SelectedReasoner	OWLAPILiteReasoner.selectedReasoner	SelectedReasoner instance

Fields in io.github.kodymoodley.owlapilite with type parameters of type SelectedReasoner

Modifier and Type	Field	Description
static final ArrayList<SelectedReasoner>	SelectedReasoner.REASONERS	ArrayList of all OWL 2 reasoner selection instances which OWLAPI-Lite is able to use

Methods in io.github.kodymoodley.owlapilite with parameters of type SelectedReasoner

Modifier and Type	Method	Description
static OWLAPILiteFactory	OWLAPILiteFactory.getInstance(SelectedReasoner selectedReasoner)	Static method to get hold of a OWLAPILiteFactory instance
void	OWLAPILiteFactory.setOWLReasoner(SelectedReasoner selectedReasoner)	Set or initialise the OWLReasonerFactory implementation to use for this OWLAPILiteFactory instance, based on the reasoner selected

Constructors in io.github.kodymoodley.owlapilite with parameters of type SelectedReasoner

Modifier	Constructor	Description
	OWLAPILiteReasoner(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory, org.semanticweb.owlapi.model.OWLOntology ontology, Parser parser, SelectedReasoner selectedReasoner)	OWLAPILiteReasoner constructor