Serialized Form


Package org.semanticweb.HermiT

Class org.semanticweb.HermiT.Configuration extends java.lang.Object implements Serializable

serialVersionUID: 7741510316249774519L

Serialized Fields

warningMonitor

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

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

Configuration.TableauMonitorType tableauMonitorType

directBlockingType

Configuration.DirectBlockingType directBlockingType

blockingStrategyType

Configuration.BlockingStrategyType blockingStrategyType

blockingSignatureCacheType

Configuration.BlockingSignatureCacheType blockingSignatureCacheType

existentialStrategyType

Configuration.ExistentialStrategyType existentialStrategyType

checkClauses

boolean checkClauses
HermiT checks whether all clauses are safe. Non-safe clauses might cause problems in HermiT (non-termination), but sometimes one might want to play with non-safe rules or such like.


ignoreUnsupportedDatatypes

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

TableauMonitor monitor
Can be used to set a custom Tableau monitor.


parameters

java.util.Map<K,V> parameters
The parameters are passed to the Tableau class instance, but currently no parameters are used.


individualTaskTimeout

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

org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy individualNodeSetPolicy

freshEntityPolicy

org.semanticweb.owlapi.reasoner.FreshEntityPolicy freshEntityPolicy

useDisjunctionLearning

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

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.


throwInconsistentOntologyException

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

Configuration.PrepareReasonerInferences prepareReasonerInferences

forceQuasiOrderClassification

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.

Class org.semanticweb.HermiT.Prefixes extends java.lang.Object implements Serializable

serialVersionUID: -158185482289831766L

Serialized Fields

m_prefixIRIsByPrefixName

java.util.Map<K,V> m_prefixIRIsByPrefixName

m_prefixNamesByPrefixIRI

java.util.Map<K,V> m_prefixNamesByPrefixIRI

m_prefixIRIMatchingPattern

java.util.regex.Pattern m_prefixIRIMatchingPattern

Class org.semanticweb.HermiT.Prefixes.ImmutablePrefixes extends Prefixes implements Serializable

serialVersionUID: 8517988865445255837L


Package org.semanticweb.HermiT.blocking

Class org.semanticweb.HermiT.blocking.AncestorBlocking extends java.lang.Object implements Serializable

serialVersionUID: 1075850000309773283L

Serialized Fields

m_directBlockingChecker

DirectBlockingChecker m_directBlockingChecker

m_blockingSignatureCache

BlockingSignatureCache m_blockingSignatureCache

m_tableau

Tableau m_tableau

m_useBlockingSignatureCache

boolean m_useBlockingSignatureCache

Class org.semanticweb.HermiT.blocking.AnywhereBlocking extends java.lang.Object implements Serializable

serialVersionUID: -2959900333817197464L

Serialized Fields

m_directBlockingChecker

DirectBlockingChecker m_directBlockingChecker

m_currentBlockersCache

org.semanticweb.HermiT.blocking.BlockersCache m_currentBlockersCache

m_blockingSignatureCache

BlockingSignatureCache m_blockingSignatureCache

m_tableau

Tableau m_tableau

m_useBlockingSignatureCache

boolean m_useBlockingSignatureCache

m_firstChangedNode

Node m_firstChangedNode

Class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking.ComputeCoreVariables extends java.lang.Object implements Serializable

serialVersionUID: 899293772370136783L

Serialized Fields

m_dlClause

DLClause m_dlClause

m_variables

java.util.List<E> m_variables

m_valuesBuffer

java.lang.Object[] m_valuesBuffer

m_coreVariables

boolean[] m_coreVariables

Class org.semanticweb.HermiT.blocking.BlockersCache.CacheEntry extends java.lang.Object implements Serializable

serialVersionUID: -7047487963170250200L

Serialized Fields

m_node

Node m_node

m_hashCode

int m_hashCode

m_nextEntry

BlockersCache.CacheEntry m_nextEntry

Class org.semanticweb.HermiT.blocking.BlockingSignatureCache extends java.lang.Object implements Serializable

serialVersionUID: -7692825443489644667L

Serialized Fields

m_directBlockingChecker

DirectBlockingChecker m_directBlockingChecker

m_buckets

BlockingSignature[] m_buckets

m_numberOfElements

int m_numberOfElements

m_threshold

int m_threshold

Class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker extends java.lang.Object implements Serializable

serialVersionUID: -8296420442452625109L

Serialized Fields

m_atomicConceptsSetFactory

SetFactory<E> m_atomicConceptsSetFactory

m_atomicRolesSetFactory

SetFactory<E> m_atomicRolesSetFactory

m_atomicConceptsBuffer

java.util.List<E> m_atomicConceptsBuffer

m_atomicRolesBuffer

java.util.List<E> m_atomicRolesBuffer

m_tableau

Tableau m_tableau

m_binaryTableSearch1Bound

ExtensionTable.Retrieval m_binaryTableSearch1Bound

m_ternaryTableSearch12Bound

ExtensionTable.Retrieval m_ternaryTableSearch12Bound

Class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker.PairWiseBlockingObject extends java.lang.Object implements Serializable

serialVersionUID: -5439737072100509531L

Serialized Fields

m_node

Node m_node

m_hasChanged

boolean m_hasChanged

m_atomicConceptsLabel

java.util.Set<E> m_atomicConceptsLabel

m_atomicConceptsLabelHashCode

int m_atomicConceptsLabelHashCode

m_fromParentLabel

java.util.Set<E> m_fromParentLabel

m_fromParentLabelHashCode

int m_fromParentLabelHashCode

m_toParentLabel

java.util.Set<E> m_toParentLabel

m_toParentLabelHashCode

int m_toParentLabelHashCode

Class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker.PairWiseBlockingSignature extends BlockingSignature implements Serializable

serialVersionUID: 4697990424058632618L

Serialized Fields

m_atomicConceptLabel

java.util.Set<E> m_atomicConceptLabel

m_parentAtomicConceptLabel

java.util.Set<E> m_parentAtomicConceptLabel

m_fromParentLabel

java.util.Set<E> m_fromParentLabel

m_toParentLabel

java.util.Set<E> m_toParentLabel

m_hashCode

int m_hashCode

Class org.semanticweb.HermiT.blocking.SetFactory extends java.lang.Object implements Serializable

serialVersionUID: 7071071962187693657L

Serialized Fields

m_unusedEntries

SetFactory.Entry<T>[] m_unusedEntries

m_entries

SetFactory.Entry<T>[] m_entries

m_size

int m_size

m_resizeThreshold

int m_resizeThreshold

Class org.semanticweb.HermiT.blocking.SetFactory.Entry extends java.lang.Object implements Serializable

serialVersionUID: -3850593656120645350L

Serialized Fields

m_table

java.lang.Object[] m_table

m_hashCode

int m_hashCode

m_previousEntry

SetFactory.Entry<T> m_previousEntry

m_nextEntry

SetFactory.Entry<T> m_nextEntry

m_referenceCount

int m_referenceCount

m_permanent

boolean m_permanent

Class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker extends java.lang.Object implements Serializable

serialVersionUID: 9093753046859877016L

Serialized Fields

m_atomicConceptsSetFactory

SetFactory<E> m_atomicConceptsSetFactory

m_atomicConceptsBuffer

java.util.List<E> m_atomicConceptsBuffer

m_tableau

Tableau m_tableau

m_binaryTableSearch1Bound

ExtensionTable.Retrieval m_binaryTableSearch1Bound

Class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker.SingleBlockingObject extends java.lang.Object implements Serializable

serialVersionUID: -5439737072100509531L

Serialized Fields

m_node

Node m_node

m_hasChanged

boolean m_hasChanged

m_atomicConceptsLabel

java.util.Set<E> m_atomicConceptsLabel

m_atomicConceptsLabelHashCode

int m_atomicConceptsLabelHashCode

Class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker.SingleBlockingSignature extends BlockingSignature implements Serializable

serialVersionUID: -7349489846772132258L

Serialized Fields

m_atomicConceptsLabel

java.util.Set<E> m_atomicConceptsLabel

Class org.semanticweb.HermiT.blocking.ValidatedBlockersCache.CacheEntry extends java.lang.Object implements Serializable

serialVersionUID: -7047487963170250200L

Serialized Fields

m_nodes

java.util.List<E> m_nodes

m_hashCode

int m_hashCode

m_nextEntry

ValidatedBlockersCache.CacheEntry m_nextEntry

Class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker extends java.lang.Object implements Serializable

serialVersionUID: 9093753046859877016L

Serialized Fields

m_atomicConceptsSetFactory

SetFactory<E> m_atomicConceptsSetFactory

