Uses of Package
uk.ac.manchester.cs.jfact.kernel

Packages that use uk.ac.manchester.cs.jfact.kernel

Package	Description
uk.ac.manchester.cs.jfact
uk.ac.manchester.cs.jfact.datatypes
uk.ac.manchester.cs.jfact.elf
uk.ac.manchester.cs.jfact.helpers
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.actors
uk.ac.manchester.cs.jfact.kernel.dl
uk.ac.manchester.cs.jfact.kernel.dl.interfaces
uk.ac.manchester.cs.jfact.kernel.modelcaches
uk.ac.manchester.cs.jfact.split
uk.ac.manchester.cs.jfact.visitors

Classes in uk.ac.manchester.cs.jfact.kernel used by uk.ac.manchester.cs.jfact

Class and Description
ExpressionManager
ReasoningKernel

Classes in uk.ac.manchester.cs.jfact.kernel used by uk.ac.manchester.cs.jfact.datatypes

Class and Description
DagTag different Concept Expression tags
NamedEntry

Classes in uk.ac.manchester.cs.jfact.kernel used by uk.ac.manchester.cs.jfact.elf

Class and Description
ExpressionManager
Ontology

Classes in uk.ac.manchester.cs.jfact.kernel used by uk.ac.manchester.cs.jfact.helpers

Class and Description
DagTag different Concept Expression tags
DlCompletionGraph
DLDag
Lexeme
MergableLabel
NamedEntry
Role
Token

Classes in uk.ac.manchester.cs.jfact.kernel used by uk.ac.manchester.cs.jfact.kernel

Class and Description
AddConceptResult
Axiom
CGLabel
ClassifiableEntry
Concept
Concept.CTTag type of concept wrt classifiability
ConceptWDep
CWDArray
DagTag different Concept Expression tags
DlCompletionGraph
DlCompletionTree
DlCompletionTreeArc
DLConceptTaxonomy
DLDag
DlSatTester
ExpressionManager
Individual
KBFlags
KBStatus KB status
Lexeme
LogicFeatures
MergableLabel
NameCreator
NamedEntry
NameSet
Ontology
RAStateTransitions class to represent transitions from a single state in an automaton
RATransition
Related
Restorer
Role
RoleAutomaton
RoleMaster
Taxonomy
TaxonomyVertex
TBox
ToDoList.ToDoEntry the entry of Todo table
Token

Classes in uk.ac.manchester.cs.jfact.kernel used by uk.ac.manchester.cs.jfact.kernel.actors

Class and Description
ClassifiableEntry
ExpressionManager
Individual
Role
TaxonomyVertex

Classes in uk.ac.manchester.cs.jfact.kernel used by uk.ac.manchester.cs.jfact.kernel.dl

Class and Description
NamedEntry

Classes in uk.ac.manchester.cs.jfact.kernel used by uk.ac.manchester.cs.jfact.kernel.dl.interfaces

Class and Description
NamedEntry

Classes in uk.ac.manchester.cs.jfact.kernel used by uk.ac.manchester.cs.jfact.kernel.modelcaches

Class and Description
DlCompletionTree
DLDag

Classes in uk.ac.manchester.cs.jfact.kernel used by uk.ac.manchester.cs.jfact.split

Class and Description
Concept
DlCompletionTree
DLDag
ExpressionManager
Ontology
ReasoningKernel
Role
TBox

Classes in uk.ac.manchester.cs.jfact.kernel used by uk.ac.manchester.cs.jfact.visitors

Class and Description
Ontology