org.semanticweb.HermiT
Class Reasoner.ProtegeReasonerFactory

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


Field Summary
protected  Reasoner.ReasonerFactory factory
           
 
Constructor Summary
Reasoner.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

Reasoner.ProtegeReasonerFactory

public Reasoner.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
Throws:
java.lang.Exception

dispose

public void dispose()
             throws java.lang.Exception
Throws:
java.lang.Exception