| Interface | Description |
|---|---|
| NameCreator<T> |
| Class | Description |
|---|---|
| Axiom | |
| AxiomSet | |
| CGLabel | |
| ClassifiableEntry | |
| Concept | |
| ConceptWDep | |
| CWDArray | |
| DlCompletionGraph | |
| DlCompletionTree | |
| DlCompletionTreeArc | |
| DLConceptTaxonomy | |
| DLDag | |
| DlSatTester | |
| ExpressionManager | |
| ExpressionManager.ConceptNameCreator | |
| ExpressionManager.DataroleNameCreator | |
| ExpressionManager.IndividualNameCreator | |
| ExpressionManager.ObjectroleNameCreator | |
| ExpressionTranslator | |
| InAx | |
| Individual | |
| KBFlags | |
| Lexeme | |
| LogicFeatures | |
| MergableLabel | |
| NamedEntry | |
| NamedEntryCollection<T extends NamedEntry> |
class for collect TNamedEntry'es together.
|
| NameSet<T> | |
| NominalReasoner | |
| Ontology | |
| OntologyLoader | |
| RAStateTransitions |
class to represent transitions from a single state in an automaton
|
| RATransition | |
| ReasoningKernel | |
| Related | |
| Restorer | |
| Role | |
| RoleAutomaton | |
| RoleMaster | |
| RoleMaster.RoleCreator | |
| Taxonomy | |
| TaxonomyVertex | |
| TBox | |
| TDag2Interface |
class to translate DAG entities into the TDL* expressions
|
| ToDoList | |
| ToDoList.ToDoEntry |
the entry of Todo table
|
| Enum | Description |
|---|---|
| AddConceptResult | |
| Concept.CTTag |
type of concept wrt classifiability
|
| DagTag |
different Concept Expression tags
|
| KBStatus |
KB status
|
| Token |
| Exception | Description |
|---|---|
| ReasonerFreshEntityException |
Copyright © 2013 The University of Manchester. All Rights Reserved.