Uses of Package
org.semanticweb.HermiT.tableau

Packages that use org.semanticweb.HermiT.tableau
org.semanticweb.HermiT   
org.semanticweb.HermiT.blocking   
org.semanticweb.HermiT.debugger   
org.semanticweb.HermiT.debugger.commands   
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.hierarchy   
org.semanticweb.HermiT.monitor   
org.semanticweb.HermiT.tableau   
 

Classes in org.semanticweb.HermiT.tableau used by org.semanticweb.HermiT
InterruptFlag
           
Tableau
          This class coordinates the main tableau expansion for a given DLOntology (a normalized and clausified ontology).
 

Classes in org.semanticweb.HermiT.tableau used by org.semanticweb.HermiT.blocking
DLClauseEvaluator.Worker
           
ExtensionManager
           
ExtensionTable.Retrieval
           
Node
          Represents a node in the tableau.
Tableau
          This class coordinates the main tableau expansion for a given DLOntology (a normalized and clausified ontology).
 

Classes in org.semanticweb.HermiT.tableau used by org.semanticweb.HermiT.debugger
BranchingPoint
          Represents a branching point for the tableau given to the constructor.
DatatypeManager.DConjunction
           
DLClauseEvaluator
           
GroundDisjunction
           
Node
          Represents a node in the tableau.
ReasoningTaskDescription
           
Tableau
          This class coordinates the main tableau expansion for a given DLOntology (a normalized and clausified ontology).
 

Classes in org.semanticweb.HermiT.tableau used by org.semanticweb.HermiT.debugger.commands
ExtensionTable.Retrieval
           
Node
          Represents a node in the tableau.
 

Classes in org.semanticweb.HermiT.tableau used by org.semanticweb.HermiT.existentials
BranchingPoint
          Represents a branching point for the tableau given to the constructor.
DependencySet
           
DescriptionGraphManager
           
DLClauseEvaluator.Worker
           
ExistentialExpansionManager
          Manages the expansion of at least restrictions in a tableau.
ExtensionManager
           
ExtensionTable.Retrieval
           
InterruptFlag
           
Node
          Represents a node in the tableau.
Tableau
          This class coordinates the main tableau expansion for a given DLOntology (a normalized and clausified ontology).
TupleTable
          The actual implementation of the tuple tables used in the ExtensionTable class.
 

Classes in org.semanticweb.HermiT.tableau used by org.semanticweb.HermiT.hierarchy
ExtensionTable.Retrieval
           
InterruptFlag
           
Node
          Represents a node in the tableau.
ReasoningTaskDescription
           
Tableau
          This class coordinates the main tableau expansion for a given DLOntology (a normalized and clausified ontology).
 

Classes in org.semanticweb.HermiT.tableau used by org.semanticweb.HermiT.monitor
BranchingPoint
          Represents a branching point for the tableau given to the constructor.
DatatypeManager.DConjunction
           
DLClauseEvaluator
           
GroundDisjunction
           
Node
          Represents a node in the tableau.
ReasoningTaskDescription
           
ReasoningTaskDescription.StandardTestType
           
Tableau
          This class coordinates the main tableau expansion for a given DLOntology (a normalized and clausified ontology).
 

Classes in org.semanticweb.HermiT.tableau used by org.semanticweb.HermiT.tableau
BranchingPoint
          Represents a branching point for the tableau given to the constructor.
ClashManager
          An instance of this class is notified by extension tables when tuples are added.
DatatypeManager
           
DatatypeManager.DConjunction
           
DatatypeManager.DVariable
           
DependencySet
           
DependencySetFactory
          This is the main class to work with dependency sets and returns instances of PermanentDependencySet, which can not directly be created.
DependencySetFactory.IntegerArray
           
DescriptionGraphManager
           
DescriptionGraphManager.OccurrenceManager
           
DLClauseEvaluator
           
DLClauseEvaluator.BranchingWorker
           
DLClauseEvaluator.BufferSupply
           
DLClauseEvaluator.GroundDisjunctionHeaderManager
           
DLClauseEvaluator.ValuesBufferManager
           
DLClauseEvaluator.Worker
           
ExistentialExpansionManager
          Manages the expansion of at least restrictions in a tableau.
ExtensionManager
           
ExtensionTable
          An extension table keeps track of the assertions in the ABox during a run of the tableau.
ExtensionTable.CoreManager
           
ExtensionTable.DependencySetManager
           
ExtensionTable.Retrieval
           
ExtensionTable.View
           
GroundDisjunction
           
GroundDisjunctionHeader
           
GroundDisjunctionHeader.DisjunctIndexWithBacktrackings
           
HyperresolutionManager
          Applies the rules during the expansion of a tableau.
HyperresolutionManager.CompiledDLClauseInfo
           
InterruptFlag
           
InterruptFlag.InterruptTimer
           
InterruptFlag.InterruptType
           
InterruptFlag.TimerState
           
MergingManager
          Implements the merge rule and is used whenever the merge rule needs to be applied during the expansion of the tableau object used in the constructor of the class.
Node
          Represents a node in the tableau.
Node.NodeState
           
NodeType
           
NominalIntroductionManager
          Implements the nominal introduction rule.
PermanentDependencySet
           
ReasoningTaskDescription
           
ReasoningTaskDescription.StandardTestType
           
Tableau
          This class coordinates the main tableau expansion for a given DLOntology (a normalized and clausified ontology).
TupleIndex
           
TupleIndex.TrieNodeManager
           
TupleIndex.TupleIndexRetrieval
           
TupleTable
          The actual implementation of the tuple tables used in the ExtensionTable class.
TupleTable.Page
           
TupleTableFullIndex
           
TupleTableFullIndex.EntryManager
           
UnionDependencySet