uk.ac.manchester.cs.jfact.kernel

Interfaces

• NameCreator

Classes

• 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
• NameSet
• NominalReasoner
• Ontology
• OntologyLoader
• RAStateTransitions
• RATransition
• ReasoningKernel
• Related
• Restorer
• Role
• RoleAutomaton
• RoleMaster
• RoleMaster.RoleCreator
• Taxonomy
• TaxonomyVertex
• TBox
• TDag2Interface
• ToDoList
• ToDoList.ToDoEntry

Enums

• AddConceptResult
• Concept.CTTag
• DagTag
• KBStatus
• Token

Exceptions

• ReasonerFreshEntityException