org.semanticweb.HermiT

Class Configuration

java.lang.Object

org.semanticweb.HermiT.Configuration

All Implemented Interfaces:

Serializable, Cloneable, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

public class Configuration
extends Object
implements Serializable, Cloneable, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration

Configuration for the reasoner.

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
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 Prepare reasoner inferences.
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 Warning monitor.

Field Summary

Fields

Modifier and Type	Field and Description
Configuration.BlockingSignatureCacheType	blockingSignatureCacheType blocking signature cache type
Configuration.BlockingStrategyType	blockingStrategyType blocking strategy type
boolean	bufferChanges If set to true, then 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.
Configuration.DirectBlockingType	directBlockingType direct blocking type
Configuration.ExistentialStrategyType	existentialStrategyType existential strategy type
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 fresh entity policy
boolean	ignoreUnsupportedDatatypes If HermiT encounters a non-OWL2 datatype, it normally throws an error.
org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy	individualNodeSetPolicy individual node set policy
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.
Map<String,Object>	parameters The parameters are passed to the Tableau class instance, but currently no parameters are used.
Configuration.PrepareReasonerInferences	prepareReasonerInferences prepare reasoner inferences
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor	reasonerProgressMonitor If a progress monitor is set, HermiT will report the progress of a classification task.
Configuration.TableauMonitorType	tableauMonitorType tableau monitor type
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

Constructors

Constructor and Description
Configuration() Create configuration.

Method Summary

Modifier and Type	Method and Description
Configuration	clone()
org.semanticweb.owlapi.reasoner.FreshEntityPolicy	getFreshEntityPolicy()
org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy	getIndividualNodeSetPolicy()
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor	getProgressMonitor()
long	getTimeOut()

Methods inherited from class java.lang.Object

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

Field Detail

warningMonitor

public final Configuration.WarningMonitor warningMonitor

One can implement an instance of this class and pass it to HermiT. HermiT will then print warning with the warning() method of the interface, e.g., if it ignores an unsupported datatype. HermiT does not provide an implementation for the interface itself though.

reasonerProgressMonitor

public org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor reasonerProgressMonitor

If a progress monitor is set, HermiT will report the progress of a classification task. This is used for example by Protege.

tableauMonitorType

public final Configuration.TableauMonitorType tableauMonitorType

tableau monitor type

directBlockingType

public Configuration.DirectBlockingType directBlockingType

direct blocking type

blockingStrategyType

public Configuration.BlockingStrategyType blockingStrategyType

blocking strategy type

blockingSignatureCacheType

public Configuration.BlockingSignatureCacheType blockingSignatureCacheType

blocking signature cache type

existentialStrategyType

public Configuration.ExistentialStrategyType existentialStrategyType

existential strategy type

ignoreUnsupportedDatatypes

public boolean ignoreUnsupportedDatatypes

If HermiT encounters a non-OWL2 datatype, it normally throws an error. If set to true, axioms containing unsupported datatypes will be ignored.

monitor

public TableauMonitor monitor

Can be used to set a custom Tableau monitor.

parameters

public Map<String,Object> parameters

The parameters are passed to the Tableau class instance, but currently no parameters are used.

individualTaskTimeout

public 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.

individualNodeSetPolicy

public org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy individualNodeSetPolicy

individual node set policy

freshEntityPolicy

public org.semanticweb.owlapi.reasoner.FreshEntityPolicy freshEntityPolicy

fresh entity policy

useDisjunctionLearning

public 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. Whenever HermiT has to pick a disjunction, it picks the disjunction with the least punish factor that has not yet been tried for that node and disjunction.

bufferChanges

public boolean bufferChanges

If set to true, then 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.

throwInconsistentOntologyException

public boolean throwInconsistentOntologyException

The default value is true and HermiT will throw an exception if it finds the ontology to be inconsistent. If set to false, HermiT will not throw an exception for inconsistent ontologies. The only exception is when asked for data property values for an individual and a data property because any of the infinitely many data values would be an answer. Restricting answers to just the data values in the signature does not make much sense. If the parameter is set to false and the ontology is inconsistent, all classes occurring in the ontology are, for example, returned as subclasses of owl:nothing. Some answers might be unexpected or unintuitive, e.g., a property will be both reflexive and irreflexive etc. Use with care, e.g., only when trying to get explanations of inconsistencies, where throwing an error might not be helpful.

prepareReasonerInferences

public final Configuration.PrepareReasonerInferences prepareReasonerInferences

prepare reasoner inferences

forceQuasiOrderClassification

public final 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. If the value is set to true, then HermiT will use the Quasi Ordering Classification method even for deterministic ontologies.

Constructor Detail

Configuration

public Configuration()

Create configuration.

Method Detail

clone

public Configuration clone()

Overrides:

clone in class Object

getTimeOut

public long getTimeOut()

Specified by:

getTimeOut 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

getFreshEntityPolicy

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

Specified by:

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