All Classes
AbstractConceptDataCardinality
AbstractNaryAxiom
Actor
AddConceptResult
AddRoleActor
AOStructure
ArrayIntMap
AtomicDecomposer
Axiom
Axiom
AxiomConceptInclusion
AxiomDeclaration
AxiomDifferentIndividuals
AxiomDisjointConcepts
AxiomDisjointDRoles
AxiomDisjointORoles
AxiomDisjointUnion
AxiomDRoleDomain
AxiomDRoleFunctional
AxiomDRoleRange
AxiomDRoleSubsumption
AxiomEquivalentConcepts
AxiomEquivalentDRoles
AxiomEquivalentORoles
AxiomFairnessConstraint
AxiomInstanceOf
AxiomORoleDomain
AxiomORoleFunctional
AxiomORoleRange
AxiomORoleSubsumption
AxiomRelatedTo
AxiomRelatedToNot
AxiomRoleAsymmetric
AxiomRoleInverse
AxiomRoleInverseFunctional
AxiomRoleIrreflexive
AxiomRoleReflexive
AxiomRoleSymmetric
AxiomRoleTransitive
AxiomSameIndividuals
AxiomSet
AxiomSingleDRole
AxiomSingleORole
AxiomValueOf
AxiomValueOfNot
BotEquivalenceEvaluator
CAddFillerRule
CAndSubRule
cardinality
CExistSubRule
CGLabel
ClassifiableEntry
ClassPolicy
Concept
Concept.CTTag
ConceptAnd
ConceptArg
ConceptBottom
ConceptDataCardinalityExpression
ConceptDataExactCardinality
ConceptDataExists
ConceptDataForall
ConceptDataMaxCardinality
ConceptDataMinCardinality
ConceptDataRoleExpression
ConceptDataRVExpression
ConceptDataValue
ConceptExpression
ConceptName
ConceptNot
ConceptObjectCardinalityExpression
ConceptObjectExactCardinality
ConceptObjectExists
ConceptObjectForall
ConceptObjectMaxCardinality
ConceptObjectMinCardinality
ConceptObjectRCExpression
ConceptObjectRoleExpression
ConceptObjectSelf
ConceptObjectValue
ConceptOneOf
ConceptOr
ConceptTop
ConceptWDep
CSubRule
CWDArray
DagTag
DataAnd
DataBottom
DataExpression
DataExpressionArg
DataNot
DataOneOf
DataOr
DataPropertyPolicy
DataRoleArg
DataRoleBottom
DataRoleExpression
DataRoleName
DataRoleTop
DataTop
Datatype
DatatypeCombination
DatatypeEntry
DatatypeEnumeration
DatatypeExpression
DatatypeFactory
DatatypeIntersection
DatatypeNegation
DatatypeNumericEnumeration
DataTypeReasoner
DataTypeSituation
DatatypeUnion
DepSet
DLAxiomVisitor
DLAxiomVisitorAdapter
DLAxiomVisitorEx
DLAxiomVisitorExAdapter
DlCompletionGraph
DLCompletionGraphSaveState
DlCompletionTree
DlCompletionTreeArc
DLCompletionTreeSaveState
DLConceptTaxonomy
DLDag
DLExpressionVisitor
DLExpressionVisitorAdapter
DLExpressionVisitorEx
DLExpressionVisitorExAdapter
DlSatTester
DLTree
DLTreeFactory
DLVertex
ELFAxiomChecker
ELFExpressionChecker
ELFNormalizer
ELFReasoner
Entity
Expression
ExpressionManager
ExpressionManager.ConceptNameCreator
ExpressionManager.DataroleNameCreator
ExpressionManager.IndividualNameCreator
ExpressionManager.ObjectroleNameCreator
ExpressionTranslator
Facet
Facets
Facets.whitespace
FastSet
FastSetFactory
FastSetSimple
Helper
InAx
Individual
IndividualExpression
IndividualName
IndividualPolicy
IntCache
IntList
IntMap
IntSet
JFactFactory
JFactReasoner
JFactReasonerConfiguration
KBFlags
KBStatus
KnowledgeExplorer
Lexeme
Literal
LiteralEntry
LocalityChecker
LogAdapter
LogicFeatures
LongOption
MergableLabel
ModelCacheConst
ModelCacheIan
ModelCacheInterface
ModelCacheSingleton
ModelCacheState
ModelCacheType
ModuleType
NameCreator
NamedEntity
NamedEntityImpl
NamedEntry
NamedEntryCollection
NameSet
NAryExpression
NAryExpressionImpl
NominalReasoner
NumberArg
NumericDatatype
NumericLiteral
NumericLiteralImpl
ObjectPropertyPolicy
ObjectRoleArg
ObjectRoleBottom
ObjectRoleChain
ObjectRoleComplexExpression
ObjectRoleExpression
ObjectRoleInverse
ObjectRoleName
ObjectRoleProjectionFrom
ObjectRoleProjectionInto
ObjectRoleTop
Ontology
OntologyLoader
Option
ordered
OrderedDatatype
Original
Pair
Policy
PortedFrom
RAddRule
RAStateTransitions
RATransition
RBotRule
RChainLRule
RChainRRule
ReasonerFreshEntityException
ReasoningKernel
Reference
Related
Restorer
RIActor
Role
RoleAutomaton
RoleExpression
RoleMaster
RoleMaster.RoleCreator
RSubRule
SaveList
SaveStack
SaveState
SemanticLocalityChecker
SigAccessor
SigIndex
SortedIntList
StatIndex
Stats
Stats.AccumulatedStatistic
StringOption
SupConceptActor
SyntacticLocalityChecker
TAxiomSplitter
Taxonomy
TaxonomyActor
TaxonomyVertex
TBox
TDag2Interface
Templates
Timer
TModularizer
ToDoList
ToDoList.ToDoEntry
Token
TOntologyAtom
TopEquivalenceEvaluator
TranslationMachinery
TSignature
TSignatureUpdater
TSplitRules
TSplitVar
TSplitVars
UnreachableSituationException
Utils
Vocabulary