jfact.plugin.protege

Class JFactProtegeFactory

java.lang.Object

org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo

jfact.plugin.protege.JFactProtegeFactory

All Implemented Interfaces:

org.protege.editor.core.Disposable, org.protege.editor.core.plugin.ProtegePluginInstance, org.protege.editor.owl.model.inference.ProtegeOWLReasonerInfo

public class JFactProtegeFactory
extends org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo

Author:

ignazio

Constructor Summary

Constructors

Constructor and Description
JFactProtegeFactory()

Method Summary

Modifier and Type	Method and Description
void	dispose()
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

getConfiguration, getOWLModelManager, getOWLOntologyManager, getReasonerId, getReasonerName, setOWLModelManager, setup

Methods inherited from class java.lang.Object

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

Constructor Detail

JFactProtegeFactory

public JFactProtegeFactory()

Method Detail

initialise

public void initialise()

Specified by:

initialise in interface org.protege.editor.core.plugin.ProtegePluginInstance

Overrides:

initialise in class org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo

dispose

public void dispose()

Specified by:

dispose in interface org.protege.editor.core.Disposable

Overrides:

dispose in class org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo

getRecommendedBuffering

public org.semanticweb.owlapi.reasoner.BufferingMode getRecommendedBuffering()

getReasonerFactory

public org.semanticweb.owlapi.reasoner.OWLReasonerFactory getReasonerFactory()