|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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). |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |