Package org.semanticweb.HermiT.tableau

Interface Summary

Interface	Description
DependencySet	Dependency set.
DLClauseEvaluator.Worker	Worker.
ExtensionTable.Retrieval	Retrieval.

Class Summary

Class	Description
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.
DatatypeManager.DConjunction	DConjunction.
DatatypeManager.DVariable	DVariable.
DependencySetFactory	This is the main class to work with dependency sets and returns instances of PermanentDependencySet, which can not directly be created.
DescriptionGraphManager	DescriptionGraphManager.
DisjunctionBranchingPoint	Disjunction branching point.
DLClauseEvaluator	DLClauseEvaluator
DLClauseEvaluator.BufferSupply	BufferSupply.
DLClauseEvaluator.ConjunctionCompiler	ConjunctionCompiler.
DLClauseEvaluator.ValuesBufferManager	ValuesBufferManager.
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.
ExtensionTableWithFullIndex	This extension table is for use with Description Graphs and it supports tuple tables with arity greater than three, but are, as a result, less efficient.
ExtensionTableWithTupleIndexes	This extension table is for use with binary and ternary assertions (not description graphs).
GroundDisjunction	GroundDisjunction
GroundDisjunctionHeader	GroundDisjunctionHeader.
HyperresolutionManager	Applies the rules during the expansion of a tableau.
HyperresolutionManager.BodyAtomsSwapper	BodyAtomsSwapper.
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.
PermanentDependencySet	PermanentDependencySet.
ReasoningTaskDescription	Reasoning task description.
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.

Enum Summary

Enum	Description
ExtensionTable.View	View.
NodeType	NodeType.