it.unibz.inf.ontop.protege.core

Class OntopReasonerInfo

java.lang.Object

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

it.unibz.inf.ontop.protege.core.OntopReasonerInfo

All Implemented Interfaces:

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

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

Constructor Summary

Constructors

Constructor and Description
OntopReasonerInfo()

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()
void	setConfigurationGenerator(OntopConfigurationManager configurationGenerator)

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

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

Constructor Detail

OntopReasonerInfo

public OntopReasonerInfo()

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

setConfigurationGenerator

public void setConfigurationGenerator(OntopConfigurationManager configurationGenerator)