|
||||||||||
| 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 | |||||||||