public class IncrementalReasonerConfiguration extends PelletReasonerConfiguration
| Constructor and Description |
|---|
IncrementalReasonerConfiguration() |
IncrementalReasonerConfiguration(org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration source) |
createReasoner, freshEntityPolicy, getBufferingMode, getFreshEntityPolicy, getIndividualNodeSetPolicy, getManager, getProgressMonitor, getTimeOut, individualNodeSetPolicy, isListenChangespublic IncrementalReasonerConfiguration()
public IncrementalReasonerConfiguration(org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration source)
public ModuleExtractor getModuleExtractor()
public IncrementalReasonerConfiguration extractor(ModuleExtractor theModuleExtractor)
public PelletReasoner getReasoner()
public IncrementalReasonerConfiguration reasoner(PelletReasoner theReasoner)
public File getFile()
public IncrementalReasonerConfiguration file(File theSource)
public boolean isMultiThreaded()
public IncrementalReasonerConfiguration multiThreaded(boolean multiThreaded)
public IncrementalReasonerConfiguration progressMonitor(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor theProgressMonitor)
progressMonitor in class PelletReasonerConfigurationpublic IncrementalReasonerConfiguration timeout(long theTimeout)
timeout in class PelletReasonerConfigurationpublic IncrementalReasonerConfiguration buffering(org.semanticweb.owlapi.reasoner.BufferingMode theBufferingMode)
buffering in class PelletReasonerConfigurationpublic IncrementalReasonerConfiguration buffering(boolean isBuffering)
buffering in class PelletReasonerConfigurationpublic IncrementalReasonerConfiguration manager(org.semanticweb.owlapi.model.OWLOntologyManager theManager)
manager in class PelletReasonerConfigurationpublic IncrementalReasonerConfiguration listenChanges(boolean isListenChanges)
listenChanges in class PelletReasonerConfigurationpublic IncrementalReasoner createIncrementalReasoner()
public IncrementalReasoner createIncrementalReasoner(org.semanticweb.owlapi.model.OWLOntology ont)
Copyright © 2019. All rights reserved.