m_atomicRolesSetFactory

SetFactory<E> m_atomicRolesSetFactory

m_atomicConceptsBuffer

java.util.List<E> m_atomicConceptsBuffer

m_atomicRolesBuffer

java.util.List<E> m_atomicRolesBuffer

m_hasInverses

boolean m_hasInverses

m_tableau

Tableau m_tableau

m_binaryTableSearch1Bound

ExtensionTable.Retrieval m_binaryTableSearch1Bound

m_ternaryTableSearch12Bound

ExtensionTable.Retrieval m_ternaryTableSearch12Bound

Class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker extends java.lang.Object implements Serializable

serialVersionUID: 9093753046859877016L

Serialized Fields

m_atomicConceptsSetFactory

SetFactory<E> m_atomicConceptsSetFactory

m_atomicRolesSetFactory

SetFactory<E> m_atomicRolesSetFactory

m_atomicConceptsBuffer

java.util.List<E> m_atomicConceptsBuffer

m_atomicRolesBuffer

java.util.List<E> m_atomicRolesBuffer

m_hasInverses

boolean m_hasInverses

m_tableau

Tableau m_tableau

m_binaryTableSearch1Bound

ExtensionTable.Retrieval m_binaryTableSearch1Bound

m_ternaryTableSearch12Bound

ExtensionTable.Retrieval m_ternaryTableSearch12Bound

Package org.semanticweb.HermiT.cli

Class org.semanticweb.HermiT.cli.CommandLine.UsageException extends java.lang.IllegalArgumentException implements Serializable


Package org.semanticweb.HermiT.datatypes

Class org.semanticweb.HermiT.datatypes.MalformedLiteralException extends java.lang.RuntimeException implements Serializable

Class org.semanticweb.HermiT.datatypes.UnsupportedDatatypeException extends java.lang.RuntimeException implements Serializable

Class org.semanticweb.HermiT.datatypes.UnsupportedFacetException extends java.lang.RuntimeException implements Serializable


Package org.semanticweb.HermiT.datatypes.owlreal

Class org.semanticweb.HermiT.datatypes.owlreal.BigRational extends java.lang.Number implements Serializable

serialVersionUID: 3883936594384307950L

Serialized Fields

m_numerator

java.math.BigInteger m_numerator

m_denominator

java.math.BigInteger m_denominator

Class org.semanticweb.HermiT.datatypes.owlreal.MinusInfinity extends java.lang.Number implements Serializable

serialVersionUID: -205551124673073593L

Serialization Methods

readResolve

protected java.lang.Object readResolve()

Class org.semanticweb.HermiT.datatypes.owlreal.PlusInfinity extends java.lang.Number implements Serializable

serialVersionUID: -205551124673073593L

Serialization Methods

readResolve

protected java.lang.Object readResolve()

Package org.semanticweb.HermiT.debugger

Class org.semanticweb.HermiT.debugger.ConsoleTextArea extends javax.swing.JTextArea implements Serializable

Serialized Fields

m_writer

ConsoleTextArea.ConsoleWriter m_writer

m_reader

ConsoleTextArea.ConsoleReader m_reader

m_userTypedTextStart

int m_userTypedTextStart

Class org.semanticweb.HermiT.debugger.ConsoleTextArea.ConsoleDocument extends javax.swing.text.PlainDocument implements Serializable

Class org.semanticweb.HermiT.debugger.Debugger extends TableauMonitorForwarder implements Serializable

serialVersionUID: -1061073966460686069L

Serialized Fields

m_commandsByName

java.util.Map<K,V> m_commandsByName

m_prefixes

Prefixes m_prefixes

m_derivationHistory

DerivationHistory m_derivationHistory

m_consoleTextArea

ConsoleTextArea m_consoleTextArea

m_mainFrame

javax.swing.JFrame m_mainFrame

m_output

java.io.PrintWriter m_output

m_input

java.io.BufferedReader m_input

m_waitOptions

java.util.Set<E> m_waitOptions

m_nodeCreationInfos

java.util.Map<K,V> m_nodeCreationInfos

m_lastExistentialNode

Node m_lastExistentialNode

m_lastExistentialConcept

ExistentialConcept m_lastExistentialConcept

m_tableau

Tableau m_tableau

m_lastCommand

java.lang.String m_lastCommand

m_forever

boolean m_forever

m_lastStatusMark

long m_lastStatusMark

m_singlestep

boolean m_singlestep

m_inMainLoop

boolean m_inMainLoop

m_breakpointTime

int m_breakpointTime

m_currentIteration

int m_currentIteration

Class org.semanticweb.HermiT.debugger.DerivationHistory extends TableauMonitorAdapter implements Serializable

serialVersionUID: -3963478091986772947L

Serialized Fields

m_derivedAtoms

java.util.Map<K,V> m_derivedAtoms

m_derivedDisjunctions

java.util.Map<K,V> m_derivedDisjunctions

m_derivations

java.util.Stack<E> m_derivations

m_mergeAtoms

java.util.Stack<E> m_mergeAtoms

Class org.semanticweb.HermiT.debugger.DerivationHistory.Atom extends java.lang.Object implements Serializable

serialVersionUID: -6136317748590721560L

Serialized Fields

m_tuple

java.lang.Object[] m_tuple

m_derivedBy

DerivationHistory.Derivation m_derivedBy

Class org.semanticweb.HermiT.debugger.DerivationHistory.AtomKey extends java.lang.Object implements Serializable

serialVersionUID: 1409033744982881556L

Serialized Fields

m_tuple

java.lang.Object[] m_tuple

m_hashCode

int m_hashCode

Class org.semanticweb.HermiT.debugger.DerivationHistory.BaseFact extends DerivationHistory.Derivation implements Serializable

serialVersionUID: -5998349862414502218L

Class org.semanticweb.HermiT.debugger.DerivationHistory.ClashDetection extends DerivationHistory.Derivation implements Serializable

serialVersionUID: -1046733682276190587L

Serialized Fields

m_causes

DerivationHistory.Atom[] m_causes

Class org.semanticweb.HermiT.debugger.DerivationHistory.DatatypeChecking extends DerivationHistory.Derivation implements Serializable

serialVersionUID: -7833124370362424190L

Serialized Fields

m_causes

DerivationHistory.Atom[] m_causes

Class org.semanticweb.HermiT.debugger.DerivationHistory.Derivation extends java.lang.Object implements Serializable

Class org.semanticweb.HermiT.debugger.DerivationHistory.DisjunctApplication extends DerivationHistory.Derivation implements Serializable

serialVersionUID: 6657356873675430986L

Serialized Fields

m_disjunction

DerivationHistory.Disjunction m_disjunction

m_disjunctIndex

int m_disjunctIndex

Class org.semanticweb.HermiT.debugger.DerivationHistory.Disjunction extends java.lang.Object implements Serializable

serialVersionUID: -6645342875287836609L

Serialized Fields

m_atoms

java.lang.Object[][] m_atoms

m_derivedBy

DerivationHistory.Derivation m_derivedBy

Class org.semanticweb.HermiT.debugger.DerivationHistory.DLClauseApplication extends DerivationHistory.Derivation implements Serializable

serialVersionUID: 5841561027229354512L

Serialized Fields

m_dlClause

DLClause m_dlClause

m_premises

DerivationHistory.Atom[] m_premises

Class org.semanticweb.HermiT.debugger.DerivationHistory.ExistentialExpansion extends DerivationHistory.Derivation implements Serializable

serialVersionUID: -1266097745277870260L

Serialized Fields

m_existentialAtom

DerivationHistory.Atom m_existentialAtom

Class org.semanticweb.HermiT.debugger.DerivationHistory.GraphChecking extends DerivationHistory.Derivation implements Serializable

serialVersionUID: -3671522413313454739L

Serialized Fields

m_graph1

DerivationHistory.Atom m_graph1

m_position1

int m_position1

m_graph2

DerivationHistory.Atom m_graph2

m_position2

int m_position2

Class org.semanticweb.HermiT.debugger.DerivationHistory.Merging extends DerivationHistory.Derivation implements Serializable

serialVersionUID: 6815119442652251306L

Serialized Fields

m_equality

DerivationHistory.Atom m_equality

m_fromAtom

DerivationHistory.Atom m_fromAtom

Class org.semanticweb.HermiT.debugger.DerivationHistory.UnknownDatatypeRestrictionDetection extends DerivationHistory.Derivation implements Serializable

serialVersionUID: -7824360133765453948L

Serialized Fields

m_causes

DerivationHistory.Atom[] m_causes

Class org.semanticweb.HermiT.debugger.DerivationViewer extends javax.swing.JFrame implements Serializable

Serialized Fields

m_prefixes

Prefixes m_prefixes

m_derivationTreeTreeModel

DerivationViewer.DerivationTreeTreeModel m_derivationTreeTreeModel

m_derivationTree

javax.swing.JTree m_derivationTree

Class org.semanticweb.HermiT.debugger.DerivationViewer.DerivationTreeCellRenderer extends javax.swing.tree.DefaultTreeCellRenderer implements Serializable

Class org.semanticweb.HermiT.debugger.DerivationViewer.DerivationTreeTreeModel extends java.lang.Object implements Serializable

serialVersionUID: 9210217812084186766L

Serialized Fields

m_eventListeners

javax.swing.event.EventListenerList m_eventListeners

m_root

DerivationHistory.Fact m_root

Class org.semanticweb.HermiT.debugger.DerivationViewer.TextIcon extends java.lang.Object implements Serializable

serialVersionUID: 2955881594360729470L

Serialized Fields

m_background

java.awt.Color m_background

m_foreground

java.awt.Color m_foreground

m_text

java.lang.String m_text

m_font

java.awt.Font m_font

Package org.semanticweb.HermiT.debugger.commands

Class org.semanticweb.HermiT.debugger.commands.SubtreeViewer extends javax.swing.JFrame implements Serializable

Serialized Fields

m_debugger

Debugger m_debugger

m_subtreeTreeModel

SubtreeViewer.SubtreeTreeModel m_subtreeTreeModel

m_nodeInfoTextArea

javax.swing.JTextArea m_nodeInfoTextArea

m_tableauTree

javax.swing.JTree m_tableauTree

m_nodeIDField

javax.swing.JTextField m_nodeIDField

Class org.semanticweb.HermiT.debugger.commands.SubtreeViewer.MyTreePath extends javax.swing.tree.TreePath implements Serializable

Class org.semanticweb.HermiT.debugger.commands.SubtreeViewer.NodeCellRenderer extends javax.swing.tree.DefaultTreeCellRenderer implements Serializable

Serialized Fields

m_debugger

Debugger m_debugger

Package org.semanticweb.HermiT.existentials

Class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy extends java.lang.Object implements Serializable

serialVersionUID: 2831957929321676444L

Serialized Fields

m_blockingStrategy

BlockingStrategy m_blockingStrategy

m_expandNodeAtATime

boolean m_expandNodeAtATime

m_processedExistentials

java.util.List<E> m_processedExistentials

m_auxiliaryNodes1

java.util.List<E> m_auxiliaryNodes1

m_auxiliaryNodes2

java.util.List<E> m_auxiliaryNodes2

m_tableau

Tableau m_tableau

m_interruptFlag

InterruptFlag m_interruptFlag

m_extensionManager

ExtensionManager m_extensionManager

m_ternaryExtensionTableSearch01Bound

ExtensionTable.Retrieval m_ternaryExtensionTableSearch01Bound

m_ternaryExtensionTableSearch02Bound

ExtensionTable.Retrieval m_ternaryExtensionTableSearch02Bound

m_existentialExpansionManager

ExistentialExpansionManager m_existentialExpansionManager

m_descriptionGraphManager

DescriptionGraphManager m_descriptionGraphManager

Class org.semanticweb.HermiT.existentials.CreationOrderStrategy extends AbstractExpansionStrategy implements Serializable

serialVersionUID: -64673639237063636L

Class org.semanticweb.HermiT.existentials.IndividualReuseStrategy extends AbstractExpansionStrategy implements Serializable

serialVersionUID: -7373787507623860081L

Serialized Fields

m_isDeterministic

boolean m_isDeterministic

m_reusedNodes

java.util.Map<K,V> m_reusedNodes

m_doReuseConceptsAlways

java.util.Set<E> m_doReuseConceptsAlways

m_dontReuseConceptsThisRun

java.util.Set<E> m_dontReuseConceptsThisRun

m_dontReuseConceptsEver

java.util.Set<E> m_dontReuseConceptsEver

m_reuseBacktrackingTable

TupleTable m_reuseBacktrackingTable

m_auxiliaryBuffer

java.lang.Object[] m_auxiliaryBuffer

m_indicesByBranchingPoint

int[] m_indicesByBranchingPoint

Class org.semanticweb.HermiT.existentials.IndividualReuseStrategy.IndividualReuseBranchingPoint extends BranchingPoint implements Serializable

serialVersionUID: -5715836252258022216L

Serialized Fields

m_existential

AtLeastConcept m_existential

m_node

Node m_node

m_wasParentReuse

boolean m_wasParentReuse

Class org.semanticweb.HermiT.existentials.IndividualReuseStrategy.NodeBranchingPointPair extends java.lang.Object implements Serializable

serialVersionUID: 427963701900451471L

Serialized Fields

m_node

Node m_node

m_branchingPoint

int m_branchingPoint

Package org.semanticweb.HermiT.graph

Class org.semanticweb.HermiT.graph.Graph extends java.lang.Object implements Serializable

serialVersionUID: 5372948202031042380L

Serialized Fields

m_elements

java.util.Set<E> m_elements

m_successorsByNodes

java.util.Map<K,V> m_successorsByNodes

Package org.semanticweb.HermiT.model

Class org.semanticweb.HermiT.model.AnnotatedEquality extends java.lang.Object implements Serializable

serialVersionUID: 7197886700065386931L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_cardinality

int m_cardinality

m_onRole

Role m_onRole

m_toConcept

LiteralConcept m_toConcept

Class org.semanticweb.HermiT.model.AtLeast extends ExistentialConcept implements Serializable

serialVersionUID: -5450065396132818872L

Serialized Fields

m_number

int m_number

m_onRole

Role m_onRole

Class org.semanticweb.HermiT.model.AtLeastConcept extends AtLeast implements Serializable

serialVersionUID: 4326267535193393030L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_toConcept

LiteralConcept m_toConcept

Class org.semanticweb.HermiT.model.AtLeastDataRange extends AtLeast implements Serializable

serialVersionUID: 4326267535193393030L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_toDataRange

LiteralDataRange m_toDataRange

Class org.semanticweb.HermiT.model.Atom extends java.lang.Object implements Serializable

serialVersionUID: 7884900540178779422L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_dlPredicate

DLPredicate m_dlPredicate

m_arguments

Term[] m_arguments

Class org.semanticweb.HermiT.model.AtomicConcept extends LiteralConcept implements Serializable

serialVersionUID: -1078274072706143620L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_iri

java.lang.String m_iri

Class org.semanticweb.HermiT.model.AtomicDataRange extends LiteralDataRange implements Serializable

serialVersionUID: 8843660377807760406L

Class org.semanticweb.HermiT.model.AtomicNegationConcept extends LiteralConcept implements Serializable

serialVersionUID: -4635386233266966577L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_negatedAtomicConcept

AtomicConcept m_negatedAtomicConcept

Class org.semanticweb.HermiT.model.AtomicNegationDataRange extends LiteralDataRange implements Serializable

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_negatedDataRange

AtomicDataRange m_negatedDataRange

Class org.semanticweb.HermiT.model.AtomicRole extends Role implements Serializable

serialVersionUID: 3766087788313643809L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_iri

java.lang.String m_iri

Class org.semanticweb.HermiT.model.Concept extends java.lang.Object implements Serializable

serialVersionUID: -8685976675539160944L

Class org.semanticweb.HermiT.model.Constant extends Term implements Serializable

serialVersionUID: -8143911431654640690L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_lexicalForm

java.lang.String m_lexicalForm

m_datatypeURI

java.lang.String m_datatypeURI

m_dataValue

java.lang.Object m_dataValue

Class org.semanticweb.HermiT.model.ConstantEnumeration extends AtomicDataRange implements Serializable

serialVersionUID: 4663162424764302912L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_constants

Constant[] m_constants

Class org.semanticweb.HermiT.model.DataRange extends java.lang.Object implements Serializable

serialVersionUID: 352467050584766830L

Class org.semanticweb.HermiT.model.DatatypeRestriction extends AtomicDataRange implements Serializable

serialVersionUID: 524235536504588458L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_datatypeURI

java.lang.String m_datatypeURI

m_facetURIs

java.lang.String[] m_facetURIs

m_facetValues

Constant[] m_facetValues

Class org.semanticweb.HermiT.model.DescriptionGraph extends java.lang.Object implements Serializable

serialVersionUID: -6098910060520673164L

Serialized Fields

m_name

java.lang.String m_name

m_atomicConceptsByVertices

AtomicConcept[] m_atomicConceptsByVertices

m_edges

