Hierarchy For All Packages

Package Hierarchies:

• org.semanticweb.HermiT,
• org.semanticweb.HermiT.blocking,
• org.semanticweb.HermiT.datalog,
• org.semanticweb.HermiT.datatypes,
• org.semanticweb.HermiT.datatypes.anyuri,
• org.semanticweb.HermiT.datatypes.binarydata,
• org.semanticweb.HermiT.datatypes.bool,
• org.semanticweb.HermiT.datatypes.datetime,
• org.semanticweb.HermiT.datatypes.doublenum,
• org.semanticweb.HermiT.datatypes.floatnum,
• org.semanticweb.HermiT.datatypes.owlreal,
• org.semanticweb.HermiT.datatypes.rdfplainliteral,
• org.semanticweb.HermiT.datatypes.xmlliteral,
• org.semanticweb.HermiT.debugger,
• org.semanticweb.HermiT.debugger.commands,
• org.semanticweb.HermiT.existentials,
• org.semanticweb.HermiT.graph,
• org.semanticweb.HermiT.hierarchy,
• org.semanticweb.HermiT.model,
• org.semanticweb.HermiT.monitor,
• org.semanticweb.HermiT.structural,
• org.semanticweb.HermiT.tableau,
• rationals,
• rationals.algebra,
• rationals.converters,
• rationals.expr,
• rationals.properties,
• rationals.transformations

Class Hierarchy

• java.lang.Object
  • org.semanticweb.HermiT.debugger.commands.AbstractCommand (implements org.semanticweb.HermiT.debugger.commands.DebuggerCommand)
    • org.semanticweb.HermiT.debugger.commands.ActiveNodesCommand
    • org.semanticweb.HermiT.debugger.commands.AgainCommand
    • org.semanticweb.HermiT.debugger.commands.BreakpointTimeCommand
    • org.semanticweb.HermiT.debugger.commands.ClearCommand
    • org.semanticweb.HermiT.debugger.commands.ContinueCommand
    • org.semanticweb.HermiT.debugger.commands.DerivationTreeCommand
    • org.semanticweb.HermiT.debugger.commands.ExitCommand
    • org.semanticweb.HermiT.debugger.commands.ForeverCommand
    • org.semanticweb.HermiT.debugger.commands.HelpCommand
    • org.semanticweb.HermiT.debugger.commands.HistoryCommand
    • org.semanticweb.HermiT.debugger.commands.IsAncestorOfCommand
    • org.semanticweb.HermiT.debugger.commands.ModelStatsCommand
    • org.semanticweb.HermiT.debugger.commands.NodesForCommand
    • org.semanticweb.HermiT.debugger.commands.OriginStatsCommand
    • org.semanticweb.HermiT.debugger.commands.QueryCommand
    • org.semanticweb.HermiT.debugger.commands.ReuseNodeForCommand
    • org.semanticweb.HermiT.debugger.commands.ShowDescriptionGraphCommand
    • org.semanticweb.HermiT.debugger.commands.ShowDLClausesCommand
    • org.semanticweb.HermiT.debugger.commands.ShowExistsCommand
    • org.semanticweb.HermiT.debugger.commands.ShowModelCommand
    • org.semanticweb.HermiT.debugger.commands.ShowNodeCommand
    • org.semanticweb.HermiT.debugger.commands.ShowSubtreeCommand
    • org.semanticweb.HermiT.debugger.commands.SingleStepCommand
    • org.semanticweb.HermiT.debugger.commands.UnprocessedDisjunctionsCommand
    • org.semanticweb.HermiT.debugger.commands.WaitForCommand (implements org.semanticweb.HermiT.debugger.commands.DebuggerCommand)
  • org.semanticweb.HermiT.existentials.AbstractExpansionStrategy (implements org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy, java.io.Serializable)
    • org.semanticweb.HermiT.existentials.CreationOrderStrategy (implements java.io.Serializable)
    • org.semanticweb.HermiT.existentials.IndividualReuseStrategy (implements java.io.Serializable)
  • org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo (implements org.protege.editor.owl.model.inference.ProtegeOWLReasonerInfo)
    • org.semanticweb.HermiT.ProtegeReasonerFactory
  • org.semanticweb.HermiT.blocking.AncestorBlocking (implements org.semanticweb.HermiT.blocking.BlockingStrategy, java.io.Serializable)
  • org.semanticweb.HermiT.model.AnnotatedEquality (implements org.semanticweb.HermiT.model.DLPredicate, java.io.Serializable)
  • org.semanticweb.HermiT.datatypes.anyuri.AnyURIDatatypeHandler (implements org.semanticweb.HermiT.datatypes.DatatypeHandler)
  • org.semanticweb.HermiT.datatypes.anyuri.AnyURIValueSpaceSubset (implements org.semanticweb.HermiT.datatypes.ValueSpaceSubset)
  • org.semanticweb.HermiT.blocking.AnywhereBlocking (implements org.semanticweb.HermiT.blocking.BlockingStrategy, java.io.Serializable)
  • org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking (implements org.semanticweb.HermiT.blocking.BlockingStrategy)
  • org.semanticweb.HermiT.model.Atom (implements java.io.Serializable)
  • org.semanticweb.HermiT.hierarchy.AtomicConceptElement
  • rationals.Automaton (implements rationals.Acceptor, java.lang.Cloneable, rationals.Rational, rationals.StateMachine)
  • org.semanticweb.HermiT.datatypes.binarydata.BinaryDataDatatypeHandler (implements org.semanticweb.HermiT.datatypes.DatatypeHandler)
  • org.semanticweb.HermiT.datatypes.binarydata.BinaryDataLengthInterval
  • org.semanticweb.HermiT.datatypes.binarydata.BinaryDataValueSpaceSubset (implements org.semanticweb.HermiT.datatypes.ValueSpaceSubset)
  • rationals.properties.Bisimulation (implements rationals.properties.Relation)
  • org.semanticweb.HermiT.blocking.BlockingSignature
  • org.semanticweb.HermiT.blocking.BlockingSignatureCache (implements java.io.Serializable)
  • org.semanticweb.HermiT.blocking.BlockingValidator
  • org.semanticweb.HermiT.datatypes.bool.BooleanDatatypeHandler (implements org.semanticweb.HermiT.datatypes.DatatypeHandler)
  • org.semanticweb.HermiT.tableau.BranchingPoint (implements java.io.Serializable)
    • org.semanticweb.HermiT.tableau.DisjunctionBranchingPoint
  • org.semanticweb.HermiT.structural.BuiltInPropertyManager
  • org.semanticweb.HermiT.tableau.ClashManager (implements java.io.Serializable)
  • rationals.transformations.Complement (implements rationals.transformations.UnaryTransformation)
  • java.awt.Component (implements java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable)
    • java.awt.Container
      • javax.swing.JComponent (implements java.io.Serializable)
        • javax.swing.text.JTextComponent (implements javax.accessibility.Accessible, javax.swing.Scrollable)
          • javax.swing.JTextArea
            • org.semanticweb.HermiT.debugger.ConsoleTextArea
      • java.awt.Window (implements javax.accessibility.Accessible)
        • java.awt.Frame (implements java.awt.MenuContainer)
          • javax.swing.JFrame (implements javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants)
            • org.semanticweb.HermiT.debugger.DerivationViewer
  • rationals.transformations.Concatenation (implements rationals.transformations.BinaryTransformation)
  • org.semanticweb.HermiT.model.Concept (implements java.io.Serializable)
    • org.semanticweb.HermiT.model.ExistentialConcept
      • org.semanticweb.HermiT.model.AtLeast (implements org.semanticweb.HermiT.model.DLPredicate)
        • org.semanticweb.HermiT.model.AtLeastConcept
        • org.semanticweb.HermiT.model.AtLeastDataRange
      • org.semanticweb.HermiT.model.ExistsDescriptionGraph (implements org.semanticweb.HermiT.model.DLPredicate)
    • org.semanticweb.HermiT.model.LiteralConcept
      • org.semanticweb.HermiT.model.AtomicConcept (implements org.semanticweb.HermiT.model.DLPredicate)
      • org.semanticweb.HermiT.model.AtomicNegationConcept
  • org.semanticweb.HermiT.Configuration (implements java.lang.Cloneable, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration, java.io.Serializable)
  • org.semanticweb.HermiT.Configuration.PrepareReasonerInferences
  • org.semanticweb.HermiT.datalog.ConjunctiveQuery
  • rationals.properties.ContainsEpsilon (implements rationals.properties.UnaryTest)
  • rationals.Couple
  • org.semanticweb.HermiT.datalog.DatalogEngine
  • org.semanticweb.HermiT.model.DataRange (implements java.io.Serializable)
    • org.semanticweb.HermiT.model.LiteralDataRange (implements org.semanticweb.HermiT.model.DLPredicate)
      • org.semanticweb.HermiT.model.AtomicDataRange
        • org.semanticweb.HermiT.model.ConstantEnumeration
        • org.semanticweb.HermiT.model.DatatypeRestriction
        • org.semanticweb.HermiT.model.InternalDatatype (implements org.semanticweb.HermiT.model.DLPredicate)
      • org.semanticweb.HermiT.model.AtomicNegationDataRange
  • org.semanticweb.HermiT.tableau.DatatypeManager (implements java.io.Serializable)
  • org.semanticweb.HermiT.tableau.DatatypeManager.DConjunction (implements java.io.Serializable)
  • org.semanticweb.HermiT.tableau.DatatypeManager.DVariable (implements java.io.Serializable)
  • org.semanticweb.HermiT.datatypes.DatatypeRegistry
  • org.semanticweb.HermiT.datatypes.datetime.DateTime
  • org.semanticweb.HermiT.datatypes.datetime.DateTimeDatatypeHandler (implements org.semanticweb.HermiT.datatypes.DatatypeHandler)
  • org.semanticweb.HermiT.datatypes.datetime.DateTimeInterval
  • org.semanticweb.HermiT.datatypes.datetime.DateTimeValueSpaceSubset (implements org.semanticweb.HermiT.datatypes.ValueSpaceSubset)
  • org.semanticweb.HermiT.debugger.Debugger.NodeCreationInfo
  • rationals.DefaultStateFactory (implements java.lang.Cloneable, rationals.StateFactory)
  • rationals.DefaultSynchronization (implements rationals.Synchronization)
  • org.semanticweb.HermiT.tableau.DependencySetFactory (implements java.io.Serializable)
  • org.semanticweb.HermiT.model.DescriptionGraph (implements org.semanticweb.HermiT.model.DLPredicate, java.io.Serializable)
  • org.semanticweb.HermiT.model.DescriptionGraph.Edge (implements java.io.Serializable)
  • org.semanticweb.HermiT.tableau.DescriptionGraphManager (implements java.io.Serializable)
  • org.semanticweb.HermiT.hierarchy.DeterministicClassification
  • org.semanticweb.HermiT.model.DLClause (implements java.io.Serializable)
  • org.semanticweb.HermiT.tableau.DLClauseEvaluator (implements java.io.Serializable)
  • org.semanticweb.HermiT.tableau.DLClauseEvaluator.BufferSupply
  • org.semanticweb.HermiT.tableau.DLClauseEvaluator.ConjunctionCompiler
  • org.semanticweb.HermiT.tableau.DLClauseEvaluator.ValuesBufferManager
  • org.semanticweb.HermiT.model.DLOntology (implements java.io.Serializable)
  • org.semanticweb.HermiT.datatypes.doublenum.DoubleDatatypeHandler (implements org.semanticweb.HermiT.datatypes.DatatypeHandler)
  • org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval
  • org.semanticweb.HermiT.EntailmentChecker (implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O>)
  • rationals.transformations.EpsilonTransitionRemover (implements rationals.transformations.UnaryTransformation)
  • org.semanticweb.HermiT.model.Equality (implements org.semanticweb.HermiT.model.DLPredicate, java.io.Serializable)
  • org.semanticweb.HermiT.tableau.ExistentialExpansionManager (implements java.io.Serializable)
  • org.semanticweb.HermiT.tableau.ExtensionManager (implements java.io.Serializable)
  • org.semanticweb.HermiT.tableau.ExtensionTable (implements java.io.Serializable)
    • org.semanticweb.HermiT.tableau.ExtensionTableWithFullIndex
    • org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes
  • org.semanticweb.HermiT.datatypes.floatnum.FloatDatatypeHandler (implements org.semanticweb.HermiT.datatypes.DatatypeHandler)
  • org.semanticweb.HermiT.datatypes.floatnum.FloatInterval
  • org.semanticweb.HermiT.graph.Graph<T> (implements java.lang.Cloneable, java.io.Serializable)
  • org.semanticweb.HermiT.tableau.GroundDisjunction (implements java.io.Serializable)
  • org.semanticweb.HermiT.tableau.GroundDisjunctionHeader
  • rationals.transformations.HashValue
  • org.semanticweb.HermiT.hierarchy.Hierarchy<E>
  • org.semanticweb.HermiT.hierarchy.HierarchyDumperFSS
  • org.semanticweb.HermiT.hierarchy.HierarchyNode<E>
  • org.semanticweb.HermiT.hierarchy.HierarchyPrinterFSS
  • org.semanticweb.HermiT.hierarchy.HierarchySearch
  • org.semanticweb.HermiT.tableau.HyperresolutionManager (implements java.io.Serializable)
  • org.semanticweb.HermiT.tableau.HyperresolutionManager.BodyAtomsSwapper
  • org.semanticweb.HermiT.model.Inequality (implements org.semanticweb.HermiT.model.DLPredicate, java.io.Serializable)
  • org.semanticweb.HermiT.hierarchy.InstanceManager
  • org.semanticweb.HermiT.model.InterningManager<E>
  • org.semanticweb.HermiT.tableau.InterruptFlag (implements java.io.Serializable)
  • rationals.properties.isEmpty (implements rationals.properties.UnaryTest)
  • rationals.properties.isNormalized (implements rationals.properties.UnaryTest)
  • rationals.algebra.Matrix (implements rationals.algebra.SemiRing)
  • org.semanticweb.HermiT.tableau.MergingManager (implements java.io.Serializable)
  • rationals.transformations.Mix (implements rationals.transformations.BinaryTransformation)
  • org.semanticweb.HermiT.model.NegatedAtomicRole
  • org.semanticweb.HermiT.tableau.Node (implements java.io.Serializable)
  • org.semanticweb.HermiT.model.NodeIDLessEqualThan (implements org.semanticweb.HermiT.model.DLPredicate, java.io.Serializable)
  • org.semanticweb.HermiT.model.NodeIDsAscendingOrEqual (implements org.semanticweb.HermiT.model.DLPredicate, java.io.Serializable)
  • rationals.transformations.Normalizer (implements rationals.transformations.UnaryTransformation)
  • java.lang.Number (implements java.io.Serializable)
    • org.semanticweb.HermiT.datatypes.owlreal.BigRational (implements java.lang.Comparable<T>)
  • org.semanticweb.HermiT.structural.ObjectPropertyInclusionManager
  • org.semanticweb.HermiT.structural.OWLAxioms
  • org.semanticweb.HermiT.structural.OWLAxiomsExpressivity (implements org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLClassExpressionVisitor)
  • org.semanticweb.HermiT.structural.OWLClausification
  • org.semanticweb.HermiT.structural.OWLNormalization
  • org.semanticweb.HermiT.datatypes.owlreal.OWLRealDatatypeHandler (implements org.semanticweb.HermiT.datatypes.DatatypeHandler)
  • org.semanticweb.HermiT.datatypes.owlreal.OWLRealValueSpaceSubset (implements org.semanticweb.HermiT.datatypes.ValueSpaceSubset)
  • org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker (implements org.semanticweb.HermiT.blocking.DirectBlockingChecker, java.io.Serializable)
  • org.semanticweb.HermiT.tableau.PermanentDependencySet (implements org.semanticweb.HermiT.tableau.DependencySet, java.io.Serializable)
  • org.semanticweb.HermiT.Prefixes (implements java.io.Serializable)
  • org.semanticweb.HermiT.debugger.Printing
  • org.semanticweb.HermiT.debugger.Printing.ConceptComparator (implements java.util.Comparator<T>)
  • org.semanticweb.HermiT.debugger.Printing.FactComparator (implements java.util.Comparator<T>)
  • rationals.transformations.Pruner (implements rationals.transformations.UnaryTransformation)
  • org.semanticweb.HermiT.hierarchy.QuasiOrderClassification
    • org.semanticweb.HermiT.hierarchy.QuasiOrderClassificationForRoles
  • rationals.expr.RationalExpr (implements rationals.algebra.SemiRing)
    • rationals.expr.BinaryExpr
      • rationals.expr.Plus
      • rationals.expr.Product
    • rationals.expr.Letter
  • org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDatatypeHandler (implements org.semanticweb.HermiT.datatypes.DatatypeHandler)
  • org.semanticweb.HermiT.Reasoner (implements org.semanticweb.owlapi.reasoner.OWLReasoner)
  • org.semanticweb.HermiT.ReasonerFactory (implements org.semanticweb.owlapi.reasoner.OWLReasonerFactory)
    • org.semanticweb.HermiT.Reasoner.ReasonerFactory
  • org.semanticweb.HermiT.tableau.ReasoningTaskDescription
  • org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification (implements org.semanticweb.owlapi.model.OWLAxiomVisitor)
  • rationals.transformations.Reducer (implements rationals.transformations.UnaryTransformation)
  • org.semanticweb.HermiT.model.Role (implements java.io.Serializable)
    • org.semanticweb.HermiT.model.AtomicRole (implements org.semanticweb.HermiT.model.DLPredicate)
    • org.semanticweb.HermiT.model.InverseRole
  • org.semanticweb.HermiT.blocking.SetFactory<E> (implements java.io.Serializable)
  • rationals.transformations.Shuffle (implements rationals.transformations.BinaryTransformation)
  • org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker (implements org.semanticweb.HermiT.blocking.DirectBlockingChecker, java.io.Serializable)
  • rationals.transformations.Star (implements rationals.transformations.UnaryTransformation)
  • org.semanticweb.HermiT.tableau.Tableau (implements java.io.Serializable)
  • org.semanticweb.HermiT.monitor.TableauMonitorAdapter (implements java.io.Serializable, org.semanticweb.HermiT.monitor.TableauMonitor)
    • org.semanticweb.HermiT.monitor.CountingMonitor
    • org.semanticweb.HermiT.debugger.DerivationHistory
    • org.semanticweb.HermiT.monitor.Timer
      • org.semanticweb.HermiT.monitor.TimerWithPause
  • org.semanticweb.HermiT.monitor.TableauMonitorFork (implements java.io.Serializable, org.semanticweb.HermiT.monitor.TableauMonitor)
  • org.semanticweb.HermiT.monitor.TableauMonitorForwarder (implements java.io.Serializable, org.semanticweb.HermiT.monitor.TableauMonitor)
    • org.semanticweb.HermiT.debugger.Debugger
  • org.semanticweb.HermiT.model.Term (implements java.io.Serializable)
    • org.semanticweb.HermiT.model.Constant
    • org.semanticweb.HermiT.model.Individual
    • org.semanticweb.HermiT.model.Variable
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • rationals.converters.ConverterException
      • java.lang.RuntimeException
        • org.semanticweb.HermiT.datatypes.MalformedLiteralException
        • org.semanticweb.HermiT.datatypes.UnsupportedDatatypeException
        • org.semanticweb.HermiT.datatypes.UnsupportedFacetException
  • rationals.converters.toAscii (implements rationals.converters.ToString)
  • rationals.transformations.ToDFA (implements rationals.transformations.UnaryTransformation)
  • rationals.transformations.TransformationsToolBox
  • rationals.Transition
  • org.semanticweb.HermiT.tableau.TupleTable (implements java.io.Serializable)
  • rationals.transformations.Union (implements rationals.transformations.BinaryTransformation)
  • org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker (implements org.semanticweb.HermiT.blocking.DirectBlockingChecker, java.io.Serializable)
  • org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker (implements org.semanticweb.HermiT.blocking.DirectBlockingChecker, java.io.Serializable)
  • org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteralDatatypeHandler (implements org.semanticweb.HermiT.datatypes.DatatypeHandler)

Interface Hierarchy

• rationals.Acceptor
• rationals.properties.BinaryTest
• rationals.transformations.BinaryTransformation
• org.semanticweb.HermiT.blocking.BlockingStrategy
• org.semanticweb.HermiT.hierarchy.ClassificationProgressMonitor
• org.semanticweb.HermiT.Configuration.WarningMonitor
• org.semanticweb.HermiT.datatypes.DatatypeHandler
• org.semanticweb.HermiT.debugger.commands.DebuggerCommand
• org.semanticweb.HermiT.tableau.DependencySet
• org.semanticweb.HermiT.blocking.DirectBlockingChecker
• org.semanticweb.HermiT.tableau.DLClauseEvaluator.Worker
• org.semanticweb.HermiT.model.DLPredicate
• org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy
• org.semanticweb.HermiT.tableau.ExtensionTable.Retrieval
• org.semanticweb.HermiT.hierarchy.Hierarchy.Transformer<E,T>
• org.semanticweb.HermiT.hierarchy.HierarchySearch.Relation<U>
• org.semanticweb.HermiT.hierarchy.HierarchySearch.SearchPredicate<U>
• org.semanticweb.HermiT.datalog.QueryResultCollector
• rationals.Rational
• rationals.properties.Relation
• rationals.algebra.SemiRing
• java.io.Serializable
  • org.semanticweb.HermiT.debugger.DerivationHistory.Fact
• rationals.State
• rationals.StateFactory
• rationals.StateMachine
• rationals.Synchronization
• org.semanticweb.HermiT.monitor.TableauMonitor
• rationals.converters.ToString
• rationals.properties.UnaryTest
• rationals.transformations.UnaryTransformation
• org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject
• org.semanticweb.HermiT.datatypes.ValueSpaceSubset

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.semanticweb.HermiT.Configuration.TableauMonitorType
    • org.semanticweb.HermiT.Configuration.DirectBlockingType
    • org.semanticweb.HermiT.Configuration.BlockingStrategyType
    • org.semanticweb.HermiT.Configuration.BlockingSignatureCacheType
    • org.semanticweb.HermiT.Configuration.ExistentialStrategyType
    • org.semanticweb.HermiT.datatypes.datetime.IntervalType
    • org.semanticweb.HermiT.datatypes.datetime.BoundType
    • org.semanticweb.HermiT.debugger.Debugger.WaitOption
    • org.semanticweb.HermiT.tableau.NodeType
    • org.semanticweb.HermiT.tableau.ExtensionTable.View