org.semanticweb.HermiT
Class ProtegeReasonerFactory

java.lang.Object
  extended by org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo
      extended by 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


Field Summary
protected  Reasoner.ReasonerFactory factory
           
 
Constructor Summary
ProtegeReasonerFactory()
           
 
Method Summary
 void dispose()
           
 org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration getConfiguration(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor)
           
 org.semanticweb.owlapi.reasoner.OWLReasonerFactory getReasonerFactory()
           
 org.semanticweb.owlapi.reasoner.BufferingMode getRecommendedBuffering()
           
 void initialise()
           
 
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
 

Field Detail

factory

protected final Reasoner.ReasonerFactory factory
Constructor Detail

ProtegeReasonerFactory

public ProtegeReasonerFactory()
Method Detail

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