DescriptionGraph.Edge[] m_edges

m_startConcepts

java.util.Set<E> m_startConcepts

Class org.semanticweb.HermiT.model.DescriptionGraph.Edge extends java.lang.Object implements Serializable

serialVersionUID: -2407275128459101707L

Serialized Fields

m_atomicRole

AtomicRole m_atomicRole

m_fromVertex

int m_fromVertex

m_toVertex

int m_toVertex

Class org.semanticweb.HermiT.model.DLClause extends java.lang.Object implements Serializable

serialVersionUID: -4513910129515151732L

Serialized Fields

m_isKnownToBeAdmissible

boolean m_isKnownToBeAdmissible

m_headAtoms

Atom[] m_headAtoms

m_bodyAtoms

Atom[] m_bodyAtoms

m_clauseType

DLClause.ClauseType m_clauseType

Class org.semanticweb.HermiT.model.DLOntology extends java.lang.Object implements Serializable

serialVersionUID: 3189937959595369812L

Serialized Fields

m_ontologyIRI

java.lang.String m_ontologyIRI

m_dlClauses

java.util.Set<E> m_dlClauses

m_positiveFacts

java.util.Set<E> m_positiveFacts

m_negativeFacts

java.util.Set<E> m_negativeFacts

m_hasInverseRoles

boolean m_hasInverseRoles

m_hasAtMostRestrictions

boolean m_hasAtMostRestrictions

m_hasNominals

boolean m_hasNominals

m_hasDatatypes

boolean m_hasDatatypes

m_isHorn

boolean m_isHorn

m_allAtomicConcepts

java.util.Set<E> m_allAtomicConcepts

m_numberOfExternalConcepts

int m_numberOfExternalConcepts

m_allAtomicObjectRoles

java.util.Set<E> m_allAtomicObjectRoles

m_allComplexObjectRoles

java.util.Set<E> m_allComplexObjectRoles

m_allAtomicDataRoles

java.util.Set<E> m_allAtomicDataRoles

m_allUnknownDatatypeRestrictions

java.util.Set<E> m_allUnknownDatatypeRestrictions

m_definedDatatypeIRIs

java.util.Set<E> m_definedDatatypeIRIs

m_allIndividuals

java.util.Set<E> m_allIndividuals

m_allDescriptionGraphs

java.util.Set<E> m_allDescriptionGraphs

m_dataPropertyAssertions

java.util.Map<K,V> m_dataPropertyAssertions

Class org.semanticweb.HermiT.model.DLOntology.AtomicConceptComparator extends java.lang.Object implements Serializable

serialVersionUID: 2386841732225838685L

Serialization Methods

readResolve

protected java.lang.Object readResolve()

Class org.semanticweb.HermiT.model.DLOntology.AtomicRoleComparator extends java.lang.Object implements Serializable

serialVersionUID: 3483541702854959793L

Serialization Methods

readResolve

protected java.lang.Object readResolve()

Class org.semanticweb.HermiT.model.DLOntology.IndividualComparator extends java.lang.Object implements Serializable

serialVersionUID: 2386841732225838685L

Serialization Methods

readResolve

protected java.lang.Object readResolve()

Class org.semanticweb.HermiT.model.Equality extends java.lang.Object implements Serializable

serialVersionUID: 8308051741088513244L

Serialization Methods

readResolve

protected java.lang.Object readResolve()

Class org.semanticweb.HermiT.model.ExistentialConcept extends Concept implements Serializable

serialVersionUID: -1578295401143709109L

Class org.semanticweb.HermiT.model.ExistsDescriptionGraph extends ExistentialConcept implements Serializable

serialVersionUID: 7433430510725260994L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_descriptionGraph

DescriptionGraph m_descriptionGraph

m_vertex

int m_vertex

Class org.semanticweb.HermiT.model.Individual extends Term implements Serializable

serialVersionUID: 2791684055390160959L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_uri

java.lang.String m_uri

Class org.semanticweb.HermiT.model.Inequality extends java.lang.Object implements Serializable

serialVersionUID: 296924110684230279L

Serialization Methods

readResolve

protected java.lang.Object readResolve()

Class org.semanticweb.HermiT.model.InternalDatatype extends AtomicDataRange implements Serializable

serialVersionUID: -1078274072706143620L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_iri

java.lang.String m_iri

Class org.semanticweb.HermiT.model.InverseRole extends Role implements Serializable

serialVersionUID: 3351701933728011998L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_inverseOf

AtomicRole m_inverseOf

Class org.semanticweb.HermiT.model.LiteralConcept extends Concept implements Serializable

serialVersionUID: -2302452747339289424L

Class org.semanticweb.HermiT.model.LiteralDataRange extends DataRange implements Serializable

serialVersionUID: -2302452747339289424L

Class org.semanticweb.HermiT.model.NodeIDLessEqualThan extends java.lang.Object implements Serializable

serialVersionUID: 5572346926189452451L

Serialization Methods

readResolve

protected java.lang.Object readResolve()

Class org.semanticweb.HermiT.model.NodeIDsAscendingOrEqual extends java.lang.Object implements Serializable

serialVersionUID: 7197886700065386931L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_arity

int m_arity

Class org.semanticweb.HermiT.model.Role extends java.lang.Object implements Serializable

serialVersionUID: -6487260817445541931L

Class org.semanticweb.HermiT.model.Term extends java.lang.Object implements Serializable

serialVersionUID: -8524194708579485033L

Class org.semanticweb.HermiT.model.Variable extends Term implements Serializable

serialVersionUID: -1943457771102512887L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_name

java.lang.String m_name

Package org.semanticweb.HermiT.monitor

Class org.semanticweb.HermiT.monitor.CountingMonitor extends TableauMonitorAdapter implements Serializable

serialVersionUID: -8144444618897251350L

Serialized Fields

m_problemStartTime

long m_problemStartTime

m_validationStartTime

long m_validationStartTime

m_testNo

int m_testNo

m_time

long m_time

m_numberOfBacktrackings

int m_numberOfBacktrackings

m_numberOfNodes

int m_numberOfNodes

m_numberOfBlockedNodes

int m_numberOfBlockedNodes

m_reasoningTaskDescription

ReasoningTaskDescription m_reasoningTaskDescription

m_testResult

boolean m_testResult

m_initialModelSize

int m_initialModelSize

m_initiallyBlocked

int m_initiallyBlocked

m_initiallyInvalid

int m_initiallyInvalid

m_noValidations

int m_noValidations

m_validationTime

long m_validationTime

m_testRecords

java.util.Map<K,V> m_testRecords

m_overallTime

long m_overallTime

m_overallNumberOfBacktrackings

int m_overallNumberOfBacktrackings

m_overallNumberOfNodes

int m_overallNumberOfNodes

m_overallNumberOfBlockedNodes

int m_overallNumberOfBlockedNodes

m_overallNumberOfTests

int m_overallNumberOfTests

m_overallNumberOfClashes

int m_overallNumberOfClashes

m_overallInitialModelSize

int m_overallInitialModelSize

m_overallInitiallyBlocked

int m_overallInitiallyBlocked

m_overallInitiallyInvalid

int m_overallInitiallyInvalid

m_overallNoValidations

int m_overallNoValidations

m_overallValidationTime

long m_overallValidationTime

Class org.semanticweb.HermiT.monitor.CountingMonitor.TestRecord extends java.lang.Object implements Serializable

serialVersionUID: -3815493500625020183L

Serialized Fields

m_testTime

long m_testTime

m_testDescription

java.lang.String m_testDescription

m_testResult

boolean m_testResult

Class org.semanticweb.HermiT.monitor.MemoryConsumptionMonitor extends CountingMonitor implements Serializable

serialVersionUID: -483824095933491230L

Serialized Fields

m_binaryTableMem

int m_binaryTableMem

m_ternaryTableMem

int m_ternaryTableMem

m_dependencySetsMem

int m_dependencySetsMem

m_sumBinaryTableMem

int m_sumBinaryTableMem

m_sumTernaryTableMem

int m_sumTernaryTableMem

m_sumDependencySetsMem

int m_sumDependencySetsMem

m_maxMem

int m_maxMem

m_testNumber

int m_testNumber

Class org.semanticweb.HermiT.monitor.TableauMonitorAdapter extends java.lang.Object implements Serializable

serialVersionUID: 6336033031431260208L

Serialized Fields

m_tableau

Tableau m_tableau

Class org.semanticweb.HermiT.monitor.TableauMonitorFork extends java.lang.Object implements Serializable

serialVersionUID: 8321902665477431455L

Serialized Fields

m_first

TableauMonitor m_first

m_second

