Uses of Class
io.github.kodymoodley.owlapilite.SelectedReasoner
-
Uses of SelectedReasoner in io.github.kodymoodley.owlapilite
Fields in io.github.kodymoodley.owlapilite declared as SelectedReasonerModifier and TypeFieldDescriptionstatic final SelectedReasonerSelectedReasoner.ELKELK OWL 2 EL Reasoner selection instancestatic final SelectedReasonerSelectedReasoner.HERMITHermiT OWL 2 DL Reasoner selection instancestatic final SelectedReasonerSelectedReasoner.JFACTJFACT OWL 2 DL Reasoner selection instanceOWLAPILiteReasoner.selectedReasonerSelectedReasoner instanceFields in io.github.kodymoodley.owlapilite with type parameters of type SelectedReasonerModifier and TypeFieldDescriptionstatic final ArrayList<SelectedReasoner> SelectedReasoner.REASONERSArrayList of all OWL 2 reasoner selection instances which OWLAPI-Lite is able to useMethods in io.github.kodymoodley.owlapilite with parameters of type SelectedReasonerModifier and TypeMethodDescriptionstatic OWLAPILiteFactoryOWLAPILiteFactory.getInstance(SelectedReasoner selectedReasoner) Static method to get hold of a OWLAPILiteFactory instancevoidOWLAPILiteFactory.setOWLReasoner(SelectedReasoner selectedReasoner) Set or initialise the OWLReasonerFactory implementation to use for this OWLAPILiteFactory instance, based on the reasoner selectedConstructors in io.github.kodymoodley.owlapilite with parameters of type SelectedReasonerModifierConstructorDescriptionOWLAPILiteReasoner(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory, org.semanticweb.owlapi.model.OWLOntology ontology, Parser parser, SelectedReasoner selectedReasoner) OWLAPILiteReasoner constructor