All Classes
AbstractCommand
AbstractExpansionStrategy
Acceptor
ActiveNodesCommand
AgainCommand
AncestorBlocking
AnnotatedEquality
AnyURIDatatypeHandler
AnyURIValueSpaceSubset
AnywhereBlocking
AnywhereValidatedBlocking
AtLeast
AtLeastConcept
AtLeastDataRange
Atom
AtomicConcept
AtomicConceptElement
AtomicDataRange
AtomicNegationConcept
AtomicNegationDataRange
AtomicRole
Automaton
BigRational
BinaryDataDatatypeHandler
BinaryDataLengthInterval
BinaryDataValueSpaceSubset
BinaryExpr
BinaryTest
BinaryTransformation
Bisimulation
BlockingSignature
BlockingSignatureCache
BlockingStrategy
BlockingValidator
BooleanDatatypeHandler
BoundType
BranchingPoint
BreakpointTimeCommand
BuiltInPropertyManager
ClashManager
ClassificationProgressMonitor
ClearCommand
Complement
Concatenation
Concept
Configuration
Configuration.BlockingSignatureCacheType
Configuration.BlockingStrategyType
Configuration.DirectBlockingType
Configuration.ExistentialStrategyType
Configuration.PrepareReasonerInferences
Configuration.TableauMonitorType
Configuration.WarningMonitor
ConjunctiveQuery
ConsoleTextArea
Constant
ConstantEnumeration
ContainsEpsilon
ContinueCommand
ConverterException
CountingMonitor
Couple
CreationOrderStrategy
DatalogEngine
DataRange
DatatypeHandler
DatatypeManager
DatatypeManager.DConjunction
DatatypeManager.DVariable
DatatypeRegistry
DatatypeRestriction
DateTime
DateTimeDatatypeHandler
DateTimeInterval
DateTimeValueSpaceSubset
Debugger
Debugger.NodeCreationInfo
Debugger.WaitOption
DebuggerCommand
DefaultStateFactory
DefaultSynchronization
DependencySet
DependencySetFactory
DerivationHistory
DerivationHistory.Fact
DerivationTreeCommand
DerivationViewer
DescriptionGraph
DescriptionGraph.Edge
DescriptionGraphManager
DeterministicClassification
DirectBlockingChecker
DisjunctionBranchingPoint
DLClause
DLClauseEvaluator
DLClauseEvaluator.BufferSupply
DLClauseEvaluator.ConjunctionCompiler
DLClauseEvaluator.ValuesBufferManager
DLClauseEvaluator.Worker
DLOntology
DLPredicate
DoubleDatatypeHandler
DoubleInterval
EntailmentChecker
EpsilonTransitionRemover
Equality
ExistentialConcept
ExistentialExpansionManager
ExistentialExpansionStrategy
ExistsDescriptionGraph
ExitCommand
ExtensionManager
ExtensionTable
ExtensionTable.Retrieval
ExtensionTable.View
ExtensionTableWithFullIndex
ExtensionTableWithTupleIndexes
FloatDatatypeHandler
FloatInterval
ForeverCommand
Graph
GroundDisjunction
GroundDisjunctionHeader
HashValue
HelpCommand
Hierarchy
Hierarchy.Transformer
HierarchyDumperFSS
HierarchyNode
HierarchyPrinterFSS
HierarchySearch
HierarchySearch.Relation
HierarchySearch.SearchPredicate
HistoryCommand
HyperresolutionManager
HyperresolutionManager.BodyAtomsSwapper
Individual
IndividualReuseStrategy
Inequality
InstanceManager
InternalDatatype
InterningManager
InterruptFlag
IntervalType
InverseRole
IsAncestorOfCommand
isEmpty
isNormalized
Letter
LiteralConcept
LiteralDataRange
MalformedLiteralException
Matrix
MergingManager
Mix
ModelStatsCommand
NegatedAtomicRole
Node
NodeIDLessEqualThan
NodeIDsAscendingOrEqual
NodesForCommand
NodeType
Normalizer
ObjectPropertyInclusionManager
OriginStatsCommand
OWLAxioms
OWLAxiomsExpressivity
OWLClausification
OWLNormalization
OWLRealDatatypeHandler
OWLRealValueSpaceSubset
PairWiseDirectBlockingChecker
PermanentDependencySet
Plus
Prefixes
Printing
Printing.ConceptComparator
Printing.FactComparator
Product
ProtegeReasonerFactory
Pruner
QuasiOrderClassification
QuasiOrderClassificationForRoles
QueryCommand
QueryResultCollector
Rational
RationalExpr
RDFPlainLiteralDatatypeHandler
Reasoner
Reasoner.ReasonerFactory
ReasonerFactory
ReasoningTaskDescription
ReducedABoxOnlyClausification
Reducer
Relation
ReuseNodeForCommand
Role
SemiRing
SetFactory
ShowDescriptionGraphCommand
ShowDLClausesCommand
ShowExistsCommand
ShowModelCommand
ShowNodeCommand
ShowSubtreeCommand
Shuffle
SingleDirectBlockingChecker
SingleStepCommand
Star
State
StateFactory
StateMachine
Synchronization
Tableau
TableauMonitor
TableauMonitorAdapter
TableauMonitorFork
TableauMonitorForwarder
Term
Timer
TimerWithPause
toAscii
ToDFA
ToString
TransformationsToolBox
Transition
TupleTable
UnaryTest
UnaryTransformation
Union
UnprocessedDisjunctionsCommand
UnsupportedDatatypeException
UnsupportedFacetException
ValidatedPairwiseDirectBlockingChecker
ValidatedSingleDirectBlockingChecker
ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject
ValueSpaceSubset
Variable
WaitForCommand
XMLLiteralDatatypeHandler