TableauMonitor m_second

Class org.semanticweb.HermiT.monitor.TableauMonitorForwarder extends java.lang.Object implements Serializable

serialVersionUID: -371801782567741632L

Serialized Fields

m_forwardingTargetMonitor

TableauMonitor m_forwardingTargetMonitor

m_forwardingOn

boolean m_forwardingOn

Class org.semanticweb.HermiT.monitor.Timer extends TableauMonitorAdapter implements Serializable

serialVersionUID: -8144444618897251350L

Serialization Methods

readResolve

protected java.lang.Object readResolve()
Serialized Fields

m_problemStartTime

long m_problemStartTime

m_lastStatusTime

long m_lastStatusTime

m_numberOfBacktrackings

int m_numberOfBacktrackings

m_testNumber

int m_testNumber

Class org.semanticweb.HermiT.monitor.TimerWithPause extends Timer implements Serializable

serialVersionUID: -9176603965017225734L

Serialized Fields

m_in

java.io.BufferedReader m_in

Package org.semanticweb.HermiT.tableau

Class org.semanticweb.HermiT.tableau.BranchingPoint extends java.lang.Object implements Serializable

serialVersionUID: 7306881534568051692L

Serialized Fields

m_level

int m_level

m_lastTableauNode

Node m_lastTableauNode

m_lastMergedOrPrunedNode

Node m_lastMergedOrPrunedNode

m_firstGroundDisjunction

GroundDisjunction m_firstGroundDisjunction

m_firstUnprocessedGroundDisjunction

GroundDisjunction m_firstUnprocessedGroundDisjunction

Class org.semanticweb.HermiT.tableau.ClashManager extends java.lang.Object implements Serializable

serialVersionUID: 3533809151139695892L

Serialized Fields

m_extensionManager

ExtensionManager m_extensionManager

m_ternaryExtensionTableSearch01Bound

ExtensionTable.Retrieval m_ternaryExtensionTableSearch01Bound

m_tableauMonitor

TableauMonitor m_tableauMonitor

m_binaryAuxiliaryTuple

java.lang.Object[] m_binaryAuxiliaryTuple

m_ternaryAuxiliaryTuple

java.lang.Object[] m_ternaryAuxiliaryTuple

m_binaryUnionDependencySet

UnionDependencySet m_binaryUnionDependencySet

Class org.semanticweb.HermiT.tableau.DatatypeManager extends java.lang.Object implements Serializable

serialVersionUID: -5304869484553471737L

Serialized Fields

m_interruptFlag

InterruptFlag m_interruptFlag

m_tableauMonitor

TableauMonitor m_tableauMonitor

m_extensionManager

ExtensionManager m_extensionManager

m_assertionsDeltaOldRetrieval

ExtensionTable.Retrieval m_assertionsDeltaOldRetrieval

m_inequalityDeltaOldRetrieval

ExtensionTable.Retrieval m_inequalityDeltaOldRetrieval

m_inequality01Retrieval

ExtensionTable.Retrieval m_inequality01Retrieval

m_inequality02Retrieval

ExtensionTable.Retrieval m_inequality02Retrieval

m_assertions0Retrieval

ExtensionTable.Retrieval m_assertions0Retrieval

m_assertions1Retrieval

ExtensionTable.Retrieval m_assertions1Retrieval

m_conjunction

DatatypeManager.DConjunction m_conjunction

m_auxiliaryVariableList

java.util.List<E> m_auxiliaryVariableList

m_unionDependencySet

UnionDependencySet m_unionDependencySet

m_newVariableAdded

boolean[] m_newVariableAdded

m_unknownDatatypeRestrictionsPermanent

java.util.Set<E> m_unknownDatatypeRestrictionsPermanent

m_unknownDatatypeRestrictionsAdditional

java.util.Set<E> m_unknownDatatypeRestrictionsAdditional

Class org.semanticweb.HermiT.tableau.DatatypeManager.DConjunction extends java.lang.Object implements Serializable

serialVersionUID: 3597740301361593691L

Serialized Fields

m_unusedVariables

java.util.List<E> m_unusedVariables

m_usedVariables

java.util.List<E> m_usedVariables

m_activeVariables

java.util.List<E> m_activeVariables

m_buckets

DatatypeManager.DVariable[] m_buckets

m_numberOfEntries

int m_numberOfEntries

m_resizeThreshold

int m_resizeThreshold

Class org.semanticweb.HermiT.tableau.DatatypeManager.DVariable extends java.lang.Object implements Serializable

serialVersionUID: -2490195841140286089L

Serialized Fields

m_positiveConstantEnumerations

java.util.List<E> m_positiveConstantEnumerations

m_negativeConstantEnumerations

java.util.List<E> m_negativeConstantEnumerations

m_positiveDatatypeRestrictions

java.util.List<E> m_positiveDatatypeRestrictions

m_negativeDatatypeRestrictions

java.util.List<E> m_negativeDatatypeRestrictions

m_unequalTo

java.util.List<E> m_unequalTo

m_unequalToDirect

java.util.List<E> m_unequalToDirect

m_forbiddenDataValues

java.util.List<E> m_forbiddenDataValues

m_explicitDataValues

java.util.List<E> m_explicitDataValues

m_hasExplicitDataValues

boolean m_hasExplicitDataValues

m_mostSpecificRestriction

DatatypeRestriction m_mostSpecificRestriction

m_node

Node m_node

m_nextEntry

DatatypeManager.DVariable m_nextEntry

m_valueSpaceSubset

ValueSpaceSubset m_valueSpaceSubset

m_dataValue

java.lang.Object m_dataValue

Class org.semanticweb.HermiT.tableau.DatatypeManager.SmallestEnumerationFirst extends java.lang.Object implements Serializable

serialVersionUID: 8838838641444833249L

Class org.semanticweb.HermiT.tableau.DependencySetFactory extends java.lang.Object implements Serializable

serialVersionUID: 8632867055646817311L

Serialized Fields

m_mergeArray

DependencySetFactory.IntegerArray m_mergeArray

m_mergeSets

java.util.List<E> m_mergeSets

m_unprocessedSets

java.util.List<E> m_unprocessedSets

m_emptySet

PermanentDependencySet m_emptySet

m_firstUnusedSet

PermanentDependencySet m_firstUnusedSet

m_firstDestroyedSet

PermanentDependencySet m_firstDestroyedSet

m_entries

PermanentDependencySet[] m_entries

m_size

int m_size

m_resizeThreshold

int m_resizeThreshold

Class org.semanticweb.HermiT.tableau.DependencySetFactory.IntegerArray extends java.lang.Object implements Serializable

serialVersionUID: 7070190530381846058L

Serialized Fields

m_elements

int[] m_elements

m_size

int m_size

Class org.semanticweb.HermiT.tableau.DescriptionGraphManager extends java.lang.Object implements Serializable

serialVersionUID: 4536271856850424712L

Serialized Fields

m_tableau

Tableau m_tableau

m_interruptFlag

InterruptFlag m_interruptFlag

m_tableauMonitor

TableauMonitor m_tableauMonitor

m_extensionManager

ExtensionManager m_extensionManager

m_mergingManager

MergingManager m_mergingManager

m_occurrenceManager

DescriptionGraphManager.OccurrenceManager m_occurrenceManager

m_descriptionGraphIndices

java.util.Map<K,V> m_descriptionGraphIndices

m_descriptionGraphsByIndex

DescriptionGraph[] m_descriptionGraphsByIndex

m_extensionTablesByIndex

ExtensionTable[] m_extensionTablesByIndex

m_auxiliaryTuples1

java.lang.Object[][] m_auxiliaryTuples1

m_auxiliaryTuples2

java.lang.Object[][] m_auxiliaryTuples2

m_newNodes

java.util.List<E> m_newNodes

m_binaryUnionDependencySet

UnionDependencySet m_binaryUnionDependencySet

m_deltaOldRetrievals

ExtensionTable.Retrieval[] m_deltaOldRetrievals

Class org.semanticweb.HermiT.tableau.DescriptionGraphManager.OccurrenceManager extends java.lang.Object implements Serializable

serialVersionUID: 7594355731105478918L

Serialized Fields

m_nodePages

int[][] m_nodePages

m_firstFreeListNode

int m_firstFreeListNode

m_numberOfPages

int m_numberOfPages

Class org.semanticweb.HermiT.tableau.DisjunctionBranchingPoint extends BranchingPoint implements Serializable

serialVersionUID: -8855083430836162354L

Serialized Fields

m_groundDisjunction

GroundDisjunction m_groundDisjunction

m_sortedDisjunctIndexes

