uk.ac.manchester.cs.jfact.kernel

Interfaces

• KnownSubsumers

Classes

• Axiom
• AxiomSet
• CGLabel
• ClassifiableEntry
• Concept
• ConceptWDep
• CWDArray
• DlCompletionGraph
• DlCompletionTree
• DlCompletionTreeArc
• DLConceptTaxonomy
• DLDag
• DlSatTester
• ExpressionCache
• ExpressionManager
• ExpressionTranslator
• InAx
• Individual
• KBFlags
• Lexeme
• LogicFeatures
• MergableLabel
• NamedEntry
• NamedEntryCollection
• NameSet
• NominalReasoner
• Ontology
• OntologyLoader
• RAStateTransitions
• RATransition
• ReasoningKernel
• Related
• Restorer
• Role
• RoleAutomaton
• RoleMaster
• SaveStackRare
• Taxonomy
• TaxonomyCreator
• TaxonomyVertex
• TBox
• TDag2Interface
• ToldSubsumers

Enums

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

Exceptions

• ReasonerFreshEntityException