com.clarkparsia.pellet.owlapiv3

Class PelletReasonerConfiguration

java.lang.Object

com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

All Implemented Interfaces:

Serializable, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

public class PelletReasonerConfiguration
extends Object
implements org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

Author:

Evren Sirin

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
PelletReasonerConfiguration()
PelletReasonerConfiguration(org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration source)

Method Summary

Modifier and Type	Method and Description
PelletReasonerConfiguration	buffering(boolean isBuffering)
PelletReasonerConfiguration	buffering(org.semanticweb.owlapi.reasoner.BufferingMode theBufferingMode)
PelletReasoner	createReasoner(org.semanticweb.owlapi.model.OWLOntology ont)
PelletReasonerConfiguration	freshEntityPolicy(org.semanticweb.owlapi.reasoner.FreshEntityPolicy theFreshEntityPolicy)
org.semanticweb.owlapi.reasoner.BufferingMode	getBufferingMode()
org.semanticweb.owlapi.reasoner.FreshEntityPolicy	getFreshEntityPolicy()
org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy	getIndividualNodeSetPolicy()
org.semanticweb.owlapi.model.OWLOntologyManager	getManager()
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor	getProgressMonitor()
long	getTimeOut()
PelletReasonerConfiguration	individualNodeSetPolicy(org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy theIndividualNodeSetPolicy)
boolean	isListenChanges()
PelletReasonerConfiguration	listenChanges(boolean isListenChanges)
PelletReasonerConfiguration	manager(org.semanticweb.owlapi.model.OWLOntologyManager theManager)
PelletReasonerConfiguration	progressMonitor(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor theProgressMonitor)
PelletReasonerConfiguration	timeout(long theTimeOut)

Methods inherited from class java.lang.Object

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

Constructor Detail

PelletReasonerConfiguration

public PelletReasonerConfiguration()

PelletReasonerConfiguration

public PelletReasonerConfiguration(org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration source)

Method Detail

getProgressMonitor

public org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor getProgressMonitor()

Specified by:

getProgressMonitor in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

progressMonitor

public PelletReasonerConfiguration progressMonitor(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor theProgressMonitor)

getFreshEntityPolicy

public org.semanticweb.owlapi.reasoner.FreshEntityPolicy getFreshEntityPolicy()

Specified by:

getFreshEntityPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

freshEntityPolicy

public PelletReasonerConfiguration freshEntityPolicy(org.semanticweb.owlapi.reasoner.FreshEntityPolicy theFreshEntityPolicy)

getIndividualNodeSetPolicy

public org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy getIndividualNodeSetPolicy()

Specified by:

getIndividualNodeSetPolicy in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

individualNodeSetPolicy

public PelletReasonerConfiguration individualNodeSetPolicy(org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy theIndividualNodeSetPolicy)

getTimeOut

public long getTimeOut()

Specified by:

getTimeOut in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

timeout

public PelletReasonerConfiguration timeout(long theTimeOut)

getBufferingMode

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

buffering

public PelletReasonerConfiguration buffering(org.semanticweb.owlapi.reasoner.BufferingMode theBufferingMode)

buffering

public PelletReasonerConfiguration buffering(boolean isBuffering)

getManager

public org.semanticweb.owlapi.model.OWLOntologyManager getManager()

manager

public PelletReasonerConfiguration manager(org.semanticweb.owlapi.model.OWLOntologyManager theManager)

isListenChanges

public boolean isListenChanges()

listenChanges

public PelletReasonerConfiguration listenChanges(boolean isListenChanges)

createReasoner

public PelletReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ont)