int[] m_sortedDisjunctIndexes

m_currentIndex

int m_currentIndex

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator extends java.lang.Object implements Serializable

serialVersionUID: 4639844159658590456L

Serialized Fields

m_interruptFlag

InterruptFlag m_interruptFlag

m_extensionManager

ExtensionManager m_extensionManager

m_retrievals

ExtensionTable.Retrieval[] m_retrievals

m_workers

DLClauseEvaluator.Worker[] m_workers

m_bodyDLClause

DLClause m_bodyDLClause

m_headDLClauses

java.util.List<E> m_headDLClauses

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.BranchIfNotEqual extends java.lang.Object implements Serializable

serialVersionUID: -1880147431680856293L

Serialized Fields

m_notEqualProgramCounter

int m_notEqualProgramCounter

m_buffer

java.lang.Object[] m_buffer

m_index1

int m_index1

m_index2

int m_index2

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.BranchIfNotNodeIDLessEqualThan extends java.lang.Object implements Serializable

serialVersionUID: 2484359261424674914L

Serialized Fields

m_notLessProgramCounter

int m_notLessProgramCounter

m_buffer

java.lang.Object[] m_buffer

m_index1

int m_index1

m_index2

int m_index2

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.BranchIfNotNodeIDsAscendingOrEqual extends java.lang.Object implements Serializable

serialVersionUID: 8053779312249250349L

Serialized Fields

m_branchProgramCounter

int m_branchProgramCounter

m_buffer

java.lang.Object[] m_buffer

m_nodeIndexes

int[] m_nodeIndexes

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.CallMatchFinishedOnMonitor extends java.lang.Object implements Serializable

serialVersionUID: 1046400921858176361L

Serialized Fields

m_tableauMonitor

TableauMonitor m_tableauMonitor

m_dlClauseEvaluator

DLClauseEvaluator m_dlClauseEvaluator

m_dlClauseIndex

int m_dlClauseIndex

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.CallMatchStartedOnMonitor extends java.lang.Object implements Serializable

serialVersionUID: 8736659573939242252L

Serialized Fields

m_tableauMonitor

TableauMonitor m_tableauMonitor

m_dlClauseEvaluator

DLClauseEvaluator m_dlClauseEvaluator

m_dlClauseIndex

int m_dlClauseIndex

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.CopyDependencySet extends java.lang.Object implements Serializable

serialVersionUID: 705172386083123813L

Serialized Fields

m_retrieval

ExtensionTable.Retrieval m_retrieval

m_targetDependencySets

DependencySet[] m_targetDependencySets

m_targetIndex

int m_targetIndex

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.CopyValues extends java.lang.Object implements Serializable

serialVersionUID: -4323769483485648756L

Serialized Fields

m_fromBuffer

java.lang.Object[] m_fromBuffer

m_fromIndex

int m_fromIndex

m_toBuffer

java.lang.Object[] m_toBuffer

m_toIndex

int m_toIndex

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.DeriveBinaryFact extends java.lang.Object implements Serializable

serialVersionUID: 1823363493615682288L

Serialized Fields

m_extensionManager

ExtensionManager m_extensionManager

m_valuesBuffer

java.lang.Object[] m_valuesBuffer

m_dependencySet

DependencySet m_dependencySet

m_dlPredicate

DLPredicate m_dlPredicate

m_argumentIndex1

int m_argumentIndex1

m_argumentIndex2

int m_argumentIndex2

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.DeriveDisjunction extends java.lang.Object implements Serializable

serialVersionUID: -3546622575743138887L

Serialized Fields

m_tableau

Tableau m_tableau

m_valuesBuffer

java.lang.Object[] m_valuesBuffer

m_coreVariables

boolean[] m_coreVariables

m_dependencySet

DependencySet m_dependencySet

m_groundDisjunctionHeader

GroundDisjunctionHeader m_groundDisjunctionHeader

m_copyIsCore

int[] m_copyIsCore

m_copyValuesToArguments

int[] m_copyValuesToArguments

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.DeriveTernaryFact extends java.lang.Object implements Serializable

serialVersionUID: 1823363493615682288L

Serialized Fields

m_extensionManager

ExtensionManager m_extensionManager

m_valuesBuffer

java.lang.Object[] m_valuesBuffer

m_dependencySet

DependencySet m_dependencySet

m_dlPredicate

DLPredicate m_dlPredicate

m_argumentIndex1

int m_argumentIndex1

m_argumentIndex2

int m_argumentIndex2

m_argumentIndex3

int m_argumentIndex3

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.DeriveUnaryFact extends java.lang.Object implements Serializable

serialVersionUID: 7883620022252842010L

Serialized Fields

m_extensionManager

ExtensionManager m_extensionManager

m_valuesBuffer

java.lang.Object[] m_valuesBuffer

m_coreVariables

boolean[] m_coreVariables

m_dependencySet

DependencySet m_dependencySet

m_dlPredicate

DLPredicate m_dlPredicate

m_argumentIndex

int m_argumentIndex

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.HasMoreRetrieval extends java.lang.Object implements Serializable

serialVersionUID: -2415094151423166585L

Serialized Fields

m_eofProgramCounter

int m_eofProgramCounter

m_retrieval

ExtensionTable.Retrieval m_retrieval

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.JumpTo extends java.lang.Object implements Serializable

serialVersionUID: -6957866973028474739L

Serialized Fields

m_jumpTo

int m_jumpTo

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.NextRetrieval extends java.lang.Object implements Serializable

serialVersionUID: -2787897558147109082L

Serialized Fields

m_retrieval

ExtensionTable.Retrieval m_retrieval

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.OpenRetrieval extends java.lang.Object implements Serializable

serialVersionUID: 8246610603084803950L

Serialized Fields

m_retrieval

ExtensionTable.Retrieval m_retrieval

Class org.semanticweb.HermiT.tableau.DLClauseEvaluator.SetClash extends java.lang.Object implements Serializable

serialVersionUID: -4981087765064918953L

Serialized Fields

m_extensionManager

ExtensionManager m_extensionManager

m_dependencySet

DependencySet m_dependencySet

Class org.semanticweb.HermiT.tableau.ExistentialExpansionManager extends java.lang.Object implements Serializable

serialVersionUID: 4794168582297181623L

Serialized Fields

m_tableau

Tableau m_tableau

m_extensionManager

ExtensionManager m_extensionManager

m_expandedExistentials

TupleTable m_expandedExistentials

m_auxiliaryTuple

java.lang.Object[] m_auxiliaryTuple

m_auxiliaryNodes

java.util.List<E> m_auxiliaryNodes

m_ternaryExtensionTableSearch01Bound

ExtensionTable.Retrieval m_ternaryExtensionTableSearch01Bound

m_ternaryExtensionTableSearch02Bound

ExtensionTable.Retrieval m_ternaryExtensionTableSearch02Bound

m_functionalRoles

java.util.Map<K,V> m_functionalRoles

m_binaryUnionDependencySet

UnionDependencySet m_binaryUnionDependencySet

m_indicesByBranchingPoint

int[] m_indicesByBranchingPoint

Class org.semanticweb.HermiT.tableau.ExtensionManager extends java.lang.Object implements Serializable

serialVersionUID: 5900300914631070591L

Serialized Fields

m_tableau

Tableau m_tableau

m_tableauMonitor

TableauMonitor m_tableauMonitor

m_dependencySetFactory

DependencySetFactory m_dependencySetFactory

m_extensionTablesByArity

java.util.Map<K,V> m_extensionTablesByArity

m_allExtensionTablesArray

ExtensionTable[] m_allExtensionTablesArray

m_binaryExtensionTable

ExtensionTable m_binaryExtensionTable

m_ternaryExtensionTable

ExtensionTable m_ternaryExtensionTable

m_binaryAuxiliaryTupleContains

java.lang.Object[] m_binaryAuxiliaryTupleContains

m_binaryAuxiliaryTupleAdd

java.lang.Object[] m_binaryAuxiliaryTupleAdd

m_ternaryAuxiliaryTupleContains

java.lang.Object[] m_ternaryAuxiliaryTupleContains

m_ternaryAuxiliaryTupleAdd

java.lang.Object[] m_ternaryAuxiliaryTupleAdd

m_fouraryAuxiliaryTupleContains

java.lang.Object[] m_fouraryAuxiliaryTupleContains

m_fouraryAuxiliaryTupleAdd

java.lang.Object[] m_fouraryAuxiliaryTupleAdd

m_clashDependencySet

PermanentDependencySet m_clashDependencySet

m_addActive

boolean m_addActive

Class org.semanticweb.HermiT.tableau.ExtensionTable extends java.lang.Object implements Serializable

serialVersionUID: -5029938218056017193L

Serialized Fields

m_tableau

Tableau m_tableau

m_tableauMonitor

TableauMonitor m_tableauMonitor

m_tupleArity

int m_tupleArity

m_tupleTable

TupleTable m_tupleTable

m_dependencySetManager

ExtensionTable.DependencySetManager m_dependencySetManager

m_coreManager

ExtensionTable.CoreManager m_coreManager

m_afterExtensionOldTupleIndex

int m_afterExtensionOldTupleIndex

m_afterExtensionThisTupleIndex

int m_afterExtensionThisTupleIndex

m_afterDeltaNewTupleIndex

int m_afterDeltaNewTupleIndex

m_indicesByBranchingPoint

int[] m_indicesByBranchingPoint

Class org.semanticweb.HermiT.tableau.ExtensionTable.DeterministicDependencySetManager extends java.lang.Object implements Serializable

serialVersionUID: 7982627098607954806L

Serialized Fields

m_dependencySetFactory

DependencySetFactory m_dependencySetFactory

Class org.semanticweb.HermiT.tableau.ExtensionTable.LastObjectDependencySetManager extends java.lang.Object implements Serializable

serialVersionUID: -8097612469749016470L

Serialized Fields

m_dependencySetFactory

DependencySetFactory m_dependencySetFactory

Class org.semanticweb.HermiT.tableau.ExtensionTable.NoCoreManager extends java.lang.Object implements Serializable

serialVersionUID: 3252994135060928432L

Class org.semanticweb.HermiT.tableau.ExtensionTable.RealCoreManager extends java.lang.Object implements Serializable

serialVersionUID: 3276377301185845284L

Serialized Fields

m_bits

int[] m_bits

Class org.semanticweb.HermiT.tableau.ExtensionTable.UnindexedRetrieval extends java.lang.Object implements Serializable

serialVersionUID: 6395072458663267969L

Serialized Fields

m_extensionView

ExtensionTable.View m_extensionView

m_bindingPositions

int[] m_bindingPositions

m_bindingsBuffer

java.lang.Object[] m_bindingsBuffer

m_tupleBuffer

java.lang.Object[] m_tupleBuffer

m_ownsBuffers

boolean m_ownsBuffers

m_checkTupleSelection

boolean m_checkTupleSelection

m_currentTupleIndex

int m_currentTupleIndex

m_afterLastTupleIndex

int m_afterLastTupleIndex

Class org.semanticweb.HermiT.tableau.ExtensionTableWithFullIndex extends ExtensionTable implements Serializable

serialVersionUID: 2856811178050960058L

Serialized Fields

m_tupleTableFullIndex

TupleTableFullIndex m_tupleTableFullIndex

m_auxiliaryTuple

java.lang.Object[] m_auxiliaryTuple

Class org.semanticweb.HermiT.tableau.ExtensionTableWithFullIndex.IndexedRetrieval extends java.lang.Object implements Serializable

serialVersionUID: 5984560476970027366L

Serialized Fields

m_bindingPositions

int[] m_bindingPositions

m_bindingsBuffer

java.lang.Object[] m_bindingsBuffer

m_tupleBuffer

java.lang.Object[] m_tupleBuffer

m_ownsBuffers

boolean m_ownsBuffers

m_extensionView

ExtensionTable.View m_extensionView

m_currentTupleIndex

int m_currentTupleIndex

Class org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes extends ExtensionTable implements Serializable

serialVersionUID: -684536236157965372L

Serialized Fields

m_tupleIndexes

TupleIndex[] m_tupleIndexes

m_auxiliaryTuple

java.lang.Object[] m_auxiliaryTuple

Class org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes.IndexedRetrieval extends TupleIndex.TupleIndexRetrieval implements Serializable

serialVersionUID: 2180748099314801734L

Serialized Fields

m_bindingPositions

int[] m_bindingPositions

m_tupleBuffer

java.lang.Object[] m_tupleBuffer

m_ownsBuffers

boolean m_ownsBuffers

m_extensionView

ExtensionTable.View m_extensionView

m_checkTupleSelection

boolean m_checkTupleSelection

m_dependencySet

DependencySet m_dependencySet

m_isCore

boolean m_isCore

m_firstTupleIndex

int m_firstTupleIndex

m_afterLastTupleIndex

int m_afterLastTupleIndex

Class org.semanticweb.HermiT.tableau.GroundDisjunction extends java.lang.Object implements Serializable

serialVersionUID: 6245673952732442673L

Serialized Fields

m_groundDisjunctionHeader

GroundDisjunctionHeader m_groundDisjunctionHeader

m_arguments

Node[] m_arguments

m_isCore

boolean[] m_isCore

m_dependencySet

PermanentDependencySet m_dependencySet

m_previousGroundDisjunction

GroundDisjunction m_previousGroundDisjunction

m_nextGroundDisjunction

GroundDisjunction m_nextGroundDisjunction

Class org.semanticweb.HermiT.tableau.HyperresolutionManager extends java.lang.Object implements Serializable

serialVersionUID: -4880817508962130189L

Serialized Fields

m_extensionManager

ExtensionManager m_extensionManager

m_deltaOldRetrievals

ExtensionTable.Retrieval[] m_deltaOldRetrievals

m_binaryTableRetrieval

ExtensionTable.Retrieval m_binaryTableRetrieval

m_tupleConsumersByDeltaPredicate

java.util.Map<K,V> m_tupleConsumersByDeltaPredicate

m_atomicRoleTupleConsumersUnguarded

java.util.Map<K,V> m_atomicRoleTupleConsumersUnguarded

m_atomicRoleTupleConsumersByGuardConcept1

java.util.HashMap<K,V> m_atomicRoleTupleConsumersByGuardConcept1

m_atomicRoleTupleConsumersByGuardConcept2

java.util.HashMap<K,V> m_atomicRoleTupleConsumersByGuardConcept2

m_buffersToClear

java.lang.Object[][] m_buffersToClear

m_unionDependencySetsToClear

UnionDependencySet[] m_unionDependencySetsToClear

m_valuesBuffer

java.lang.Object[] m_valuesBuffer

m_maxNumberOfVariables

int m_maxNumberOfVariables

Class org.semanticweb.HermiT.tableau.InterruptCurrentTaskException extends java.lang.RuntimeException implements Serializable

Class org.semanticweb.HermiT.tableau.InterruptFlag extends java.lang.Object implements Serializable

serialVersionUID: -6983680374511847003L

Serialized Fields

m_interruptTimer

InterruptFlag.InterruptTimer m_interruptTimer

m_interruptType

InterruptFlag.InterruptType m_interruptType

Class org.semanticweb.HermiT.tableau.MergingManager extends java.lang.Object implements Serializable

serialVersionUID: -8404748898127176927L

Serialized Fields

m_tableau

Tableau m_tableau

m_tableauMonitor

TableauMonitor m_tableauMonitor

m_extensionManager

ExtensionManager m_extensionManager

m_binaryExtensionTableSearch1Bound

ExtensionTable.Retrieval m_binaryExtensionTableSearch1Bound

m_ternaryExtensionTableSearch1Bound

ExtensionTable.Retrieval m_ternaryExtensionTableSearch1Bound

m_ternaryExtensionTableSearch2Bound

ExtensionTable.Retrieval m_ternaryExtensionTableSearch2Bound

m_binaryAuxiliaryTuple

java.lang.Object[] m_binaryAuxiliaryTuple

m_ternaryAuxiliaryTuple

java.lang.Object[] m_ternaryAuxiliaryTuple

m_binaryUnionDependencySet

UnionDependencySet m_binaryUnionDependencySet

Class org.semanticweb.HermiT.tableau.Node extends java.lang.Object implements Serializable

serialVersionUID: -2549229429321484690L

Serialized Fields

m_tableau

Tableau m_tableau

m_nodeID

int m_nodeID

m_nodeState

Node.NodeState m_nodeState

m_parent

Node m_parent

m_nodeType

NodeType m_nodeType

m_treeDepth

int m_treeDepth

m_numberOfPositiveAtomicConcepts

int m_numberOfPositiveAtomicConcepts

m_numberOfNegatedAtomicConcepts

int m_numberOfNegatedAtomicConcepts

m_numberOfNegatedRoleAssertions

int m_numberOfNegatedRoleAssertions

m_unprocessedExistentials

java.util.List<E> m_unprocessedExistentials

m_previousTableauNode

Node m_previousTableauNode

m_nextTableauNode

Node m_nextTableauNode

m_previousMergedOrPrunedNode

Node m_previousMergedOrPrunedNode

