- ABox
- ABoxImpl
- ABoxStats
- AbstractBaseDatatype
- AbstractConceptCache
- AbstractDefinitionOrder
- AbstractDerivedIntegerType
- AbstractIntSet
- AbstractProgressMonitor
- AbstractTableauRule
- AbstractTimelineDatatype
- AddBranchDependency
- AllNamedIndividualsIterator
- AllValuesRule
- AlphaDiffFromNode
- AlphaEdgeNode
- AlphaFixedEdgeNode
- AlphaFixedObjectEdgeNode
- AlphaFixedSubjectEdgeNode
- AlphaNetwork
- AlphaNode
- AlphaNoVarEdgeNode
- AlphaNumericComparator
- AlphaReflexiveEdgeNode
- AlphaTypeNode
- AnnotationClasses
- ArrayIntSet
- ATermBaseRenderer
- ATermBaseVisitor
- ATermManchesterSyntaxRenderer
- ATermRenderer
- ATermUtils
- ATermVisitor
- AtomConstant
- AtomDConstant
- AtomDObject
- AtomDVariable
- AtomIConstant
- AtomIObject
- AtomIVariable
- AtomObject
- AtomObjectVisitor
- AtomVariable
- Base
- BasicCompletionQueue
- BetaBuiltinNode
- BetaMemoryIndex
- BetaMemoryNode
- BetaNode
- BetaTopNode
- BinaryAtom
- BinarySet
- BinaryTBox
- BinaryTester
- BindingGenerator
- BindingGeneratorImpl
- BindingGeneratorStrategy
- BindingGeneratorStrategyImpl
- BindingHelper
- BitIntSet
- Block1Set
- Block2All
- Block3Max
- Block4Min
- Block5Max
- Block6MinSome
- Blocking
- BlockingCondition
- BlockingContext
- BlockingFactory
- Bool
- BooleanOperators
- Boxes
- Branch
- BranchDependency
- BranchEffectTracker
- BuiltIn
- BuiltInAtom
- BuiltInCondition
- BuiltinNamespace
- BuiltInRegistry
- CachedConceptNode
- CachedConstantNode
- CachedEdge
- CachedInEdge
- CachedNode
- CachedNodeFactory
- CachedOutEdge
- CacheSafety
- CacheSafetyAlwaysSafe
- CacheSafetyDynamic
- CacheSafetyFactory
- CacheSafetyNeverSafe
- CandidateSet
- CDOptimizedTaxonomyBuilder
- ChooseBranch
- ChooseRule
- Clash
- Clash.ClashType
- ClashDependency
- ClassAtom
- ClassesBase
- ClassTreePrinter
- CloseBranchDependency
- CollectionUtils
- Comparators
- ComparisonTesters
- Compiler
- CompletionQueue
- CompletionStrategy
- ConceptCache
- ConceptCacheLRU
- ConsoleProgressMonitor
- ContinuousRealInterval
- ContinuousRulesStrategy
- DataCardinalityRule
- DataRange
- DataRangeAtom
- DataRangeBindingHelper
- DataSatisfiabilityRule
- Datatype
- DatatypeReasoner
- DatatypeReasonerException
- DatatypeReasonerImpl
- Datatypes
- DatatypeVisitor
- DatavaluedPropertyAtom
- DataValueEnumeration
- DatavaluePropertyBindingHelper
- DateTimeOperators
- DefaultEdge
- DefinitionOrder
- DefinitionOrderFactory
- Dependency
- DependencyEntry
- DependencyIndex
- DependencySet
- DifferentIndividualsAtom
- DiscreteInterval
- DisjointSet
- DisjunctionBranch
- DisjunctionRule
- DLExpressivityChecker
- DNF
- DurationFormat
- Edge
- EdgeList
- ELExpressivityChecker
- ELSyntaxUtils
- EmptyDataRange
- EmptyIterator
- EmptyRestrictedDatatype
- EmptySRIQStrategy
- EqualityBlocking
- Expressivity
- ExpressivityChecker
- Facet
- Facet.Registry
- Facet.XSD
- FileUtils
- FilterCondition
- FilterIterator
- FlattenningIterator
- FloatingPointInterval
- FloatingPointInterval
- FloatingPointType
- FloatingPointType
- FloatingPointUtils
- FloatingPointUtils
- FSMBuilder
- FullyDefinedClassVisitor
- Function
- FunctionApplicationVisitor
- FunctionBuiltIn
- GeneralFunction
- GeneralFunctionBuiltIn
- GenericTaxonomyBuilder
- GuessBranch
- GuessRule
- IdentityHashSet
- IEEEDoubleType
- IEEEDoubleType
- IEEEFloatType
- IEEEFloatType
- InconsistentOntologyException
- IncrementalChangeTracker
- IncrementalRestore
- Individual
- IndividualBranch
- IndividualIterator
- IndividualPropertyAtom
- InfiniteNamedDatatype
- InstancesBase
- IntegerInterval
- InternalReasonerException
- Interpreter
- IntervalRelations
- IntIterator
- IntSet
- IntSetFactory
- InvalidConstrainingFacetException
- InvalidLiteralException
- IteratorUtils
- JGraphBasedDefinitionOrder
- JoinCondition
- KBLoader
- KBOperation
- KnowledgeBase
- KnowledgeBase.ChangeType
- KnowledgeBaseImpl
- KnowledgeBaseImpl.AssertionType
- KnowledgeBaseImplFullSync
- KRSSLoader
- Literal
- LiteralFilter
- MapIterator
- MaxBranch
- MaxCardinalityRule
- MemUtils
- MergeDependency
- MessageBase
- MinCardinalityRule
- MultiIterator
- MultiListIterator
- MultiMap
- MultiMapUtils
- MultiValueMap
- NamedDataRangeExpander
- Namespaces
- NegatedDataRange
- NestedIterator
- Node
- NodeMerge
- NodeProvider
- NodeProvider.ConstantNodeProvider
- NodeProvider.TokenNodeProvider
- NodeProvider.WMENodeProvider
- NodeSelector
- NominalRule
- NoSuchBuiltIn
- NumberToLiteralVisitor
- NumberUtils
- NumericAdapter
- NumericComparisonVisitor
- NumericFunction
- NumericOperators
- NumericPromotion
- NumericVisitor
- ObjectVariableBindingHelper
- OntBuilder
- OpenlletOptions
- OpenlletOptions.InstanceRetrievalMethod
- OpenlletOptions.MonitorType
- OpenlletOptions.OrderedClassification
- OpenlletOptions.UndefinedDatatypeHandling
- OptimizedBasicCompletionQueue
- OptimizedDoubleBlocking
- OWLRational
- OWLReal
- OWLRealInterval
- OWLRealInterval.IntegerIterator
- OWLRealInterval.LineType
- OWLRealUtils
- Pair
- PairIterator
- PartialBinding
- PartialOrderBuilder
- PartialOrderComparator
- PartialOrderRelation
- PartialOrderTaxonomyBuilder
- PatternFilter
- PelletRuntimeException
- PermutationGenerator
- PrimitiveTBox
- ProductionNode
- ProductionNode.DiffFrom
- ProductionNode.Edge
- ProductionNode.Inconsistency
- ProductionNode.ProduceBinding
- ProductionNode.SameAs
- ProductionNode.Type
- ProfileBasedExpressivityChecker
- ProgressMonitor
- PropertiesBase
- PropertiesBuilder
- PropertyType
- QNameProvider
- QueueElement
- Rational
- RBox
- RBoxImpl
- RDFPlainLiteral
- RDFXMLTaxonomyPrinter
- RestrictedBooleanDatatype
- RestrictedDatatype
- RestrictedDurationDatatype
- RestrictedFloatingPointDatatype
- RestrictedFloatingPointDatatype
- RestrictedRealDatatype
- RestrictedRealDatatype
- RestrictedTextDatatype
- RestrictedTimelineDatatype
- RestrictedURIDatatype
- ReteNode
- Role
- RoleChainCache
- RoleImpl
- RoleRestrictionCache
- RoleTaxonomyBuilder
- Rule
- RuleAbsorber
- RuleAtom
- RuleAtomAsserter
- RuleAtomImpl
- RuleAtomVisitor
- RuleBasedELClassifier
- RuleBranch
- RulesToATermTranslator
- SameIndividualAtom
- SelfRule
- SetUtils
- ShiftedBitIntSet
- SilentProgressMonitor
- SimpleAllValuesRule
- SimpleBranchEffectTracker
- SimpleIncrementalChangeTracker
- SimplifiedELClassifier
- SizeEstimate
- SomeValuesRule
- SROIQIncStrategy
- SROIQStrategy
- State
- StatisticsTable
- StringFunctionAdapter
- StringOperators
- StringToStringFunction
- SubsetBlocking
- SubsumptionComparator
- SwingProgressMonitor
- TableauRule
- TableData
- Taxonomy
- TaxonomyBasedDefinitionOrder
- TaxonomyBuilder
- TaxonomyImpl
- TaxonomyNode
- TaxonomyPrinter
- TaxonomyUtils
- TaxonomyUtils.TaxonomyKey
- TBox
- TBoxBase
- TBoxExpImpl
- TBoxFactory
- TBoxImpl
- TermDefinition
- TermFactory
- Tester
- TesterBuiltIn
- TgBox
- TimeoutException
- Timer
- TimerInterruptedException
- Timers
- Token
- Transition
- TransitionGraph
- TreeTaxonomyPrinter
- Trigger
- TrivialSatisfactionHelpers
- TuBox
- Tuple
- TypeDependency
- UnaryAtom
- UnaryTBox
- UndefinedEntityException
- Unfolding
- UnfoldingRule
- UnionDataRange
- UnrecognizedDatatypeException
- UnsupportedFeatureException
- UnsupportedQueryException
- URIOperators
- URIUtils
- UsableRuleFilter
- VariableBinding
- VariableUtils
- VersionInfo
- WME
- WME.BuiltinWME
- WME.DiffFrom
- WME.EdgeDirection
- WME.EdgeWME
- WME.Kind
- WME.TypeWME
- XSDAnyURI
- XSDBoolean
- XSDByte
- XSDDate
- XSDDateTime
- XSDDateTimeStamp
- XSDDecimal
- XSDDecimal
- XSDDouble
- XSDDouble
- XSDDuration
- XSDFloat
- XSDFloat
- XSDGDay
- XSDGMonth
- XSDGMonthDay
- XSDGYear
- XSDGYearMonth
- XSDInt
- XSDInteger
- XSDInteger
- XSDLanguage
- XSDLong
- XSDLong
- XSDName
- XSDNCName
- XSDNegativeInteger
- XSDNMToken
- XSDNonNegativeInteger
- XSDNonPositiveInteger
- XSDNormalizedString
- XSDPositiveInteger
- XSDShort
- XSDString
- XSDTime
- XSDToken
- XSDUnsignedByte
- XSDUnsignedInt
- XSDUnsignedLong
- XSDUnsignedShort