com.clarkparsia.modularity

Class IncrementalReasonerConfiguration

java.lang.Object

com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

com.clarkparsia.modularity.IncrementalReasonerConfiguration

All Implemented Interfaces:

Serializable, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

public class IncrementalReasonerConfiguration
extends PelletReasonerConfiguration

Author:

Evren Sirin

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
IncrementalReasonerConfiguration	buffering(boolean isBuffering)
IncrementalReasonerConfiguration	buffering(org.semanticweb.owlapi.reasoner.BufferingMode theBufferingMode)
IncrementalReasoner	createIncrementalReasoner()
IncrementalReasoner	createIncrementalReasoner(org.semanticweb.owlapi.model.OWLOntology ont)
IncrementalReasonerConfiguration	extractor(ModuleExtractor theModuleExtractor)
IncrementalReasonerConfiguration	file(File theSource)
File	getFile()
ModuleExtractor	getModuleExtractor()
PelletReasoner	getReasoner()
boolean	isMultiThreaded()
IncrementalReasonerConfiguration	listenChanges(boolean isListenChanges)
IncrementalReasonerConfiguration	manager(org.semanticweb.owlapi.model.OWLOntologyManager theManager)
IncrementalReasonerConfiguration	multiThreaded(boolean multiThreaded) Sets the multi-threading option.
IncrementalReasonerConfiguration	progressMonitor(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor theProgressMonitor)
IncrementalReasonerConfiguration	reasoner(PelletReasoner theReasoner)
IncrementalReasonerConfiguration	timeout(long theTimeout)

Methods inherited from class com.clarkparsia.pellet.owlapiv3.PelletReasonerConfiguration

createReasoner, freshEntityPolicy, getBufferingMode, getFreshEntityPolicy, getIndividualNodeSetPolicy, getManager, getProgressMonitor, getTimeOut, individualNodeSetPolicy, isListenChanges

Methods inherited from class java.lang.Object

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

Constructor Detail

IncrementalReasonerConfiguration

public IncrementalReasonerConfiguration()

IncrementalReasonerConfiguration

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

Method Detail

getModuleExtractor

public ModuleExtractor getModuleExtractor()

extractor

public IncrementalReasonerConfiguration extractor(ModuleExtractor theModuleExtractor)

getReasoner

public PelletReasoner getReasoner()

reasoner

public IncrementalReasonerConfiguration reasoner(PelletReasoner theReasoner)

getFile

public File getFile()

file

public IncrementalReasonerConfiguration file(File theSource)

isMultiThreaded

public boolean isMultiThreaded()

multiThreaded

public IncrementalReasonerConfiguration multiThreaded(boolean multiThreaded)

Sets the multi-threading option. In multi-threaded mode, during the initial setup, the regular classification and module extraction are performed in two separate threads concurrently. Doing so might reduce overall processing time but it also increases the memory requirements because both processes need additional memory during running which will be freed at the end of the process.

progressMonitor

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

Overrides:

progressMonitor in class PelletReasonerConfiguration

timeout

public IncrementalReasonerConfiguration timeout(long theTimeout)

Overrides:

timeout in class PelletReasonerConfiguration

buffering

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

Overrides:

buffering in class PelletReasonerConfiguration

buffering

public IncrementalReasonerConfiguration buffering(boolean isBuffering)

Overrides:

buffering in class PelletReasonerConfiguration

manager

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

Overrides:

manager in class PelletReasonerConfiguration

listenChanges

public IncrementalReasonerConfiguration listenChanges(boolean isListenChanges)

Overrides:

listenChanges in class PelletReasonerConfiguration

createIncrementalReasoner

public IncrementalReasoner createIncrementalReasoner()

createIncrementalReasoner

public IncrementalReasoner createIncrementalReasoner(org.semanticweb.owlapi.model.OWLOntology ont)