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

Protege reasoner factory.

Constructor Summary

Constructors

Constructor and Description
ProtegeReasonerFactory()

Method Summary

Modifier and Type	Method and Description
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration	getConfiguration(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor)
org.semanticweb.owlapi.reasoner.OWLReasonerFactory	getReasonerFactory()
org.semanticweb.owlapi.reasoner.BufferingMode	getRecommendedBuffering()

Methods inherited from class org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo

dispose, getOWLModelManager, getOWLOntologyManager, getReasonerId, getReasonerName, initialise, setOWLModelManager, setup

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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