Uses of Package
org.semanticweb.HermiT.tableau

Packages that use org.semanticweb.HermiT.tableau

Package	Description
org.semanticweb.HermiT
org.semanticweb.HermiT.blocking
org.semanticweb.HermiT.datalog
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

Class and Description
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

Class and Description
DLClauseEvaluator.Worker Worker.
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.datalog

Class and Description
DLClauseEvaluator.Worker Worker.
Node Represents a node in the tableau.

Classes in org.semanticweb.HermiT.tableau used by org.semanticweb.HermiT.debugger

Class and Description
BranchingPoint Represents a branching point for the tableau given to the constructor.
DatatypeManager.DConjunction DConjunction.
DLClauseEvaluator DLClauseEvaluator
GroundDisjunction GroundDisjunction
Node Represents a node in the tableau.
ReasoningTaskDescription Reasoning task description.
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

Class and Description
Node Represents a node in the tableau.

Classes in org.semanticweb.HermiT.tableau used by org.semanticweb.HermiT.existentials

Class and Description
DLClauseEvaluator.Worker Worker.
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.hierarchy

Class and Description
InterruptFlag 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).

Classes in org.semanticweb.HermiT.tableau used by org.semanticweb.HermiT.monitor

Class and Description
BranchingPoint Represents a branching point for the tableau given to the constructor.
DatatypeManager.DConjunction DConjunction.
DLClauseEvaluator DLClauseEvaluator
GroundDisjunction GroundDisjunction
Node Represents a node in the tableau.
ReasoningTaskDescription Reasoning task description.
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

Class and Description
BranchingPoint Represents a branching point for the tableau given to the constructor.
DatatypeManager.DVariable DVariable.
DependencySet Dependency set.
DependencySetFactory This is the main class to work with dependency sets and returns instances of PermanentDependencySet, which can not directly be created.
DescriptionGraphManager DescriptionGraphManager.
DLClauseEvaluator.BufferSupply BufferSupply.
DLClauseEvaluator.ValuesBufferManager ValuesBufferManager.
DLClauseEvaluator.Worker Worker.
ExistentialExpansionManager Manages the expansion of at least restrictions in a tableau.
ExtensionManager ExtensionManager.
ExtensionTable An extension table keeps track of the assertions in the ABox during a run of the tableau.
ExtensionTable.Retrieval Retrieval.
ExtensionTable.View View.
GroundDisjunction GroundDisjunction
GroundDisjunctionHeader GroundDisjunctionHeader.
HyperresolutionManager Applies the rules during the expansion of a tableau.
InterruptFlag InterruptFlag.
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.
NodeType NodeType.
PermanentDependencySet PermanentDependencySet.
ReasoningTaskDescription Reasoning task description.
Tableau This class coordinates the main tableau expansion for a given DLOntology (a normalized and clausified ontology).