|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.HermiT.Configuration
public class Configuration
Nested Class Summary | |
---|---|
static class |
Configuration.BlockingSignatureCacheType
Switches caching on or off (caching can only be used with non-core blocking and if the ontology does not contain nominals). |
static class |
Configuration.BlockingStrategyType
The blocking strategy determines how which nodes HermiT considers for blockers. |
static class |
Configuration.DirectBlockingType
Sets the blocking type used by HermiT. |
static class |
Configuration.ExistentialStrategyType
Sets a strategy type that determines how HermiT expands the model. |
static class |
Configuration.PrepareReasonerInferences
|
static class |
Configuration.TableauMonitorType
Tableau monitors can be used to be informed about what HermiT does and they can be useful for debugging the reasoner. |
static interface |
Configuration.WarningMonitor
|
Field Summary | |
---|---|
Configuration.BlockingSignatureCacheType |
blockingSignatureCacheType
|
Configuration.BlockingStrategyType |
blockingStrategyType
|
boolean |
bufferChanges
If set to true axioms that are to be added or removed are buffered and the addition and removal is only performed when the flush() method of the reasoner is called. |
boolean |
checkClauses
HermiT checks whether all clauses are safe. |
Configuration.DirectBlockingType |
directBlockingType
|
Configuration.ExistentialStrategyType |
existentialStrategyType
|
boolean |
forceQuasiOrderClassification
The default value is false and HermiT will use a specialiased classification strategy for deterministic ontologies, which often is faster, but not always. |
org.semanticweb.owlapi.reasoner.FreshEntityPolicy |
freshEntityPolicy
|
boolean |
ignoreUnsupportedDatatypes
If HermiT encounters a non-OWL2 datatype, it normally throws an error. |
org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy |
individualNodeSetPolicy
|
long |
individualTaskTimeout
If set to some value, reasoning in HermiT is interrupted as soon as any individual reasoning task takes any longer than individualTaskTimeout ms. |
TableauMonitor |
monitor
Can be used to set a custom Tableau monitor. |
java.util.Map<java.lang.String,java.lang.Object> |
parameters
The parameters are passed to the Tableau class instance, but currently no parameters are used. |
Configuration.PrepareReasonerInferences |
prepareReasonerInferences
|
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor |
reasonerProgressMonitor
If a progress monitor is set, HermiT will report the progress of a classification task. |
Configuration.TableauMonitorType |
tableauMonitorType
|
boolean |
throwInconsistentOntologyException
The default value is true and HermiT will throw an exception if it finds the ontology to be inconsistent. |
boolean |
useDisjunctionLearning
If set to true, then each disjunct of a disjunction is associated with a punish factor and whenever a disjunct causes a clash, the punish factor is increased. |
Configuration.WarningMonitor |
warningMonitor
One can implement an instance of this class and pass it to HermiT. |
Constructor Summary | |
---|---|
Configuration()
|
Method Summary | |
---|---|
Configuration |
clone()
|
org.semanticweb.owlapi.reasoner.FreshEntityPolicy |
getFreshEntityPolicy()
|
org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy |
getIndividualNodeSetPolicy()
|
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor |
getProgressMonitor()
|
long |
getTimeOut()
|
protected java.util.Set<AtomicConcept> |
loadConceptsFromFile(java.io.File file)
|
void |
loadIndividualReuseStrategyReuseAlways(java.io.File file)
|
void |
loadIndividualReuseStrategyReuseNever(java.io.File file)
|
protected void |
setIndividualReuseStrategyReuseAlways(java.util.Set<? extends AtomicConcept> concepts)
|
protected void |
setIndividualReuseStrategyReuseNever(java.util.Set<? extends AtomicConcept> concepts)
|
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public Configuration.WarningMonitor warningMonitor
public org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor reasonerProgressMonitor
public Configuration.TableauMonitorType tableauMonitorType
public Configuration.DirectBlockingType directBlockingType
public Configuration.BlockingStrategyType blockingStrategyType
public Configuration.BlockingSignatureCacheType blockingSignatureCacheType
public Configuration.ExistentialStrategyType existentialStrategyType
public boolean checkClauses
public boolean ignoreUnsupportedDatatypes
public TableauMonitor monitor
public java.util.Map<java.lang.String,java.lang.Object> parameters
public long individualTaskTimeout
public org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy individualNodeSetPolicy
public org.semanticweb.owlapi.reasoner.FreshEntityPolicy freshEntityPolicy
public boolean useDisjunctionLearning
public boolean bufferChanges
public boolean throwInconsistentOntologyException
public Configuration.PrepareReasonerInferences prepareReasonerInferences
public boolean forceQuasiOrderClassification
Constructor Detail |
---|
public Configuration()
Method Detail |
---|
protected void setIndividualReuseStrategyReuseAlways(java.util.Set<? extends AtomicConcept> concepts)
public void loadIndividualReuseStrategyReuseAlways(java.io.File file) throws java.io.IOException
java.io.IOException
protected void setIndividualReuseStrategyReuseNever(java.util.Set<? extends AtomicConcept> concepts)
public void loadIndividualReuseStrategyReuseNever(java.io.File file) throws java.io.IOException
java.io.IOException
protected java.util.Set<AtomicConcept> loadConceptsFromFile(java.io.File file) throws java.io.IOException
java.io.IOException
public Configuration clone()
clone
in class java.lang.Object
public long getTimeOut()
getTimeOut
in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration
public org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy getIndividualNodeSetPolicy()
getIndividualNodeSetPolicy
in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration
public org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor getProgressMonitor()
getProgressMonitor
in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration
public org.semanticweb.owlapi.reasoner.FreshEntityPolicy getFreshEntityPolicy()
getFreshEntityPolicy
in interface org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |