@ParametersAreNonnullByDefault

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

Interface Summary

Interface	Description
KnownSubsumers	abstract class to represent the known subsumers of a concept

Class Summary

Class	Description
Axiom	inner axiom class
AxiomSet	set of axioms
CGLabel	Completion graph label
ClassifiableEntry	classifiable entry
Concept	concept
ConceptWDep	concept and dependency set
CWDArray	List of concepts with dependencies
DlCompletionGraph	completion graph
DlCompletionTree	completion tree
DlCompletionTreeArc	completion tree arc
DLConceptTaxonomy	Concept taxonomy
DLDag	directed acyclic graph
DlSatTester	sat tester
ExpressionCache	Cache for expressions.
ExpressionManager	expression factory
ExpressionTranslator	expression translator
InAx	DLTREE utils
Individual	individual
KBFlags	flags
Lexeme	lexeme
LogicFeatures	logic features
MergableLabel	label that can be merged
NamedEntry	named entry
NamedEntryCollection<T extends NamedEntry>	class for collect TNamedEntry'es together.
NameSet<T,K>	name set
NominalReasoner	nominal reasoner
Ontology	ontology
OntologyLoader	ontology loader
RAStateTransitions	class to represent transitions from a single state in an automaton
RATransition	role automaton transition
ReasoningKernel	Reasoning kernel
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
TDag2Interface	class to translate DAG entities into the TDL* expressions
ToldSubsumers	class to represent the TS's

Enum Summary

Enum	Description
AbsorptionActions
AddConceptResult	add concept result
Concept.CTTag	type of concept wrt classifiability
DagTag	different Concept Expression tags
KBStatus	KB status
Token	tokens

Exception Summary

Exception	Description
ReasonerFreshEntityException	The Class ReasonerFreshEntityException.