All Classes
AbsorptionActions
AbstractConceptDataCardinality
AbstractDatatype
AbstractNaryAxiom
Actor
ActorImpl
AddConceptResult
AddRoleActor
ArrayIntMap
ArrayQueue
Axiom
AxiomConceptInclusion
AxiomDeclaration
AxiomDifferentIndividuals
AxiomDisjointConcepts
AxiomDisjointDRoles
AxiomDisjointORoles
AxiomDisjointUnion
AxiomDRoleDomain
AxiomDRoleFunctional
AxiomDRoleRange
AxiomDRoleSubsumption
AxiomEquivalentConcepts
AxiomEquivalentDRoles
AxiomEquivalentORoles
AxiomFairnessConstraint
AxiomImpl
AxiomInstanceOf
AxiomORoleDomain
AxiomORoleFunctional
AxiomORoleRange
AxiomORoleSubsumption
AxiomRelatedTo
AxiomRelatedToNot
AxiomRoleAsymmetric
AxiomRoleInverse
AxiomRoleInverseFunctional
AxiomRoleIrreflexive
AxiomRoleReflexive
AxiomRoleSymmetric
AxiomRoleTransitive
Axioms
AxiomSameIndividuals
AxiomSet
AxiomSingleDRole
AxiomSingleORole
AxiomTranslator
AxiomValueOf
AxiomValueOfNot
cardinality
CGLabel
ClassExpressionTranslator
ClassifiableEntry
ClassPolicy
ComplexObjectPropertyTranslator
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
CWDArray
DagTag
DataAnd
DataBottom
DataExpression
DataExpressionArg
DataNot
DataOneOf
DataOr
DataPropertyPolicy
DataPropertyTranslator
DataRangeTranslator
DataRoleArg
DataRoleBottom
DataRoleExpression
DataRoleName
DataRoleTop
DataTop
Datatype
DatatypeClashes
DatatypeCombination
DatatypeEntry
DatatypeEnumeration
DatatypeExpression
DatatypeFactory
DatatypeIntersection
DatatypeNegation
DatatypeNumericEnumeration
DataTypeReasoner
DataTypeSituation
DatatypeUnion
DeclarationVisitorEx
DepSet
DLAxiomVisitor
DLAxiomVisitorEx
DlCompletionGraph
DLCompletionGraphSaveState
DlCompletionTree
DlCompletionTreeArc
DLCompletionTreeSaveState
DLConceptTaxonomy
DLDag
DLExpressionVisitor
DLExpressionVisitorAdapter
DLExpressionVisitorEx
DLExpressionVisitorExAdapter
DlSatTester
DLTree
DLTreeFactory
DLVertex
EntailmentChecker
Entity
Expression
ExpressionCache
ExpressionManager
ExpressionTranslator
Facet
Facets
Facets.whitespace
Helper
InAx
Individual
IndividualExpression
IndividualName
IndividualPolicy
IndividualTranslator
JFactFactory
JFactProtegeFactory
JFactReasoner
JFactReasonerConfiguration
JFactRenderingViewComponent
KBFlags
KBStatus
KnowledgeExplorer
KnownSubsumers
Lexeme
Literal
LiteralEntry
LogAdapter
LogicFeatures
MergableLabel
ModelCacheConst
ModelCacheIan
ModelCacheInterface
ModelCacheSingleton
ModelCacheState
ModelCacheType
NamedEntity
NamedEntityImpl
NamedEntry
NamedEntryCollection
NameSet
NAryExpression
NAryExpressionImpl
NominalReasoner
NumberArg
NumericDatatype
NumericLiteral
NumericLiteralImpl
ObjectPropertyPolicy
ObjectPropertyTranslator
ObjectRoleArg
ObjectRoleBottom
ObjectRoleChain
ObjectRoleComplexExpression
ObjectRoleExpression
ObjectRoleInverse
ObjectRoleName
ObjectRoleProjectionFrom
ObjectRoleProjectionInto
ObjectRoleTop
Ontology
OntologyLoader
ordered
OrderedDatatype
Original
Pair
Policy
PortedFrom
QueueQueue
RAStateTransitions
RATransition
ReasonerFreshEntityException
ReasoningKernel
Reference
Related
Restorer
RIActor
Role
RoleAutomaton
RoleExpression
RoleMaster
SaveList
SaveStack
SaveStackRare
SaveState
StatIndex
Stats
Stats.AccumulatedStatistic
SupConceptActor
Taxonomy
TaxonomyActor
TaxonomyCreator
TaxonomyVertex
TBox
TDag2Interface
Templates
Timer
ToDoEntry
ToDoList
TODOListSaveState
ToDoPriorMatrix
Token
ToldSubsumers
TranslationMachinery
UnreachableSituationException
Utils
WalkerInterface