m_mergedInto

Node m_mergedInto

m_mergedIntoDependencySet

PermanentDependencySet m_mergedIntoDependencySet

m_blocker

Node m_blocker

m_directlyBlocked

boolean m_directlyBlocked

m_blockingObject

java.lang.Object m_blockingObject

m_blockingCargo

java.lang.Object m_blockingCargo

m_firstGraphOccurrenceNode

int m_firstGraphOccurrenceNode

Class org.semanticweb.HermiT.tableau.NominalIntroductionManager extends java.lang.Object implements Serializable

serialVersionUID: 5863617010809297861L

Serialized Fields

m_tableau

Tableau m_tableau

m_dependencySetFactory

DependencySetFactory m_dependencySetFactory

m_interruptFlag

InterruptFlag m_interruptFlag

m_mergingManager

MergingManager m_mergingManager

m_annotatedEqualities

TupleTable m_annotatedEqualities

m_bufferForAnnotatedEquality

java.lang.Object[] m_bufferForAnnotatedEquality

m_newRootNodesTable

TupleTable m_newRootNodesTable

m_newRootNodesIndex

TupleTableFullIndex m_newRootNodesIndex

m_bufferForRootNodes

java.lang.Object[] m_bufferForRootNodes

m_indicesByBranchingPoint

int[] m_indicesByBranchingPoint

m_firstUnprocessedAnnotatedEquality

int m_firstUnprocessedAnnotatedEquality

Class org.semanticweb.HermiT.tableau.NominalIntroductionManager.NominalIntroductionBranchingPoint extends BranchingPoint implements Serializable

serialVersionUID: 6678113479704184263L

Serialized Fields

m_rootNode

Node m_rootNode

m_niTargetNode

Node m_niTargetNode

m_otherNode

Node m_otherNode

m_annotatedEquality

AnnotatedEquality m_annotatedEquality

m_currentRootNode

int m_currentRootNode

Class org.semanticweb.HermiT.tableau.PermanentDependencySet extends java.lang.Object implements Serializable

serialVersionUID: 353039301123337446L

Serialized Fields

m_rest

PermanentDependencySet m_rest

m_branchingPoint

int m_branchingPoint

m_nextEntry

PermanentDependencySet m_nextEntry

m_usageCounter

int m_usageCounter

m_previousUnusedSet

PermanentDependencySet m_previousUnusedSet

m_nextUnusedSet

PermanentDependencySet m_nextUnusedSet

Class org.semanticweb.HermiT.tableau.Tableau extends java.lang.Object implements Serializable

serialVersionUID: -28982363158925221L

Serialized Fields

m_interruptFlag

InterruptFlag m_interruptFlag

m_parameters

java.util.Map<K,V> m_parameters

m_tableauMonitor

TableauMonitor m_tableauMonitor

m_existentialExpansionStrategy

ExistentialExpansionStrategy m_existentialExpansionStrategy

m_permanentDLOntology

DLOntology m_permanentDLOntology

m_additionalDLOntology

DLOntology m_additionalDLOntology

m_dependencySetFactory

DependencySetFactory m_dependencySetFactory

m_extensionManager

ExtensionManager m_extensionManager

m_clashManager

ClashManager m_clashManager

m_permanentHyperresolutionManager

HyperresolutionManager m_permanentHyperresolutionManager

m_additionalHyperresolutionManager

HyperresolutionManager m_additionalHyperresolutionManager

m_mergingManager

MergingManager m_mergingManager

m_existentialExpasionManager

ExistentialExpansionManager m_existentialExpasionManager

m_nominalIntroductionManager

NominalIntroductionManager m_nominalIntroductionManager

m_descriptionGraphManager

DescriptionGraphManager m_descriptionGraphManager

m_datatypeManager

DatatypeManager m_datatypeManager

m_existentialConceptsBuffers

java.util.List<E> m_existentialConceptsBuffers

m_useDisjunctionLearning

boolean m_useDisjunctionLearning

m_hasDescriptionGraphs

boolean m_hasDescriptionGraphs

m_branchingPoints

BranchingPoint[] m_branchingPoints

m_currentBranchingPoint

int m_currentBranchingPoint

m_nonbacktrackableBranchingPoint

int m_nonbacktrackableBranchingPoint

m_isCurrentModelDeterministic

boolean m_isCurrentModelDeterministic

m_needsThingExtension

boolean m_needsThingExtension

m_needsNamedExtension

boolean m_needsNamedExtension

m_needsRDFSLiteralExtension

boolean m_needsRDFSLiteralExtension

m_checkDatatypes

boolean m_checkDatatypes

m_checkUnknownDatatypeRestrictions

boolean m_checkUnknownDatatypeRestrictions

m_allocatedNodes

int m_allocatedNodes

m_numberOfNodesInTableau

int m_numberOfNodesInTableau

m_numberOfMergedOrPrunedNodes

int m_numberOfMergedOrPrunedNodes

m_numberOfNodeCreations

int m_numberOfNodeCreations

m_firstFreeNode

Node m_firstFreeNode

m_firstTableauNode

Node m_firstTableauNode

m_lastTableauNode

Node m_lastTableauNode

m_lastMergedOrPrunedNode

Node m_lastMergedOrPrunedNode

m_firstGroundDisjunction

GroundDisjunction m_firstGroundDisjunction

m_firstUnprocessedGroundDisjunction

GroundDisjunction m_firstUnprocessedGroundDisjunction

Class org.semanticweb.HermiT.tableau.TupleIndex extends java.lang.Object implements Serializable

serialVersionUID: -4284072092430590904L

Serialized Fields

m_indexingSequence

int[] m_indexingSequence

m_trieNodeManager

TupleIndex.TrieNodeManager m_trieNodeManager

m_root

int m_root

m_buckets

int[] m_buckets

m_bucketsLengthMinusOne

int m_bucketsLengthMinusOne

m_resizeThreshold

int m_resizeThreshold

m_numberOfNodes

int m_numberOfNodes

Class org.semanticweb.HermiT.tableau.TupleIndex.TrieNodeManager extends java.lang.Object implements Serializable

serialVersionUID: -1978070096232682717L

Serialized Fields

m_indexPages

int[][] m_indexPages

m_objectPages

java.lang.Object[][] m_objectPages

m_firstFreeTrieNode

int m_firstFreeTrieNode

m_numberOfPages

int m_numberOfPages

Class org.semanticweb.HermiT.tableau.TupleIndex.TupleIndexRetrieval extends java.lang.Object implements Serializable

serialVersionUID: 3052986474027614595L

Serialized Fields

m_tupleIndex

TupleIndex m_tupleIndex

m_bindingsBuffer

java.lang.Object[] m_bindingsBuffer

m_selectionIndices

int[] m_selectionIndices

m_selectionIndicesLength

int m_selectionIndicesLength

m_indexingSequenceLength

int m_indexingSequenceLength

m_currentTrieNode

int m_currentTrieNode

Class org.semanticweb.HermiT.tableau.TupleTable extends java.lang.Object implements Serializable

serialVersionUID: -7712458276004062803L

Serialized Fields

m_arity

int m_arity

m_pages

TupleTable.Page[] m_pages

m_numberOfPages

int m_numberOfPages

m_tupleCapacity

int m_tupleCapacity

m_firstFreeTupleIndex

int m_firstFreeTupleIndex

Class org.semanticweb.HermiT.tableau.TupleTable.Page extends java.lang.Object implements Serializable

serialVersionUID: 2239482172592108644L

Serialized Fields

m_arity

int m_arity

m_objects

java.lang.Object[] m_objects

Class org.semanticweb.HermiT.tableau.TupleTableFullIndex extends java.lang.Object implements Serializable

serialVersionUID: 5006873858554891684L

Serialized Fields

m_tupleTable

TupleTable m_tupleTable

m_indexedArity

int m_indexedArity

m_entryManager

TupleTableFullIndex.EntryManager m_entryManager

m_buckets

int[] m_buckets

m_resizeThreshold

int m_resizeThreshold

m_numberOfTuples

int m_numberOfTuples

Class org.semanticweb.HermiT.tableau.TupleTableFullIndex.EntryManager extends java.lang.Object implements Serializable

serialVersionUID: -7562640774004213308L

Serialized Fields

m_entries

int[] m_entries

m_firstFreeEntry

int m_firstFreeEntry

Class org.semanticweb.HermiT.tableau.UnionDependencySet extends java.lang.Object implements Serializable

serialVersionUID: 8296150535316233960L

Serialized Fields

m_numberOfConstituents

int m_numberOfConstituents

m_dependencySets

DependencySet[] m_dependencySets