uk.ac.manchester.cs.jfact.kernel.options

Class JFactReasonerConfiguration

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.options.JFactReasonerConfiguration

All Implemented Interfaces:

org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

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

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
<O> O	get(String name)
String	getabsorptionFlags()
LogAdapter	getAbsorptionLog()
boolean	getalwaysPreferEquals()
boolean	getdumpQuery()
org.semanticweb.owlapi.reasoner.FreshEntityPolicy	getFreshEntityPolicy()
String	getIAOEFLG()
org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy	getIndividualNodeSetPolicy()
LogAdapter	getLog()
static Option	getOption(String name, long l)
static Option	getOption(String name, String s)
String	getORSortSat()
String	getORSortSub()
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor	getProgressMonitor()
long	getTimeOut()
boolean	getuseAnywhereBlocking()
boolean	getuseBackjumping()
boolean	getuseCompletelyDefined()
boolean	getuseLazyBlocking()
boolean	getuseRelevantOnly()
boolean	getuseSemanticBranching()
boolean	getverboseOutput()
boolean	isAbsorptionLoggingActive()
boolean	isDEBUG_SAVE_RESTORE()
boolean	isFPP_DEBUG_SPLIT_MODULES()
boolean	isLoggingActive()
boolean	isRKG_IMPROVE_SAVE_RESTORE_DEPSET()
boolean	isRKG_PRINT_DAG_USAGE()
boolean	isRKG_UPDATE_RND_FROM_SUPERROLES()
boolean	isRKG_USE_AD_IN_MODULE_EXTRACTION()
boolean	isRKG_USE_DYNAMIC_BACKJUMPING()
boolean	isRKG_USE_FAIRNESS()
boolean	isRKG_USE_SIMPLE_RULES()
boolean	isRKG_USE_SORTED_REASONING()
boolean	isSplits()
boolean	isTMP_PRINT_TAXONOMY_INFO()
boolean	isUSE_BLOCKING_STATISTICS()
boolean	isUSE_REASONING_STATISTICS()
boolean	isUseAxiomSplitting()
boolean	isUseELReasoner()
boolean	isUseUndefinedNames()
void	setAbsorptionLoggingActive(boolean b)
void	setAbsorptionLogOutputStream(OutputStream o)
void	setDEBUG_SAVE_RESTORE(boolean b)
void	setdumpQuery(boolean value)
void	setFPP_DEBUG_SPLIT_MODULES(boolean b)
void	setLoggingActive(boolean b)
void	setorSortSat(String defSat)
void	setorSortSub(String defSat)
void	setRegularLogOutputStream(OutputStream o)
void	setRKG_IMPROVE_SAVE_RESTORE_DEPSET(boolean b)
void	setRKG_PRINT_DAG_USAGE(boolean b)
void	setRKG_UPDATE_RND_FROM_SUPERROLES(boolean b)
void	setRKG_USE_AD_IN_MODULE_EXTRACTION(boolean value)
void	setRKG_USE_DYNAMIC_BACKJUMPING(boolean b)
void	setRKG_USE_FAIRNESS(boolean b)
void	setRKG_USE_SIMPLE_RULES(boolean b)
void	setRKG_USE_SORTED_REASONING(boolean b)
void	setSplits(boolean splits)
void	setTMP_PRINT_TAXONOMY_INFO(boolean b)
void	setUSE_BLOCKING_STATISTICS(boolean b)
void	setUSE_REASONING_STATISTICS(boolean b)
void	setuseAnywhereBlocking(boolean b)
void	setUseAxiomSplitting(boolean useAxiomSplitting)
void	setUseELReasoner(boolean useELReasoner)
void	setUseUndefinedNames(boolean useUndefinedNames)
void	setverboseOutput(boolean b)

Methods inherited from class java.lang.Object

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

Constructor Detail

JFactReasonerConfiguration

public JFactReasonerConfiguration()

JFactReasonerConfiguration

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

Method Detail

getOption

public static Option getOption(String name,
               long l)

getOption

public static Option getOption(String name,
               String s)

get

public <O> O get(String name)

getORSortSat

public String getORSortSat()

setorSortSat

public void setorSortSat(String defSat)

getORSortSub

public String getORSortSub()

setorSortSub

public void setorSortSub(String defSat)

getuseAnywhereBlocking

public boolean getuseAnywhereBlocking()

getuseBackjumping

public boolean getuseBackjumping()

getuseLazyBlocking

public boolean getuseLazyBlocking()

getuseSemanticBranching

public boolean getuseSemanticBranching()

getverboseOutput

public boolean getverboseOutput()

getdumpQuery

public boolean getdumpQuery()

setdumpQuery

public void setdumpQuery(boolean value)

getuseCompletelyDefined

public boolean getuseCompletelyDefined()

getuseRelevantOnly

public boolean getuseRelevantOnly()

getalwaysPreferEquals

