org.semanticweb.HermiT
Class Reasoner.ProtegeReasonerFactory
java.lang.Object
org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo
org.semanticweb.HermiT.Reasoner.ProtegeReasonerFactory
- All Implemented Interfaces:
- org.protege.editor.core.Disposable, org.protege.editor.core.plugin.ProtegePluginInstance, org.protege.editor.owl.model.inference.ProtegeOWLReasonerInfo
- Enclosing class:
- Reasoner
public static class Reasoner.ProtegeReasonerFactory
- extends org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo
Methods inherited from class org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo |
getOWLModelManager, getOWLOntologyManager, getReasonerId, getReasonerName, setOWLModelManager, setup |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
factory
protected final Reasoner.ReasonerFactory factory
Reasoner.ProtegeReasonerFactory
public Reasoner.ProtegeReasonerFactory()
getRecommendedBuffering
public org.semanticweb.owlapi.reasoner.BufferingMode getRecommendedBuffering()
getReasonerFactory
public org.semanticweb.owlapi.reasoner.OWLReasonerFactory getReasonerFactory()
getConfiguration
public org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration getConfiguration(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor)
- Specified by:
getConfiguration
in interface org.protege.editor.owl.model.inference.ProtegeOWLReasonerInfo
- Overrides:
getConfiguration
in class org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo
initialise
public void initialise()
throws java.lang.Exception
- Throws:
java.lang.Exception
dispose
public void dispose()
throws java.lang.Exception
- Throws:
java.lang.Exception