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.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.kernel.todolist

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

Class and Description
DlCompletionTree completion tree
ExpressionCache Cache for expressions.
Ontology ontology
ReasoningKernel Reasoning kernel
Role Role
TBox tbox

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

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 completion graph
DLDag directed acyclic graph
Individual individual
Lexeme lexeme
MergableLabel label that can be merged
NamedEntry named entry
Role Role
Token tokens

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

Class and Description
AbsorptionActions
AddConceptResult add concept result
Axiom inner axiom class
AxiomSet set of axioms
CGLabel Completion graph label
ClassifiableEntry classifiable entry
Concept concept
Concept.CTTag type of concept wrt classifiability
ConceptWDep concept and dependency set
CWDArray List of concepts with dependencies
DagTag different Concept Expression tags
DlCompletionTree completion tree
DlCompletionTreeArc completion tree arc
DLDag directed acyclic graph
DlSatTester sat tester
ExpressionCache Cache for expressions.
InAx DLTREE utils
Individual individual
KBFlags flags
KBStatus KB status
KnownSubsumers abstract class to represent the known subsumers of a concept
Lexeme lexeme
LogicFeatures logic features
MergableLabel label that can be merged
NamedEntry named entry
Ontology ontology
RAStateTransitions class to represent transitions from a single state in an automaton
RATransition role automaton transition
Related relation betweenindividuals
Restorer restorer
Role Role
RoleAutomaton role automaton
RoleMaster role master
SaveStackRare Rare stack
Taxonomy taxonomy
TaxonomyCreator taxonomy creator for DL
TaxonomyVertex taxonomy vertex
TBox tbox
Token tokens

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

Class and Description
ClassifiableEntry classifiable entry
ExpressionCache Cache for expressions.
Individual individual
Role Role
Taxonomy taxonomy
TaxonomyVertex taxonomy vertex

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

Class and Description
NamedEntry named entry

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

Class and Description
NamedEntry named entry

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

Class and Description
DlCompletionTree completion tree
DLDag directed acyclic graph

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

Class and Description
ConceptWDep concept and dependency set
DagTag different Concept Expression tags
DlCompletionTree completion tree
SaveStackRare Rare stack