public boolean getalwaysPreferEquals()

getabsorptionFlags

public String getabsorptionFlags()

getIAOEFLG

public String getIAOEFLG()

setuseAnywhereBlocking

public void setuseAnywhereBlocking(boolean b)

getFreshEntityPolicy

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

Specified by:

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

getIndividualNodeSetPolicy

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

Specified by:

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

getProgressMonitor

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

Specified by:

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

getTimeOut

public long getTimeOut()

Specified by:

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

setverboseOutput

public void setverboseOutput(boolean b)

isLoggingActive

public boolean isLoggingActive()

setLoggingActive

public void setLoggingActive(boolean b)

isAbsorptionLoggingActive

public boolean isAbsorptionLoggingActive()

setAbsorptionLoggingActive

public void setAbsorptionLoggingActive(boolean b)

isRKG_IMPROVE_SAVE_RESTORE_DEPSET

public boolean isRKG_IMPROVE_SAVE_RESTORE_DEPSET()

setRKG_IMPROVE_SAVE_RESTORE_DEPSET

public void setRKG_IMPROVE_SAVE_RESTORE_DEPSET(boolean b)

isRKG_PRINT_DAG_USAGE

public boolean isRKG_PRINT_DAG_USAGE()

setRKG_PRINT_DAG_USAGE

public void setRKG_PRINT_DAG_USAGE(boolean b)

isRKG_USE_SIMPLE_RULES

public boolean isRKG_USE_SIMPLE_RULES()

setRKG_USE_SIMPLE_RULES

public void setRKG_USE_SIMPLE_RULES(boolean b)

isRKG_USE_SORTED_REASONING

public boolean isRKG_USE_SORTED_REASONING()

setRKG_USE_SORTED_REASONING

public void setRKG_USE_SORTED_REASONING(boolean b)

isUSE_REASONING_STATISTICS

public boolean isUSE_REASONING_STATISTICS()

setUSE_REASONING_STATISTICS

public void setUSE_REASONING_STATISTICS(boolean b)

isRKG_UPDATE_RND_FROM_SUPERROLES

public boolean isRKG_UPDATE_RND_FROM_SUPERROLES()

setRKG_UPDATE_RND_FROM_SUPERROLES

public void setRKG_UPDATE_RND_FROM_SUPERROLES(boolean b)

isUSE_BLOCKING_STATISTICS

public boolean isUSE_BLOCKING_STATISTICS()

setUSE_BLOCKING_STATISTICS

public void setUSE_BLOCKING_STATISTICS(boolean b)

isRKG_USE_DYNAMIC_BACKJUMPING

public boolean isRKG_USE_DYNAMIC_BACKJUMPING()

setRKG_USE_DYNAMIC_BACKJUMPING

public void setRKG_USE_DYNAMIC_BACKJUMPING(boolean b)

isTMP_PRINT_TAXONOMY_INFO

public boolean isTMP_PRINT_TAXONOMY_INFO()

setTMP_PRINT_TAXONOMY_INFO

public void setTMP_PRINT_TAXONOMY_INFO(boolean b)

isDEBUG_SAVE_RESTORE

public boolean isDEBUG_SAVE_RESTORE()

setDEBUG_SAVE_RESTORE

public void setDEBUG_SAVE_RESTORE(boolean b)

isRKG_USE_FAIRNESS

public boolean isRKG_USE_FAIRNESS()

setRKG_USE_FAIRNESS

public void setRKG_USE_FAIRNESS(boolean b)

isFPP_DEBUG_SPLIT_MODULES

public boolean isFPP_DEBUG_SPLIT_MODULES()

setFPP_DEBUG_SPLIT_MODULES

public void setFPP_DEBUG_SPLIT_MODULES(boolean b)

isSplits

public boolean isSplits()

setSplits

public void setSplits(boolean splits)

getLog

public LogAdapter getLog()

getAbsorptionLog

public LogAdapter getAbsorptionLog()

setRegularLogOutputStream

public void setRegularLogOutputStream(OutputStream o)

setAbsorptionLogOutputStream

public void setAbsorptionLogOutputStream(OutputStream o)

isUseELReasoner

public boolean isUseELReasoner()

setUseELReasoner

public void setUseELReasoner(boolean useELReasoner)

isUseUndefinedNames

public boolean isUseUndefinedNames()

setUseUndefinedNames

public void setUseUndefinedNames(boolean useUndefinedNames)

isUseAxiomSplitting

public boolean isUseAxiomSplitting()

setUseAxiomSplitting

public void setUseAxiomSplitting(boolean useAxiomSplitting)

isRKG_USE_AD_IN_MODULE_EXTRACTION

public boolean isRKG_USE_AD_IN_MODULE_EXTRACTION()

setRKG_USE_AD_IN_MODULE_EXTRACTION

public void setRKG_USE_AD_IN_MODULE_EXTRACTION(boolean value)