org.semanticweb.HermiT
Class ProtegeReasonerFactory
java.lang.Object
org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo
org.semanticweb.HermiT.ProtegeReasonerFactory
- All Implemented Interfaces:
- org.protege.editor.core.Disposable, org.protege.editor.core.plugin.ProtegePluginInstance, org.protege.editor.owl.model.inference.ProtegeOWLReasonerInfo
public class 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
ProtegeReasonerFactory
public 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
- Specified by:
initialise
in interface org.protege.editor.core.plugin.ProtegePluginInstance
- Overrides:
initialise
in class org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo
- Throws:
java.lang.Exception
dispose
public void dispose()
throws java.lang.Exception
- Specified by:
dispose
in interface org.protege.editor.core.Disposable
- Overrides:
dispose
in class org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo
- Throws:
java.lang.Exception