All Classes
AbstractCommand
AbstractExpansionStrategy
Acceptor
ActiveNodesCommand
AgainCommand
AncestorBlocking
AnnotatedEquality
AnyURIDatatypeHandler
AnyURIValueSpaceSubset
AnywhereBlocking
AnywhereValidatedBlocking
AtLeast
AtLeastConcept
AtLeastDataRange
Atom
AtomicConcept
AtomicConceptElement
AtomicDataRange
AtomicNegationConcept
AtomicNegationDataRange
AtomicRole
Automaton
Base64
BigRational
BinaryData
BinaryDataDatatypeHandler
BinaryDataLengthInterval
BinaryDataType
BinaryDataValueSpaceSubset
BinaryExpr
BinaryTest
BinaryTransformation
Bisimulation
BlockingSignature
BlockingSignatureCache
BlockingStrategy
BlockingValidator
BooleanDatatypeHandler
BoundType
BoundType
BranchingPoint
BreakpointTimeCommand
BuiltInPropertyManager
ClashManager
ClassificationProgressMonitor
ClearCommand
CommandLine
Complement
Concatenation
Concept
Configuration
Configuration.BlockingSignatureCacheType
Configuration.BlockingStrategyType
Configuration.DirectBlockingType
Configuration.ExistentialStrategyType
Configuration.PrepareReasonerInferences
Configuration.TableauMonitorType
Configuration.WarningMonitor
ConjunctiveQuery
ConjunctiveQuery.QueryAnswerCallback
ConsoleTextArea
Constant
ConstantEnumeration
ContainsEpsilon
ContinueCommand
ConverterException
CountingMonitor
CountingMonitor.TestRecord
Couple
CreationOrderStrategy
DatalogEngine
DataRange
DatatypeHandler
DatatypeManager
DatatypeManager.DConjunction
DatatypeManager.DVariable
DatatypeRegistry
DatatypeRegistry.AnonymousConstantValue
DatatypeRestriction
DateTime
DateTimeDatatypeHandler
DateTimeInterval
DateTimeValueSpaceSubset
Debugger
Debugger.NodeCreationInfo
Debugger.WaitOption
DebuggerCommand
DefaultStateFactory
DefaultSynchronization
DependencySet
DependencySetFactory
DerivationHistory
DerivationHistory.Atom
DerivationHistory.BaseFact
DerivationHistory.ClashDetection
DerivationHistory.DatatypeChecking
DerivationHistory.Derivation
DerivationHistory.DisjunctApplication
DerivationHistory.Disjunction
DerivationHistory.DLClauseApplication
DerivationHistory.ExistentialExpansion
DerivationHistory.Fact
DerivationHistory.GraphChecking
DerivationHistory.Merging
DerivationHistory.UnknownDatatypeRestrictionDetection
DerivationTreeCommand
DerivationViewer
DescriptionGraph
DescriptionGraph.Edge
DescriptionGraphManager
DeterministicClassification
DirectBlockingChecker
DisjunctionBranchingPoint
DLClause
DLClauseEvaluator
DLClauseEvaluator.BufferSupply
DLClauseEvaluator.ConjunctionCompiler
DLClauseEvaluator.ValuesBufferManager
DLClauseEvaluator.Worker
DLOntology
DLOntology.AtomicConceptComparator
DLOntology.AtomicRoleComparator
DLOntology.IndividualComparator
DLPredicate
DoubleDatatypeHandler
DoubleInterval
EntailmentChecker
EntireDoubleSubset
EpsilonTransitionRemover
Equality
ExistentialConcept
ExistentialExpansionManager
ExistentialExpansionStrategy
ExistsDescriptionGraph
ExitCommand
ExpressionManager
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
NoNaNDoubleSubset
NoNaNFloatSubset
Normalizer
NumberInterval
NumberRange
Numbers
Numbers.BoundaryDirection
ObjectPropertyInclusionManager
OriginStatsCommand
OWLAxioms
OWLAxiomsExpressivity
OWLClausification
OWLNormalization
OWLRealDatatypeHandler
OWLRealValueSpaceSubset
PairWiseDirectBlockingChecker
PermanentDependencySet
Plus
Prefixes
Prefixes.ImmutablePrefixes
Printing
Printing.ConceptComparator
Printing.DataRangeComparator
Printing.FactComparator
Product
ProtegeReasonerFactory
Pruner
QuasiOrderClassification
QuasiOrderClassificationForRoles
QueryCommand
QueryResultCollector
Rational
RationalExpr
RDFPlainLiteralDatatypeHandler
RDFPlainLiteralDataValue
RDFPlainLiteralLengthInterval
RDFPlainLiteralLengthInterval.LanguageTagMode
RDFPlainLiteralLengthValueSpaceSubset
RDFPlainLiteralPatternValueSpaceSubset
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
SubtreeViewer
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
XMLLiteral
XMLLiteralDatatypeHandler