A B C D E F G H I L M N O P Q R S T U V W X Z

A

abbreviateIRI(String) - Method in class org.semanticweb.HermiT.Prefixes

AbstractCommand - Class in org.semanticweb.HermiT.debugger.commands

AbstractCommand.

AbstractCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.AbstractCommand

AbstractExpansionStrategy - Class in org.semanticweb.HermiT.existentials

Implements the common bits of an ExistentialsExpansionStrategy, leaving only actual processing of existentials in need of expansion to subclasses.

AbstractExpansionStrategy(BlockingStrategy, boolean) - Constructor for class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

Acceptor - Interface in rationals

accessibleAndCoAccessibleStates() - Method in class rationals.Automaton

accessibleAndCoAccessibleStates() - Method in interface rationals.Rational

Returns the set of all states which are co-accessible and accessible in this automaton.

accessibleStates() - Method in class rationals.Automaton

accessibleStates() - Method in interface rationals.Rational

Returns the set of all accessible states in this automaton.

ActiveNodesCommand - Class in org.semanticweb.HermiT.debugger.commands

ActiveNodesCommand.

ActiveNodesCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.ActiveNodesCommand

addAnnotatedEquality(AnnotatedEquality, Node, Node, Node, DependencySet) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

addAssertion(DLPredicate, Node, DependencySet, boolean) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

addAssertion(DLPredicate, Node, Node, DependencySet, boolean) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

addAssertion(DLPredicate, Node, Node, Node, DependencySet, boolean) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

addBranchingPoint(DependencySet, int) - Method in class org.semanticweb.HermiT.tableau.DependencySetFactory

addCanonicalNodeDependencySet(DependencySet) - Method in class org.semanticweb.HermiT.tableau.Node

addConcept(Concept, boolean) - Method in interface org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject

addConcept(Concept, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

addConceptAssertion(Concept, Node, DependencySet, boolean) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

addDataRangeAssertion(DataRange, Node, DependencySet, boolean) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

addDisjunctToTableau(Tableau, int, DependencySet) - Method in class org.semanticweb.HermiT.tableau.GroundDisjunction

addEdge(T, T) - Method in class org.semanticweb.HermiT.graph.Graph

addEdges(T, Set<T>) - Method in class org.semanticweb.HermiT.graph.Graph

addFactFinished(Object[], boolean, boolean) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

addFactFinished(Object[], boolean, boolean) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

addFactFinished(Object[], boolean, boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

addFactFinished(Object[], boolean, boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

addFactFinished(Object[], boolean, boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

addFactStarted(Object[], boolean) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

addFactStarted(Object[], boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

addFactStarted(Object[], boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

addFactStarted(Object[], boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

addGroundDisjunction(GroundDisjunction) - Method in class org.semanticweb.HermiT.tableau.Tableau

additionalDLOntologyCleared() - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

additionalDLOntologyCleared() - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

additionalDLOntologyCleared() - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

additionalDLOntologyCleared() - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

additionalDLOntologyCleared() - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

additionalDLOntologyCleared() - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

additionalDLOntologyCleared() - Method in class org.semanticweb.HermiT.tableau.DatatypeManager

Clear additional ontology.

additionalDLOntologySet(DLOntology) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

additionalDLOntologySet(DLOntology) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

additionalDLOntologySet(DLOntology) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

additionalDLOntologySet(DLOntology) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

additionalDLOntologySet(DLOntology) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

additionalDLOntologySet(DLOntology) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

additionalDLOntologySet(DLOntology) - Method in class org.semanticweb.HermiT.tableau.DatatypeManager

addNode(Node) - Method in class org.semanticweb.HermiT.blocking.BlockingSignatureCache

addPossible(Individual) - Method in class org.semanticweb.HermiT.hierarchy.AtomicConceptElement

addPossibles(Set<Individual>) - Method in class org.semanticweb.HermiT.hierarchy.AtomicConceptElement

addPrefixes(Prefixes) - Method in class org.semanticweb.HermiT.Prefixes

Registers all the prefixes from the supplied object.

addReference(Set<E>) - Method in class org.semanticweb.HermiT.blocking.SetFactory

addRoleAssertion(Role, Node, Node, DependencySet, boolean) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

addState(boolean, boolean) - Method in class rationals.Automaton

addState(boolean, boolean) - Method in interface rationals.Rational

Returns a new instance of state which will be initial and terminal or not depending of parameters.

addTransition(Transition) - Method in class rationals.Automaton

addTransition(Transition, String) - Method in class rationals.Automaton

addTransition(Transition) - Method in interface rationals.Rational

Adds a new transition in this automaton if it is a new transition for this automaton.

addTransition(Transition, String) - Method in interface rationals.Rational

addTuple(Object[], DependencySet, boolean) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

addTuple(Object[], DependencySet, boolean) - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

addTuple(Object[], DependencySet, boolean) - Method in class org.semanticweb.HermiT.tableau.ExtensionTableWithFullIndex

addTuple(Object[], DependencySet, boolean) - Method in class org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes

addTuple(Object[]) - Method in class org.semanticweb.HermiT.tableau.TupleTable

addUsage(PermanentDependencySet) - Method in class org.semanticweb.HermiT.tableau.DependencySetFactory

addWaitOption(Debugger.WaitOption) - Method in class org.semanticweb.HermiT.debugger.Debugger

afterLast() - Method in interface org.semanticweb.HermiT.tableau.ExtensionTable.Retrieval

AgainCommand - Class in org.semanticweb.HermiT.debugger.commands

AgainCommand.

AgainCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.AgainCommand

alphabet() - Method in class rationals.Automaton

alphabet() - Method in interface rationals.Rational

Returns the alphabet X associated with this automaton.

alphabet() - Method in interface rationals.StateMachine

Returns the alphabet - S - of this state machine.

AncestorBlocking - Class in org.semanticweb.HermiT.blocking

Ancestor blocking strategy.

AncestorBlocking(DirectBlockingChecker, BlockingSignatureCache) - Constructor for class org.semanticweb.HermiT.blocking.AncestorBlocking

AnnotatedEquality - Class in org.semanticweb.HermiT.model

Represents an annotated equality.

AnonymousConstantValue(String) - Constructor for class org.semanticweb.HermiT.datatypes.DatatypeRegistry.AnonymousConstantValue

AnyURIDatatypeHandler - Class in org.semanticweb.HermiT.datatypes.anyuri

AnyURI handler.

AnyURIDatatypeHandler() - Constructor for class org.semanticweb.HermiT.datatypes.anyuri.AnyURIDatatypeHandler

AnyURIValueSpaceSubset - Class in org.semanticweb.HermiT.datatypes.anyuri

AnyURI value subset.

AnyURIValueSpaceSubset(Automaton) - Constructor for class org.semanticweb.HermiT.datatypes.anyuri.AnyURIValueSpaceSubset

AnywhereBlocking - Class in org.semanticweb.HermiT.blocking

Anywhere blocking strategy.

AnywhereBlocking(DirectBlockingChecker, BlockingSignatureCache) - Constructor for class org.semanticweb.HermiT.blocking.AnywhereBlocking

AnywhereValidatedBlocking - Class in org.semanticweb.HermiT.blocking

Anywhere validated blocking strategy.

AnywhereValidatedBlocking(DirectBlockingChecker, boolean) - Constructor for class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

applyDLClauses() - Method in class org.semanticweb.HermiT.tableau.HyperresolutionManager

Apply dl clause.

applyUnknownDatatypeRestrictionSemantics() - Method in class org.semanticweb.HermiT.tableau.DatatypeManager

Apply unknown datatypes.

areClassesInitialised() - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

areIdentical(double, double) - Static method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

areIdentical(float, float) - Static method in class org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

arePropertiesInitialised() - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

assertionAdded(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

assertionAdded(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

assertionAdded(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

assertionAdded(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

assertionAdded(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

assertionAdded(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

assertionAdded(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

assertionAdded(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

assertionAdded(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

assertionAdded(Concept, Node, boolean) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

assertionAdded(DataRange, Node, boolean) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

assertionAdded(AtomicRole, Node, Node, boolean) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

assertionAdded(Concept, Node, boolean) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

assertionAdded(DataRange, Node, boolean) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

assertionAdded(AtomicRole, Node, Node, boolean) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

assertionAdded(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

assertionAdded(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

assertionAdded(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

assertionAdded(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

assertionAdded(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

assertionAdded(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

assertionAdded(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

assertionAdded(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

assertionAdded(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

assertionAdded(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

assertionAdded(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

assertionAdded(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

assertionAdded(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

assertionAdded(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

assertionAdded(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

assertionAdded(Concept, Node, boolean) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

assertionAdded(DataRange, Node, boolean) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

assertionAdded(AtomicRole, Node, Node, boolean) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

assertionCoreSet(Concept, Node) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

assertionCoreSet(DataRange, Node) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

assertionCoreSet(AtomicRole, Node, Node) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

assertionCoreSet(Concept, Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

assertionCoreSet(DataRange, Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

assertionCoreSet(AtomicRole, Node, Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

assertionCoreSet(Concept, Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

assertionCoreSet(DataRange, Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

assertionCoreSet(AtomicRole, Node, Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

assertionCoreSet(Concept, Node) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

assertionCoreSet(DataRange, Node) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

assertionCoreSet(AtomicRole, Node, Node) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

assertionCoreSet(Concept, Node) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

assertionCoreSet(DataRange, Node) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

assertionCoreSet(AtomicRole, Node, Node) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

assertionCoreSet(Concept, Node) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

assertionCoreSet(DataRange, Node) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

assertionCoreSet(AtomicRole, Node, Node) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

assertionRemoved(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

assertionRemoved(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

assertionRemoved(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

assertionRemoved(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

assertionRemoved(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

assertionRemoved(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

assertionRemoved(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

assertionRemoved(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

assertionRemoved(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

assertionRemoved(Concept, Node, boolean) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

assertionRemoved(DataRange, Node, boolean) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

assertionRemoved(AtomicRole, Node, Node, boolean) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

assertionRemoved(Concept, Node, boolean) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

assertionRemoved(DataRange, Node, boolean) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

assertionRemoved(AtomicRole, Node, Node, boolean) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

assertionRemoved(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

assertionRemoved(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

assertionRemoved(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

assertionRemoved(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

assertionRemoved(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

assertionRemoved(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

assertionRemoved(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

assertionRemoved(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

assertionRemoved(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

assertionRemoved(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

assertionRemoved(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

assertionRemoved(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

assertionRemoved(Concept, Node, boolean) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

assertionRemoved(DataRange, Node, boolean) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

assertionRemoved(AtomicRole, Node, Node, boolean) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

assertionRemoved(Concept, Node, boolean) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

assertionRemoved(DataRange, Node, boolean) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

assertionRemoved(AtomicRole, Node, Node, boolean) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

AtLeast - Class in org.semanticweb.HermiT.model

Represents at-least concepts, either for data ranges or concepts.

AtLeastConcept - Class in org.semanticweb.HermiT.model

Represents at-least concept.

AtLeastDataRange - Class in org.semanticweb.HermiT.model

Represents at-least concept.

Atom(Object[], DerivationHistory.Derivation) - Constructor for class org.semanticweb.HermiT.debugger.DerivationHistory.Atom

Atom - Class in org.semanticweb.HermiT.model

Represents an atom in a DL clause.

AtomicConcept - Class in org.semanticweb.HermiT.model

Represents an atomic concept.

AtomicConceptComparator() - Constructor for class org.semanticweb.HermiT.model.DLOntology.AtomicConceptComparator

AtomicConceptElement - Class in org.semanticweb.HermiT.hierarchy

AtomicConceptElement.

AtomicConceptElement(Set<Individual>, Set<Individual>) - Constructor for class org.semanticweb.HermiT.hierarchy.AtomicConceptElement

AtomicDataRange - Class in org.semanticweb.HermiT.model

Represents an atomic data range -- that is, an datatype, a datatype restriction, an internal datatype, or an enumeration of constants (oneOf)

AtomicDataRange() - Constructor for class org.semanticweb.HermiT.model.AtomicDataRange

AtomicNegationConcept - Class in org.semanticweb.HermiT.model

Represents a negation of an atomic concept.

AtomicNegationDataRange - Class in org.semanticweb.HermiT.model

Represents a negation of a data range.

AtomicRole - Class in org.semanticweb.HermiT.model

Represents an atomic role.

AtomicRoleComparator() - Constructor for class org.semanticweb.HermiT.model.DLOntology.AtomicRoleComparator

Automaton - Class in rationals

A class defining Automaton objects This class defines the notion of automaton.

Automaton() - Constructor for class rationals.Automaton

Creates a new empty automaton which contains no state and no transition.

Automaton(StateFactory) - Constructor for class rationals.Automaton

Create a new empty automaton with given state factory.

axiomatizeBuiltInPropertiesAsNeeded(OWLAxioms, boolean, boolean, boolean, boolean) - Method in class org.semanticweb.HermiT.structural.BuiltInPropertyManager

axiomatizeBuiltInPropertiesAsNeeded(OWLAxioms) - Method in class org.semanticweb.HermiT.structural.BuiltInPropertyManager

B

backtrack() - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

backtrack() - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

Backtrack.

backtrack() - Method in class org.semanticweb.HermiT.existentials.IndividualReuseStrategy

backtrack() - Method in class org.semanticweb.HermiT.tableau.ExistentialExpansionManager

Backtrack.

backtrack() - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

Backtrack.

backtrack() - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

Backtrack.

backtrackToFinished(BranchingPoint) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

backtrackToFinished(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

backtrackToFinished(BranchingPoint) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

backtrackToFinished(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

backtrackToFinished(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

backtrackToFinished(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

backtrackToFinished(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.Timer

backtrackToStarted(BranchingPoint) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

backtrackToStarted(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

backtrackToStarted(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

backtrackToStarted(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

Base64 - Class in org.semanticweb.HermiT.datatypes.binarydata

Base64() - Constructor for class org.semanticweb.HermiT.datatypes.binarydata.Base64

base64Encode(byte[]) - Static method in class org.semanticweb.HermiT.datatypes.binarydata.Base64

BaseFact() - Constructor for class org.semanticweb.HermiT.debugger.DerivationHistory.BaseFact

BigRational - Class in org.semanticweb.HermiT.datatypes.owlreal

Represents rational numbers.

BigRational(BigInteger, BigInteger) - Constructor for class org.semanticweb.HermiT.datatypes.owlreal.BigRational

BinaryData - Class in org.semanticweb.HermiT.datatypes.binarydata

Represents a binary data value.

BinaryData(BinaryDataType, byte[]) - Constructor for class org.semanticweb.HermiT.datatypes.binarydata.BinaryData

BinaryDataDatatypeHandler - Class in org.semanticweb.HermiT.datatypes.binarydata

Binary data handler.

BinaryDataDatatypeHandler() - Constructor for class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataDatatypeHandler

BinaryDataLengthInterval - Class in org.semanticweb.HermiT.datatypes.binarydata

BinaryDataLengthInterval

BinaryDataLengthInterval(BinaryDataType, int, int) - Constructor for class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataLengthInterval

BinaryDataType - Enum in org.semanticweb.HermiT.datatypes.binarydata

BinaryDataValueSpaceSubset - Class in org.semanticweb.HermiT.datatypes.binarydata

BinaryDataValueSpaceSubset.

BinaryDataValueSpaceSubset() - Constructor for class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataValueSpaceSubset

Empty constructor.

BinaryDataValueSpaceSubset(BinaryDataLengthInterval) - Constructor for class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataValueSpaceSubset

BinaryDataValueSpaceSubset(List<BinaryDataLengthInterval>) - Constructor for class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataValueSpaceSubset

BinaryExpr - Class in rationals.expr

BinaryExpr(RationalExpr, RationalExpr) - Constructor for class rationals.expr.BinaryExpr

Construct a binary expression from two sub-expressions.

BinaryTest - Interface in rationals.properties

Interface describing binary tests (ie.

BinaryTransformation - Interface in rationals.transformations

A generic interface for binary operations between two automata.

Bisimulation - Class in rationals.properties

This method computes the (strong) bisimulation relation between two states.

Bisimulation(Automaton, Automaton) - Constructor for class rationals.properties.Bisimulation

Constructor with two automataon.

Bisimulation() - Constructor for class rationals.properties.Bisimulation

Argument-less constructor.

blockerChanged(Node) - Method in class org.semanticweb.HermiT.blocking.BlockingValidator

blockingHashCode(Node) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

blockingHashCode(Node) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

blockingHashCode(Node) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

blockingHashCode(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

blockingHashCode(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

BlockingSignature - Class in org.semanticweb.HermiT.blocking

Blocking signature.

BlockingSignature() - Constructor for class org.semanticweb.HermiT.blocking.BlockingSignature

BlockingSignatureCache - Class in org.semanticweb.HermiT.blocking

Blocking signature cache

BlockingSignatureCache(DirectBlockingChecker) - Constructor for class org.semanticweb.HermiT.blocking.BlockingSignatureCache

blockingSignatureCacheType - Variable in class org.semanticweb.HermiT.Configuration

blocking signature cache type

BlockingStrategy - Interface in org.semanticweb.HermiT.blocking

blockingStrategyType - Variable in class org.semanticweb.HermiT.Configuration

blocking strategy type

blockingValidationFinished(int) - Method in class org.semanticweb.HermiT.debugger.Debugger

blockingValidationFinished(int) - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

blockingValidationFinished(int) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

blockingValidationFinished(int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

blockingValidationFinished(int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

blockingValidationFinished(int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

blockingValidationStarted() - Method in class org.semanticweb.HermiT.debugger.Debugger

blockingValidationStarted() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

blockingValidationStarted() - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

Blocking validation started.

blockingValidationStarted() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

blockingValidationStarted() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

blockingValidationStarted() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

BlockingValidator - Class in org.semanticweb.HermiT.blocking

Checks whether the rules from some set are applicable given the current state of the extensions.

BlockingValidator(Tableau, Set<DLClause>) - Constructor for class org.semanticweb.HermiT.blocking.BlockingValidator

blocksNode(Node) - Method in class org.semanticweb.HermiT.blocking.BlockingSignature

blockViolatesParentConstraints() - Method in interface org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject

blockViolatesParentConstraints() - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

BodyAtomsSwapper(DLClause) - Constructor for class org.semanticweb.HermiT.tableau.HyperresolutionManager.BodyAtomsSwapper

BooleanDatatypeHandler - Class in org.semanticweb.HermiT.datatypes.bool

BooleanDatatypeHandler.

BooleanDatatypeHandler() - Constructor for class org.semanticweb.HermiT.datatypes.bool.BooleanDatatypeHandler

BOTTOM_DATA_ROLE - Static variable in class org.semanticweb.HermiT.model.AtomicRole

Bottom data role.

BOTTOM_OBJECT_ROLE - Static variable in class org.semanticweb.HermiT.model.AtomicRole

Bottom object role.

BoundType - Enum in org.semanticweb.HermiT.datatypes.datetime

BoundType.

BoundType - Enum in org.semanticweb.HermiT.datatypes.owlreal

BranchingPoint - Class in org.semanticweb.HermiT.tableau

Represents a branching point for the tableau given to the constructor.

BranchingPoint(Tableau) - Constructor for class org.semanticweb.HermiT.tableau.BranchingPoint

branchingPointPushed() - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

branchingPointPushed() - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

Branching point pushed.

branchingPointPushed() - Method in class org.semanticweb.HermiT.existentials.IndividualReuseStrategy

branchingPointPushed() - Method in class org.semanticweb.HermiT.tableau.ExistentialExpansionManager

Branching point pushed.

branchingPointPushed() - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

Branching point pushed.

branchingPointPushed() - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

Branching point pushed.

BreakpointTimeCommand - Class in org.semanticweb.HermiT.debugger.commands

BreakpointTimeCommand.

BreakpointTimeCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.BreakpointTimeCommand

bufferChanges - Variable in class org.semanticweb.HermiT.Configuration

If set to true, then axioms that are to be added or removed are buffered and the addition and removal is only performed when the flush() method of the reasoner is called.

BufferSupply() - Constructor for class org.semanticweb.HermiT.tableau.DLClauseEvaluator.BufferSupply

buildHierarchy(T, T, Map<T, DeterministicClassification.GraphNode<T>>) - Static method in class org.semanticweb.HermiT.hierarchy.DeterministicClassification

BuiltInPropertyManager - Class in org.semanticweb.HermiT.structural

BuiltInPropertyManager.

BuiltInPropertyManager(OWLDataFactory) - Constructor for class org.semanticweb.HermiT.structural.BuiltInPropertyManager

C

canBeBlocked(Node) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

canBeBlocked(Node) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

canBeBlocked(Node) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

canBeBlocked(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

canBeBlocked(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

canBeBlocker(Node) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

canBeBlocker(Node) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

canBeBlocker(Node) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

canBeBlocker(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

canBeBlocker(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

canBeExpanded(String) - Method in class org.semanticweb.HermiT.Prefixes

Checks whether the given IRI can be expanded

canProcessPendingChangesIncrementally() - Method in class org.semanticweb.HermiT.Reasoner

CHARACTER_COUNT - Static variable in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthInterval

checkDatatypeConstraints() - Method in class org.semanticweb.HermiT.tableau.DatatypeManager

Check datatype constraints.

checkGraphConstraints() - Method in class org.semanticweb.HermiT.tableau.DescriptionGraphManager

checkInterrupt() - Method in class org.semanticweb.HermiT.tableau.InterruptFlag

Check interrupt.

checkTableauList() - Method in class org.semanticweb.HermiT.tableau.Tableau

clashDetected() - Method in class org.semanticweb.HermiT.debugger.Debugger

clashDetected() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

clashDetected() - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

Clash detected.

clashDetected() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

clashDetected() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

clashDetected() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

ClashDetection(DerivationHistory.Atom[]) - Constructor for class org.semanticweb.HermiT.debugger.DerivationHistory.ClashDetection

clashDetectionFinished(Object[]...) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

clashDetectionFinished(Object[]...) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

clashDetectionFinished(Object[]...) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

clashDetectionFinished(Object[]...) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

clashDetectionFinished(Object[]...) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

clashDetectionStarted(Object[]...) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

clashDetectionStarted(Object[]...) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

clashDetectionStarted(Object[]...) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

clashDetectionStarted(Object[]...) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

clashDetectionStarted(Object[]...) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

ClashManager - Class in org.semanticweb.HermiT.tableau

An instance of this class is notified by extension tables when tuples are added.

ClashManager(Tableau) - Constructor for class org.semanticweb.HermiT.tableau.ClashManager

classClassificationRequired - Variable in class org.semanticweb.HermiT.Configuration.PrepareReasonerInferences

class classification required

ClassificationProgressMonitor - Interface in org.semanticweb.HermiT.hierarchy

ClassificationProgressMonitor.

classify() - Method in class org.semanticweb.HermiT.hierarchy.DeterministicClassification

classify() - Method in class org.semanticweb.HermiT.hierarchy.QuasiOrderClassification

classifyClasses() - Method in class org.semanticweb.HermiT.Reasoner

Classify classes.

classifyDataProperties() - Method in class org.semanticweb.HermiT.Reasoner

Classify data properties.

classifyObjectProperties() - Method in class org.semanticweb.HermiT.Reasoner

Classify object Properties.

clausify(OWLDataFactory, String, OWLAxioms, OWLAxiomsExpressivity, Collection<DescriptionGraph>) - Method in class org.semanticweb.HermiT.structural.OWLClausification

clausify(OWLIndividualAxiom...) - Method in class org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification

clear() - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

clear() - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

clear() - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

clear() - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

clear() - Method in class org.semanticweb.HermiT.blocking.BlockingValidator

Clear.

clear() - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

Clear.

clear() - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

clear() - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

clear() - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

clear() - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

clear() - Method in class org.semanticweb.HermiT.debugger.ConsoleTextArea

Clear.

clear() - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

clear() - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

Clear.

clear() - Method in class org.semanticweb.HermiT.existentials.IndividualReuseStrategy

clear() - Method in class org.semanticweb.HermiT.tableau.ClashManager

Clear.

clear() - Method in class org.semanticweb.HermiT.tableau.DatatypeManager

Clear.

clear() - Method in class org.semanticweb.HermiT.tableau.DependencySetFactory

Clear.

clear() - Method in class org.semanticweb.HermiT.tableau.DescriptionGraphManager

Clear.

clear() - Method in class org.semanticweb.HermiT.tableau.ExistentialExpansionManager

Clear.

clear() - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

Clear.

clear() - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

Clear.

clear() - Method in interface org.semanticweb.HermiT.tableau.ExtensionTable.Retrieval

Clear.

clear() - Method in class org.semanticweb.HermiT.tableau.ExtensionTableWithFullIndex

clear() - Method in class org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes

clear() - Method in class org.semanticweb.HermiT.tableau.HyperresolutionManager

Clear.

clear() - Method in class org.semanticweb.HermiT.tableau.MergingManager

Clear manager.

clear() - Method in class org.semanticweb.HermiT.tableau.Tableau

Clear tableau.

clear() - Method in class org.semanticweb.HermiT.tableau.TupleTable

Clear.

clearAdditionalDLOntology() - Method in class org.semanticweb.HermiT.tableau.Tableau

Clear additional ontology.

clearBlockingInfoChanged(Node) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

clearBlockingInfoChanged(Node) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

clearBlockingInfoChanged(Node) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

clearBlockingInfoChanged(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

clearBlockingInfoChanged(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

clearClash() - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

Clear clash.

ClearCommand - Class in org.semanticweb.HermiT.debugger.commands

ClearCommand.

ClearCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.ClearCommand

clearNonpermanent() - Method in class org.semanticweb.HermiT.blocking.SetFactory

Clear non permanent.

clone() - Method in class org.semanticweb.HermiT.Configuration

clone() - Method in class org.semanticweb.HermiT.graph.Graph

clone() - Method in class rationals.Automaton

returns a copy of this automaton.

clone() - Method in class rationals.DefaultStateFactory

clone() - Method in interface rationals.StateFactory

Returns a new StateFactory object which is the same as this StateFactory.

coAccessibleStates() - Method in class rationals.Automaton

coAccessibleStates() - Method in interface rationals.Rational

Returns the set of all co-accessible states in this automaton.

compare(Number, Number) - Static method in class org.semanticweb.HermiT.datatypes.owlreal.Numbers

compare(Concept, Concept) - Method in class org.semanticweb.HermiT.debugger.Printing.ConceptComparator

compare(DataRange, DataRange) - Method in class org.semanticweb.HermiT.debugger.Printing.DataRangeComparator

compare(Object[], Object[]) - Method in class org.semanticweb.HermiT.debugger.Printing.FactComparator

compare(AtomicConcept, AtomicConcept) - Method in class org.semanticweb.HermiT.model.DLOntology.AtomicConceptComparator

compare(AtomicRole, AtomicRole) - Method in class org.semanticweb.HermiT.model.DLOntology.AtomicRoleComparator

compare(Individual, Individual) - Method in class org.semanticweb.HermiT.model.DLOntology.IndividualComparator

compareTo(BigRational) - Method in class org.semanticweb.HermiT.datatypes.owlreal.BigRational

compareTo(CountingMonitor.TestRecord) - Method in class org.semanticweb.HermiT.monitor.CountingMonitor.TestRecord

Complement - Class in rationals.transformations

A transformation that computes the complement of an automaton.

Complement() - Constructor for class rationals.transformations.Complement

computeBlocking(boolean) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

computeBlocking(boolean) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

computeBlocking(boolean) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

computeBlocking(boolean) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

computePreBlocking() - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

Compute preblocking.

computeSameAsEquivalenceClasses(ReasonerProgressMonitor) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

Concatenation - Class in rationals.transformations

Compute the concatenation of two automata.

Concatenation() - Constructor for class rationals.transformations.Concatenation

Concept - Class in org.semanticweb.HermiT.model

Represents a (complex) concept.

Concept() - Constructor for class org.semanticweb.HermiT.model.Concept

ConceptComparator() - Constructor for class org.semanticweb.HermiT.debugger.Printing.ConceptComparator

Configuration - Class in org.semanticweb.HermiT

Configuration for the reasoner.

Configuration() - Constructor for class org.semanticweb.HermiT.Configuration

Create configuration.

Configuration.BlockingSignatureCacheType - Enum in org.semanticweb.HermiT

Switches caching on or off (caching can only be used with non-core blocking and if the ontology does not contain nominals).

Configuration.BlockingStrategyType - Enum in org.semanticweb.HermiT

The blocking strategy determines how which nodes HermiT considers for blockers.

Configuration.DirectBlockingType - Enum in org.semanticweb.HermiT

Sets the blocking type used by HermiT.

Configuration.ExistentialStrategyType - Enum in org.semanticweb.HermiT

Sets a strategy type that determines how HermiT expands the model.

Configuration.PrepareReasonerInferences - Class in org.semanticweb.HermiT

Prepare reasoner inferences.

Configuration.TableauMonitorType - Enum in org.semanticweb.HermiT

Tableau monitors can be used to be informed about what HermiT does and they can be useful for debugging the reasoner.

Configuration.WarningMonitor - Interface in org.semanticweb.HermiT

Warning monitor.

conjoinWithDR(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.anyuri.AnyURIDatatypeHandler

conjoinWithDR(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataDatatypeHandler

conjoinWithDR(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.bool.BooleanDatatypeHandler

conjoinWithDR(ValueSpaceSubset, DatatypeRestriction) - Method in interface org.semanticweb.HermiT.datatypes.DatatypeHandler

conjoinWithDR(ValueSpaceSubset, DatatypeRestriction) - Static method in class org.semanticweb.HermiT.datatypes.DatatypeRegistry

conjoinWithDR(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeDatatypeHandler

conjoinWithDR(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleDatatypeHandler

conjoinWithDR(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.floatnum.FloatDatatypeHandler

conjoinWithDR(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.owlreal.OWLRealDatatypeHandler

conjoinWithDR(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDatatypeHandler

conjoinWithDR(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteralDatatypeHandler

conjoinWithDRNegation(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.anyuri.AnyURIDatatypeHandler

conjoinWithDRNegation(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataDatatypeHandler

conjoinWithDRNegation(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.bool.BooleanDatatypeHandler

conjoinWithDRNegation(ValueSpaceSubset, DatatypeRestriction) - Method in interface org.semanticweb.HermiT.datatypes.DatatypeHandler

conjoinWithDRNegation(ValueSpaceSubset, DatatypeRestriction) - Static method in class org.semanticweb.HermiT.datatypes.DatatypeRegistry

conjoinWithDRNegation(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeDatatypeHandler

conjoinWithDRNegation(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleDatatypeHandler

conjoinWithDRNegation(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.floatnum.FloatDatatypeHandler

conjoinWithDRNegation(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.owlreal.OWLRealDatatypeHandler

conjoinWithDRNegation(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDatatypeHandler

conjoinWithDRNegation(ValueSpaceSubset, DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteralDatatypeHandler

ConjunctionCompiler(DLClauseEvaluator.BufferSupply, DLClauseEvaluator.ValuesBufferManager, Map<Integer, UnionDependencySet>, ExtensionManager, Atom[], List<Variable>) - Constructor for class org.semanticweb.HermiT.tableau.DLClauseEvaluator.ConjunctionCompiler

ConjunctiveQuery - Class in org.semanticweb.HermiT.datalog

Conjunctinve query.

ConjunctiveQuery(DatalogEngine, Atom[], Term[]) - Constructor for class org.semanticweb.HermiT.datalog.ConjunctiveQuery

ConjunctiveQuery.QueryAnswerCallback - Class in org.semanticweb.HermiT.datalog

ConsoleTextArea - Class in org.semanticweb.HermiT.debugger

ConsoleTextArea.

ConsoleTextArea() - Constructor for class org.semanticweb.HermiT.debugger.ConsoleTextArea

Init class.

Constant - Class in org.semanticweb.HermiT.model

Represents a constants.

ConstantEnumeration - Class in org.semanticweb.HermiT.model

A data range that consists of a given set of constants.

contains(BinaryData) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataLengthInterval

contains(double) - Method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

contains(double, double, double) - Static method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

contains(float) - Method in class org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

contains(float, float, float) - Static method in class org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

contains(String) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthInterval

contains(RDFPlainLiteralDataValue) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthInterval

containsAnInitialState(Set<State>) - Static method in class rationals.transformations.TransformationsToolBox

containsAnnotatedEquality(Node, Node, Node) - Static method in class org.semanticweb.HermiT.tableau.ExtensionManager

containsAssertion(DLPredicate, Node) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

containsAssertion(DLPredicate, Node, Node) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

containsAssertion(DLPredicate, Node, Node, Node) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

containsATerminalState(Set<State>) - Static method in class rationals.transformations.TransformationsToolBox

containsAtomicConcept(AtomicConcept) - Method in class org.semanticweb.HermiT.model.DLOntology

containsBranchingPoint(int) - Method in interface org.semanticweb.HermiT.tableau.DependencySet

containsBranchingPoint(int) - Method in class org.semanticweb.HermiT.tableau.PermanentDependencySet

containsClash() - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

containsConceptAssertion(Concept, Node) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

containsDataRangeAssertion(DataRange, Node) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

containsDataRole(AtomicRole) - Method in class org.semanticweb.HermiT.model.DLOntology

containsDataValue(Object) - Method in class org.semanticweb.HermiT.datatypes.anyuri.AnyURIValueSpaceSubset

containsDataValue(Object) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataValueSpaceSubset

containsDataValue(Object) - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeValueSpaceSubset

containsDataValue(Object) - Method in class org.semanticweb.HermiT.datatypes.doublenum.EntireDoubleSubset

containsDataValue(Object) - Method in class org.semanticweb.HermiT.datatypes.doublenum.NoNaNDoubleSubset

containsDataValue(Object) - Method in class org.semanticweb.HermiT.datatypes.floatnum.NoNaNFloatSubset

containsDataValue(Object) - Method in class org.semanticweb.HermiT.datatypes.owlreal.OWLRealValueSpaceSubset

containsDataValue(Object) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthValueSpaceSubset

containsDataValue(Object) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralPatternValueSpaceSubset

containsDataValue(Object) - Method in interface org.semanticweb.HermiT.datatypes.ValueSpaceSubset

containsDateTime(DateTime) - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeInterval

ContainsEpsilon - Class in rationals.properties

Checks whether an automaton recognizes the empty word.

ContainsEpsilon() - Constructor for class rationals.properties.ContainsEpsilon

containsIndividual(Individual) - Method in class org.semanticweb.HermiT.model.DLOntology

containsNumber(Number) - Method in class org.semanticweb.HermiT.datatypes.owlreal.NumberInterval

containsObjectRole(AtomicRole) - Method in class org.semanticweb.HermiT.model.DLOntology

containsRoleAssertion(Role, Node, Node) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

containsSignature(Node) - Method in class org.semanticweb.HermiT.blocking.BlockingSignatureCache

containsTuple(Object[]) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

containsTuple(Object[]) - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

containsTuple(Object[]) - Method in class org.semanticweb.HermiT.tableau.ExtensionTableWithFullIndex

containsTuple(Object[]) - Method in class org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes

containsVariable(Variable) - Method in class org.semanticweb.HermiT.model.Atom

ContinueCommand - Class in org.semanticweb.HermiT.debugger.commands

ContinueCommand.

ContinueCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.ContinueCommand

ConverterException - Exception in rationals.converters

ConverterException.

ConverterException(String, Throwable) - Constructor for exception rationals.converters.ConverterException

CountingMonitor - Class in org.semanticweb.HermiT.monitor

Counting monitor.

CountingMonitor() - Constructor for class org.semanticweb.HermiT.monitor.CountingMonitor

CountingMonitor.TestRecord - Class in org.semanticweb.HermiT.monitor

Couple - Class in rationals

Couple.

Couple(State, State) - Constructor for class rationals.Couple

create(String) - Static method in class org.semanticweb.HermiT.datatypes.DatatypeRegistry.AnonymousConstantValue

create(int, Role, LiteralConcept) - Static method in class org.semanticweb.HermiT.model.AnnotatedEquality

create(int, Role, LiteralConcept) - Static method in class org.semanticweb.HermiT.model.AtLeastConcept

create(int, Role, LiteralDataRange) - Static method in class org.semanticweb.HermiT.model.AtLeastDataRange

create(DLPredicate, Term...) - Static method in class org.semanticweb.HermiT.model.Atom

create(String) - Static method in class org.semanticweb.HermiT.model.AtomicConcept

create(AtomicConcept) - Static method in class org.semanticweb.HermiT.model.AtomicNegationConcept

create(AtomicDataRange) - Static method in class org.semanticweb.HermiT.model.AtomicNegationDataRange

create(String) - Static method in class org.semanticweb.HermiT.model.AtomicRole

create(String, String) - Static method in class org.semanticweb.HermiT.model.Constant

create(Constant[]) - Static method in class org.semanticweb.HermiT.model.ConstantEnumeration

create(String, String[], Constant[]) - Static method in class org.semanticweb.HermiT.model.DatatypeRestriction

create(Atom[], Atom[]) - Static method in class org.semanticweb.HermiT.model.DLClause

create() - Static method in class org.semanticweb.HermiT.model.Equality

create(DescriptionGraph, int) - Static method in class org.semanticweb.HermiT.model.ExistsDescriptionGraph

create(String) - Static method in class org.semanticweb.HermiT.model.Individual

Returns an Individual with the given identifier.

create() - Static method in class org.semanticweb.HermiT.model.Inequality

create(String) - Static method in class org.semanticweb.HermiT.model.InternalDatatype

create(AtomicRole) - Static method in class org.semanticweb.HermiT.model.InverseRole

create(AtomicRole) - Static method in class org.semanticweb.HermiT.model.NegatedAtomicRole

create(int) - Static method in class org.semanticweb.HermiT.model.NodeIDsAscendingOrEqual

create(String) - Static method in class org.semanticweb.HermiT.model.Variable

create(boolean, boolean) - Method in class rationals.DefaultStateFactory

create(boolean, boolean) - Method in interface rationals.StateFactory

createAnonymous(String) - Static method in class org.semanticweb.HermiT.model.Constant

createAnonymous(String) - Static method in class org.semanticweb.HermiT.model.Individual

createNewConcreteNode(DependencySet, Node) - Method in class org.semanticweb.HermiT.tableau.Tableau

Create a new concrete node for datatypes.

createNewGraphNode(Node, DependencySet) - Method in class org.semanticweb.HermiT.tableau.Tableau

Create a new node graph node for description graphs

createNewNamedNode(DependencySet) - Method in class org.semanticweb.HermiT.tableau.Tableau

Create a new node that represents an individual named in the input ontology (thus, keys have to be applied to it)

createNewNINode(DependencySet) - Method in class org.semanticweb.HermiT.tableau.Tableau

Create a new node that represents a nominal, but one that is not named in the input ontology (thus, keys are not applicable)

createNewRootConstantNode(DependencySet) - Method in class org.semanticweb.HermiT.tableau.Tableau

Create a new root constant node for datatypes.

createNewTreeNode(DependencySet, Node) - Method in class org.semanticweb.HermiT.tableau.Tableau

Create a new tree node.

createNonBufferingReasoner(OWLOntology) - Method in class org.semanticweb.HermiT.ReasonerFactory

createNonBufferingReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class org.semanticweb.HermiT.ReasonerFactory

createReasoner(OWLOntology) - Method in class org.semanticweb.HermiT.ReasonerFactory

createReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class org.semanticweb.HermiT.ReasonerFactory

createRetrieval(boolean[], ExtensionTable.View) - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

createRetrieval(int[], Object[], Object[], boolean, ExtensionTable.View) - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

createRetrieval(int[], Object[], Object[], boolean, ExtensionTable.View) - Method in class org.semanticweb.HermiT.tableau.ExtensionTableWithFullIndex

createRetrieval(int[], Object[], Object[], boolean, ExtensionTable.View) - Method in class org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes

createValueSpaceSubset(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.anyuri.AnyURIDatatypeHandler

createValueSpaceSubset(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataDatatypeHandler

createValueSpaceSubset(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.bool.BooleanDatatypeHandler

createValueSpaceSubset(DatatypeRestriction) - Method in interface org.semanticweb.HermiT.datatypes.DatatypeHandler

createValueSpaceSubset(DatatypeRestriction) - Static method in class org.semanticweb.HermiT.datatypes.DatatypeRegistry

createValueSpaceSubset(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeDatatypeHandler

createValueSpaceSubset(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleDatatypeHandler

createValueSpaceSubset(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.floatnum.FloatDatatypeHandler

createValueSpaceSubset(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.owlreal.OWLRealDatatypeHandler

createValueSpaceSubset(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDatatypeHandler

createValueSpaceSubset(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteralDatatypeHandler

CreationOrderStrategy - Class in org.semanticweb.HermiT.existentials

Strategy for expanding all existentials on the oldest node in the tableau with unexpanded existentials.

CreationOrderStrategy(BlockingStrategy) - Constructor for class org.semanticweb.HermiT.existentials.CreationOrderStrategy

D

DatalogEngine - Class in org.semanticweb.HermiT.datalog

Datalog engine.

DatalogEngine(DLOntology) - Constructor for class org.semanticweb.HermiT.datalog.DatalogEngine

dataPropertyClassificationRequired - Variable in class org.semanticweb.HermiT.Configuration.PrepareReasonerInferences

data property classification required

dataPropertyRealisationRequired - Variable in class org.semanticweb.HermiT.Configuration.PrepareReasonerInferences

data property realisation required

DataRange - Class in org.semanticweb.HermiT.model

Represents a data range in a DL clause.

DataRange() - Constructor for class org.semanticweb.HermiT.model.DataRange

DataRangeComparator() - Constructor for class org.semanticweb.HermiT.debugger.Printing.DataRangeComparator

DatatypeChecking(DerivationHistory.Atom[]) - Constructor for class org.semanticweb.HermiT.debugger.DerivationHistory.DatatypeChecking

datatypeCheckingFinished(boolean) - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

datatypeCheckingFinished(boolean) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

datatypeCheckingFinished(boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

datatypeCheckingFinished(boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

datatypeCheckingFinished(boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

datatypeCheckingStarted() - Method in class org.semanticweb.HermiT.debugger.Debugger

datatypeCheckingStarted() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

datatypeCheckingStarted() - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

Datatype checking started.

datatypeCheckingStarted() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

datatypeCheckingStarted() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

datatypeCheckingStarted() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction, boolean) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction, boolean) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction, boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction, boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction, boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

DatatypeHandler - Interface in org.semanticweb.HermiT.datatypes

Implements the functions needed for a particular datatype.

DatatypeManager - Class in org.semanticweb.HermiT.tableau

DatatypeManager.

DatatypeManager(Tableau) - Constructor for class org.semanticweb.HermiT.tableau.DatatypeManager

DatatypeManager.DConjunction - Class in org.semanticweb.HermiT.tableau

DConjunction.

DatatypeManager.DVariable - Class in org.semanticweb.HermiT.tableau

DVariable.

DatatypeRegistry - Class in org.semanticweb.HermiT.datatypes

A registry for all available datatype handlers.

DatatypeRegistry() - Constructor for class org.semanticweb.HermiT.datatypes.DatatypeRegistry

DatatypeRegistry.AnonymousConstantValue - Class in org.semanticweb.HermiT.datatypes

DatatypeRestriction - Class in org.semanticweb.HermiT.model

A data range consisting of a datatype URI and a number of facet restrictions.

DatatypeRestriction(String, String[], Constant[]) - Constructor for class org.semanticweb.HermiT.model.DatatypeRestriction

DateTime - Class in org.semanticweb.HermiT.datatypes.datetime

DateTime.

DateTime(int, int, int, int, int, int, int, int) - Constructor for class org.semanticweb.HermiT.datatypes.datetime.DateTime

DateTime(long, boolean, int) - Constructor for class org.semanticweb.HermiT.datatypes.datetime.DateTime

DateTimeDatatypeHandler - Class in org.semanticweb.HermiT.datatypes.datetime

Implements a handler for xsd:dateTime.

DateTimeDatatypeHandler() - Constructor for class org.semanticweb.HermiT.datatypes.datetime.DateTimeDatatypeHandler

DateTimeInterval - Class in org.semanticweb.HermiT.datatypes.datetime

DateTimeInterval

DateTimeInterval(IntervalType, long, BoundType, long, BoundType) - Constructor for class org.semanticweb.HermiT.datatypes.datetime.DateTimeInterval

DateTimeValueSpaceSubset - Class in org.semanticweb.HermiT.datatypes.datetime

DateTimeValueSpaceSubset

DateTimeValueSpaceSubset() - Constructor for class org.semanticweb.HermiT.datatypes.datetime.DateTimeValueSpaceSubset

Empty interval.

DateTimeValueSpaceSubset(DateTimeInterval, DateTimeInterval) - Constructor for class org.semanticweb.HermiT.datatypes.datetime.DateTimeValueSpaceSubset

DateTimeValueSpaceSubset(List<DateTimeInterval>) - Constructor for class org.semanticweb.HermiT.datatypes.datetime.DateTimeValueSpaceSubset

DConjunction() - Constructor for class org.semanticweb.HermiT.tableau.DatatypeManager.DConjunction

Debugger - Class in org.semanticweb.HermiT.debugger

Debugger

Debugger(Prefixes, boolean) - Constructor for class org.semanticweb.HermiT.debugger.Debugger

Debugger.NodeCreationInfo - Class in org.semanticweb.HermiT.debugger

NodeCreationInfo.

Debugger.WaitOption - Enum in org.semanticweb.HermiT.debugger

WaitOption.

DebuggerCommand - Interface in org.semanticweb.HermiT.debugger.commands

DebuggerCommand.

declareDefaultPrefix(String) - Method in class org.semanticweb.HermiT.Prefixes

declareInternalPrefixes(Collection<String>, Collection<String>) - Method in class org.semanticweb.HermiT.Prefixes

Registers HermiT's internal prefixes with this object.

declarePrefix(String, String) - Method in class org.semanticweb.HermiT.Prefixes

declareSemanticWebPrefixes() - Method in class org.semanticweb.HermiT.Prefixes

Registers the well-known Semantic Web prefixes.

decodeBase64(String) - Static method in class org.semanticweb.HermiT.datatypes.binarydata.Base64

DefaultStateFactory - Class in rationals

This class is used by Automaton objects to create new states on A user can implement its own version of StateFactory by providing an implementation for createState

DefaultSynchronization - Class in rationals

Default synchronization scheme for standard automaton.

DefaultSynchronization() - Constructor for class rationals.DefaultSynchronization

delta() - Method in class rationals.Automaton

delta(State, Object) - Method in class rationals.Automaton

delta(State) - Method in class rationals.Automaton

delta(Set<State>) - Method in class rationals.Automaton

delta() - Method in interface rationals.Rational

Returns the set of all transitions of this automaton

delta(State, Object) - Method in interface rationals.Rational

Returns the set of all transitions of this automaton starting from a given state and labelled b a given label.

delta(State) - Method in interface rationals.Rational

Return all transitions from a State

delta(State, Object) - Method in interface rationals.StateMachine

Returns the set of all transitions of this machine starting from a given state and labelled with a given label.

delta(State) - Method in interface rationals.StateMachine

Return all transitions from a State.

delta(Set<State>) - Method in interface rationals.StateMachine

Returns all transitions from a given set of states.

deltaFrom(State, State) - Method in class rationals.Automaton

deltaFrom(State, State) - Method in interface rationals.Rational

deltaMinusOne(State, Object) - Method in class rationals.Automaton

Returns the set of all transitions of the reverse of this automaton

deltaMinusOne(State) - Method in class rationals.Automaton

deltaMinusOne(State, Object) - Method in interface rationals.Rational

Returns the set of all transitions of the reverse of this automaton

deltaMinusOne(State) - Method in interface rationals.Rational

deltaMinusOne(State) - Method in interface rationals.StateMachine

Returns the set of states that can access the given states' set st.

DependencySet - Interface in org.semanticweb.HermiT.tableau

Dependency set.

DependencySetFactory - Class in org.semanticweb.HermiT.tableau

This is the main class to work with dependency sets and returns instances of PermanentDependencySet, which can not directly be created.

DependencySetFactory() - Constructor for class org.semanticweb.HermiT.tableau.DependencySetFactory

Empty constructor.

Derivation() - Constructor for class org.semanticweb.HermiT.debugger.DerivationHistory.Derivation

DerivationHistory - Class in org.semanticweb.HermiT.debugger

DerivationHistory.

DerivationHistory() - Constructor for class org.semanticweb.HermiT.debugger.DerivationHistory

DerivationHistory.Atom - Class in org.semanticweb.HermiT.debugger

DerivationHistory.BaseFact - Class in org.semanticweb.HermiT.debugger

DerivationHistory.ClashDetection - Class in org.semanticweb.HermiT.debugger

DerivationHistory.DatatypeChecking - Class in org.semanticweb.HermiT.debugger

DerivationHistory.Derivation - Class in org.semanticweb.HermiT.debugger

DerivationHistory.DisjunctApplication - Class in org.semanticweb.HermiT.debugger

DerivationHistory.Disjunction - Class in org.semanticweb.HermiT.debugger

DerivationHistory.DLClauseApplication - Class in org.semanticweb.HermiT.debugger

DerivationHistory.ExistentialExpansion - Class in org.semanticweb.HermiT.debugger

DerivationHistory.Fact - Interface in org.semanticweb.HermiT.debugger

Fact

DerivationHistory.GraphChecking - Class in org.semanticweb.HermiT.debugger

DerivationHistory.Merging - Class in org.semanticweb.HermiT.debugger

DerivationHistory.UnknownDatatypeRestrictionDetection - Class in org.semanticweb.HermiT.debugger

DerivationTreeCommand - Class in org.semanticweb.HermiT.debugger.commands

DerivationTreeCommand.

DerivationTreeCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.DerivationTreeCommand

DerivationViewer - Class in org.semanticweb.HermiT.debugger

DerivationViewer.

DerivationViewer(Prefixes, DerivationHistory.Fact) - Constructor for class org.semanticweb.HermiT.debugger.DerivationViewer

DescriptionGraph - Class in org.semanticweb.HermiT.model

DescriptionGraph.

DescriptionGraph(String, AtomicConcept[], DescriptionGraph.Edge[], Set<AtomicConcept>) - Constructor for class org.semanticweb.HermiT.model.DescriptionGraph

DescriptionGraph.Edge - Class in org.semanticweb.HermiT.model

Edge.

descriptionGraphCheckingFinished(int, int, int, int, int, int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

descriptionGraphCheckingFinished(int, int, int, int, int, int) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

descriptionGraphCheckingFinished(int, int, int, int, int, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

descriptionGraphCheckingFinished(int, int, int, int, int, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

descriptionGraphCheckingFinished(int, int, int, int, int, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

descriptionGraphCheckingStarted(int, int, int, int, int, int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

descriptionGraphCheckingStarted(int, int, int, int, int, int) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

descriptionGraphCheckingStarted(int, int, int, int, int, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

descriptionGraphCheckingStarted(int, int, int, int, int, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

descriptionGraphCheckingStarted(int, int, int, int, int, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

DescriptionGraphManager - Class in org.semanticweb.HermiT.tableau

DescriptionGraphManager.

DescriptionGraphManager(Tableau) - Constructor for class org.semanticweb.HermiT.tableau.DescriptionGraphManager

descriptionGraphTupleAdded(int, Object[]) - Method in class org.semanticweb.HermiT.tableau.DescriptionGraphManager

descriptionGraphTupleRemoved(int, Object[]) - Method in class org.semanticweb.HermiT.tableau.DescriptionGraphManager

destroy() - Method in interface org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject

Destroy.

destroy() - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

destroy(Tableau) - Method in class org.semanticweb.HermiT.tableau.GroundDisjunction

destroyNode(Node) - Method in class org.semanticweb.HermiT.tableau.DescriptionGraphManager

determineRepresentative(E, Set<T>) - Method in interface org.semanticweb.HermiT.hierarchy.Hierarchy.Transformer

DeterministicClassification - Class in org.semanticweb.HermiT.hierarchy

DeterministicClassification.

DeterministicClassification(Tableau, ClassificationProgressMonitor, AtomicConcept, AtomicConcept, Set<AtomicConcept>) - Constructor for class org.semanticweb.HermiT.hierarchy.DeterministicClassification

diffCollections(String, String, PrintWriter, Collection<T>, Collection<T>) - Static method in class org.semanticweb.HermiT.debugger.Printing

DirectBlockingChecker - Interface in org.semanticweb.HermiT.blocking

Direct blocking checker.

directBlockingType - Variable in class org.semanticweb.HermiT.Configuration

direct blocking type

DisjunctApplication(DerivationHistory.Disjunction, int) - Constructor for class org.semanticweb.HermiT.debugger.DerivationHistory.DisjunctApplication

Disjunction(GroundDisjunction, DerivationHistory.Derivation) - Constructor for class org.semanticweb.HermiT.debugger.DerivationHistory.Disjunction

DisjunctionBranchingPoint - Class in org.semanticweb.HermiT.tableau

Disjunction branching point.

DisjunctionBranchingPoint(Tableau, GroundDisjunction, int[]) - Constructor for class org.semanticweb.HermiT.tableau.DisjunctionBranchingPoint

disjunctProcessingFinished(GroundDisjunction, int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

disjunctProcessingFinished(GroundDisjunction, int) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

disjunctProcessingFinished(GroundDisjunction, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

disjunctProcessingFinished(GroundDisjunction, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

disjunctProcessingFinished(GroundDisjunction, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

disjunctProcessingStarted(GroundDisjunction, int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

disjunctProcessingStarted(GroundDisjunction, int) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

disjunctProcessingStarted(GroundDisjunction, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

disjunctProcessingStarted(GroundDisjunction, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

disjunctProcessingStarted(GroundDisjunction, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

dispose() - Method in class org.semanticweb.HermiT.Reasoner

dispose() - Method in class org.semanticweb.HermiT.tableau.InterruptFlag

Dispose.

DLClause - Class in org.semanticweb.HermiT.model

Represents a DL clause.

DLClauseApplication(DLClause, DerivationHistory.Atom[]) - Constructor for class org.semanticweb.HermiT.debugger.DerivationHistory.DLClauseApplication

dlClauseBodyCompiled(List<DLClauseEvaluator.Worker>, DLClause, List<Variable>, Object[], boolean[]) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

dlClauseBodyCompiled(List<DLClauseEvaluator.Worker>, DLClause, List<Variable>, Object[], boolean[]) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

dlClauseBodyCompiled(List<DLClauseEvaluator.Worker>, DLClause, List<Variable>, Object[], boolean[]) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

dlClauseBodyCompiled(List<DLClauseEvaluator.Worker>, DLClause, List<Variable>, Object[], boolean[]) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

dlClauseBodyCompiled(List<DLClauseEvaluator.Worker>, DLClause, List<Variable>, Object[], boolean[]) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

dlClauseBodyCompiled(List<DLClauseEvaluator.Worker>, DLClause, List<Variable>, Object[], boolean[]) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

DLClauseEvaluator - Class in org.semanticweb.HermiT.tableau

DLClauseEvaluator

DLClauseEvaluator(Tableau, DLClause, List<DLClause>, ExtensionTable.Retrieval, DLClauseEvaluator.BufferSupply, DLClauseEvaluator.ValuesBufferManager, DLClauseEvaluator.GroundDisjunctionHeaderManager, Map<Integer, UnionDependencySet>) - Constructor for class org.semanticweb.HermiT.tableau.DLClauseEvaluator

DLClauseEvaluator.BufferSupply - Class in org.semanticweb.HermiT.tableau

BufferSupply.

DLClauseEvaluator.ConjunctionCompiler - Class in org.semanticweb.HermiT.tableau

ConjunctionCompiler.

DLClauseEvaluator.ValuesBufferManager - Class in org.semanticweb.HermiT.tableau

ValuesBufferManager.

DLClauseEvaluator.Worker - Interface in org.semanticweb.HermiT.tableau

Worker.

dlClauseMatchedFinished(DLClauseEvaluator, int) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

dlClauseMatchedFinished(DLClauseEvaluator, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

dlClauseMatchedFinished(DLClauseEvaluator, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

dlClauseMatchedFinished(DLClauseEvaluator, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

dlClauseMatchedStarted(DLClauseEvaluator, int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

dlClauseMatchedStarted(DLClauseEvaluator, int) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

dlClauseMatchedStarted(DLClauseEvaluator, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

dlClauseMatchedStarted(DLClauseEvaluator, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

dlClauseMatchedStarted(DLClauseEvaluator, int) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

DLOntology - Class in org.semanticweb.HermiT.model

Represents a DL ontology as a set of rules.

DLOntology(String, Set<DLClause>, Set<Atom>, Set<Atom>, Set<AtomicConcept>, Set<AtomicRole>, Set<Role>, Set<AtomicRole>, Set<DatatypeRestriction>, Set<String>, Set<Individual>, boolean, boolean, boolean, boolean) - Constructor for class org.semanticweb.HermiT.model.DLOntology

DLOntology.AtomicConceptComparator - Class in org.semanticweb.HermiT.model

DLOntology.AtomicRoleComparator - Class in org.semanticweb.HermiT.model

DLOntology.IndividualComparator - Class in org.semanticweb.HermiT.model

DLPredicate - Interface in org.semanticweb.HermiT.model

Represents a DL predicate.

doesSubsume(U, U) - Method in interface org.semanticweb.HermiT.hierarchy.HierarchySearch.Relation

doNormalExpansion(AtLeastConcept, Node) - Method in class org.semanticweb.HermiT.tableau.ExistentialExpansionManager

doNormalExpansion(AtLeastDataRange, Node) - Method in class org.semanticweb.HermiT.tableau.ExistentialExpansionManager

DoubleDatatypeHandler - Class in org.semanticweb.HermiT.datatypes.doublenum

DoubleDatatypeHandler.

DoubleDatatypeHandler() - Constructor for class org.semanticweb.HermiT.datatypes.doublenum.DoubleDatatypeHandler

DoubleInterval - Class in org.semanticweb.HermiT.datatypes.doublenum

DoubleInterval.

DoubleInterval(double, double) - Constructor for class org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

doubleValue() - Method in class org.semanticweb.HermiT.datatypes.owlreal.BigRational

DVariable() - Constructor for class org.semanticweb.HermiT.tableau.DatatypeManager.DVariable

E

Edge(AtomicRole, int, int) - Constructor for class org.semanticweb.HermiT.model.DescriptionGraph.Edge

elementClassified(AtomicConcept) - Method in interface org.semanticweb.HermiT.hierarchy.ClassificationProgressMonitor

emptyHierarchy(Collection<T>, T, T) - Static method in class org.semanticweb.HermiT.hierarchy.Hierarchy

emptySet() - Method in class org.semanticweb.HermiT.tableau.DependencySetFactory

end() - Method in class rationals.Transition

Returns the ending state of this transition.

endPrinting() - Method in class org.semanticweb.HermiT.hierarchy.HierarchyPrinterFSS

End printing.

endTask() - Method in class org.semanticweb.HermiT.tableau.InterruptFlag

End task.

EntailmentChecker - Class in org.semanticweb.HermiT

Entailment checker.

EntailmentChecker(Reasoner, OWLDataFactory) - Constructor for class org.semanticweb.HermiT.EntailmentChecker

entails(Set<? extends OWLAxiom>) - Method in class org.semanticweb.HermiT.EntailmentChecker

Checks entailment of a set of axioms (an ontology) against the loaded ontology.

entails(OWLAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

Use this method only if you really want to check just one axiom or if the axioms you want to check do not contain blind nodes/anonymous individuals.

EntireDoubleSubset - Class in org.semanticweb.HermiT.datatypes.doublenum

EntireDoubleSubset() - Constructor for class org.semanticweb.HermiT.datatypes.doublenum.EntireDoubleSubset

enumerateDataValues(Collection<Object>) - Method in class org.semanticweb.HermiT.datatypes.anyuri.AnyURIValueSpaceSubset

enumerateDataValues(Collection<Object>) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataValueSpaceSubset

enumerateDataValues(Collection<Object>) - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeValueSpaceSubset

enumerateDataValues(Collection<Object>) - Method in class org.semanticweb.HermiT.datatypes.doublenum.EntireDoubleSubset

enumerateDataValues(Collection<Object>) - Method in class org.semanticweb.HermiT.datatypes.doublenum.NoNaNDoubleSubset

enumerateDataValues(Collection<Object>) - Method in class org.semanticweb.HermiT.datatypes.floatnum.NoNaNFloatSubset

enumerateDataValues(Collection<Object>) - Method in class org.semanticweb.HermiT.datatypes.owlreal.OWLRealValueSpaceSubset

enumerateDataValues(Collection<Object>) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthValueSpaceSubset

enumerateDataValues(Collection<Object>) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralPatternValueSpaceSubset

enumerateDataValues(Collection<Object>) - Method in interface org.semanticweb.HermiT.datatypes.ValueSpaceSubset

enumerateDateTimes(Collection<Object>) - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeInterval

enumerateNumbers(Collection<Object>) - Method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

enumerateNumbers(Collection<Object>) - Method in class org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

enumerateNumbers(Collection<Object>) - Method in class org.semanticweb.HermiT.datatypes.owlreal.NumberInterval

enumerateValues(Collection<Object>) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataLengthInterval

enumerateValues(Collection<Object>) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthInterval

epsilonAutomaton() - Static method in class rationals.Automaton

Returns an automaton which recognizes the regular language associated with the regular expression @, where @ denotes the empty word.

epsilonClosure(Set<State>, Automaton) - Static method in class rationals.transformations.TransformationsToolBox

Compute the set of states that are reachable ina given automanton from a set of states using epsilon moves.

EpsilonTransitionRemover - Class in rationals.transformations

This class allows to remove epsilon transitions in an automaton.

EpsilonTransitionRemover() - Constructor for class rationals.transformations.EpsilonTransitionRemover

Equality - Class in org.semanticweb.HermiT.model

Represents the equality predicate.

equals(Object) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryData

equals(Object) - Method in class org.semanticweb.HermiT.datatypes.DatatypeRegistry.AnonymousConstantValue

equals(Object) - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTime

equals(Object) - Method in class org.semanticweb.HermiT.datatypes.owlreal.BigRational

equals(Object) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDataValue

equals(Object) - Method in class org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteral

equals(Object) - Method in class org.semanticweb.HermiT.model.DescriptionGraph.Edge

equals(Object) - Method in class rationals.Couple

equals(Object) - Method in class rationals.expr.Letter

equals(Object) - Method in class rationals.transformations.HashValue

equals(Object) - Method in class rationals.Transition

Determines if this transition is equal to the parameter.

equivalence(State, State) - Method in class rationals.properties.Bisimulation

equivalence(Set<State>, Set<State>) - Method in class rationals.properties.Bisimulation

equivalence(State, State) - Method in interface rationals.properties.Relation

Assert the equivalence between two states.

equivalence(Set<State>, Set<State>) - Method in interface rationals.properties.Relation

Asset the equivalence between two set of states.

evaluate(QueryResultCollector) - Method in class org.semanticweb.HermiT.datalog.ConjunctiveQuery

evaluate() - Method in class org.semanticweb.HermiT.tableau.DLClauseEvaluator

Evaluate.

execute(int) - Method in class org.semanticweb.HermiT.datalog.ConjunctiveQuery.QueryAnswerCallback

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.ActiveNodesCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.AgainCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.BreakpointTimeCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.ClearCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.ContinueCommand

execute(String[]) - Method in interface org.semanticweb.HermiT.debugger.commands.DebuggerCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.DerivationTreeCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.ExitCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.ForeverCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.HelpCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.HistoryCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.IsAncestorOfCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.ModelStatsCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.NodesForCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.OriginStatsCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.QueryCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.ReuseNodeForCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.ShowDescriptionGraphCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.ShowDLClausesCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.ShowExistsCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.ShowModelCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.ShowNodeCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.ShowSubtreeCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.SingleStepCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.UnprocessedDisjunctionsCommand

execute(String[]) - Method in class org.semanticweb.HermiT.debugger.commands.WaitForCommand

execute(int) - Method in interface org.semanticweb.HermiT.tableau.DLClauseEvaluator.Worker

ExistentialConcept - Class in org.semanticweb.HermiT.model

ExistentialConcept.

ExistentialConcept() - Constructor for class org.semanticweb.HermiT.model.ExistentialConcept

ExistentialExpansion(DerivationHistory.Atom) - Constructor for class org.semanticweb.HermiT.debugger.DerivationHistory.ExistentialExpansion

existentialExpansionFinished(ExistentialConcept, Node) - Method in class org.semanticweb.HermiT.debugger.Debugger

existentialExpansionFinished(ExistentialConcept, Node) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

existentialExpansionFinished(ExistentialConcept, Node) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

existentialExpansionFinished(ExistentialConcept, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

existentialExpansionFinished(ExistentialConcept, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

existentialExpansionFinished(ExistentialConcept, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

ExistentialExpansionManager - Class in org.semanticweb.HermiT.tableau

Manages the expansion of at least restrictions in a tableau.

ExistentialExpansionManager(Tableau) - Constructor for class org.semanticweb.HermiT.tableau.ExistentialExpansionManager

existentialExpansionStarted(ExistentialConcept, Node) - Method in class org.semanticweb.HermiT.debugger.Debugger

existentialExpansionStarted(ExistentialConcept, Node) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

existentialExpansionStarted(ExistentialConcept, Node) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

existentialExpansionStarted(ExistentialConcept, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

existentialExpansionStarted(ExistentialConcept, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

existentialExpansionStarted(ExistentialConcept, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

ExistentialExpansionStrategy - Interface in org.semanticweb.HermiT.existentials

Strategy objects are responsible for selecting which existentials should be expanded first, as well as how the new nodes are introduced.

existentialSatisfied(ExistentialConcept, Node) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

existentialSatisfied(ExistentialConcept, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

existentialSatisfied(ExistentialConcept, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

existentialSatisfied(ExistentialConcept, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

existentialStrategyType - Variable in class org.semanticweb.HermiT.Configuration

existential strategy type

ExistsDescriptionGraph - Class in org.semanticweb.HermiT.model

ExistsDescriptionGraph.

ExitCommand - Class in org.semanticweb.HermiT.debugger.commands

ExitCommand

ExitCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.ExitCommand

expand(ExistsDescriptionGraph, Node) - Method in class org.semanticweb.HermiT.tableau.DescriptionGraphManager

expand(AtLeast, Node) - Method in class org.semanticweb.HermiT.tableau.ExistentialExpansionManager

expandAbbreviatedIRI(String) - Method in class org.semanticweb.HermiT.Prefixes

Expands a full IRI from the abbreviated one, which is of one of the following forms: 'prefix:name', where 'prefix' is a registered prefix name (can be empty), or '<iri>', where 'iri' is an IRI.

expandExistentials(boolean) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

expandExistentials(boolean) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

ExpressionManager - Class in org.semanticweb.HermiT.structural

ExpressionManager(OWLDataFactory) - Constructor for class org.semanticweb.HermiT.structural.ExpressionManager

ExtensionManager - Class in org.semanticweb.HermiT.tableau

ExtensionManager.

ExtensionManager(Tableau) - Constructor for class org.semanticweb.HermiT.tableau.ExtensionManager

ExtensionTable - Class in org.semanticweb.HermiT.tableau

An extension table keeps track of the assertions in the ABox during a run of the tableau.

ExtensionTable(Tableau, int, boolean) - Constructor for class org.semanticweb.HermiT.tableau.ExtensionTable

ExtensionTable.Retrieval - Interface in org.semanticweb.HermiT.tableau

Retrieval.

ExtensionTable.View - Enum in org.semanticweb.HermiT.tableau

View.

ExtensionTableWithFullIndex - Class in org.semanticweb.HermiT.tableau

This extension table is for use with Description Graphs and it supports tuple tables with arity greater than three, but are, as a result, less efficient.

ExtensionTableWithFullIndex(Tableau, int, boolean) - Constructor for class org.semanticweb.HermiT.tableau.ExtensionTableWithFullIndex

ExtensionTableWithTupleIndexes - Class in org.semanticweb.HermiT.tableau

This extension table is for use with binary and ternary assertions (not description graphs).

ExtensionTableWithTupleIndexes(Tableau, int, boolean, TupleIndex[]) - Constructor for class org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes

F

FactComparator() - Constructor for class org.semanticweb.HermiT.debugger.Printing.FactComparator

fetchEdgeLabel(Node, Node) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

findNode(Node) - Method in class org.semanticweb.HermiT.debugger.commands.SubtreeViewer

findPosition(HierarchySearch.Relation<E>, E, HierarchyNode<E>, HierarchyNode<E>) - Static method in class org.semanticweb.HermiT.hierarchy.HierarchySearch

flipSatisfiabilityResult() - Method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

FloatDatatypeHandler - Class in org.semanticweb.HermiT.datatypes.floatnum

FloatDatatypeHandler.

FloatDatatypeHandler() - Constructor for class org.semanticweb.HermiT.datatypes.floatnum.FloatDatatypeHandler

FloatInterval - Class in org.semanticweb.HermiT.datatypes.floatnum

Float interval.

FloatInterval(float, float) - Constructor for class org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

floatValue() - Method in class org.semanticweb.HermiT.datatypes.owlreal.BigRational

flush() - Method in class org.semanticweb.HermiT.Reasoner

forceQuasiOrderClassification - Variable in class org.semanticweb.HermiT.Configuration

The default value is false and HermiT will use a specialiased classification strategy for deterministic ontologies, which often is faster, but not always.

ForeverCommand - Class in org.semanticweb.HermiT.debugger.commands

ForeverCommand.

ForeverCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.ForeverCommand

freshEntityPolicy - Variable in class org.semanticweb.HermiT.Configuration

fresh entity policy

G

getActiveVariables() - Method in class org.semanticweb.HermiT.tableau.DatatypeManager.DConjunction

getAdditionalDLOntology() - Method in class org.semanticweb.HermiT.tableau.Tableau

getAdditionalHyperresolutionManager() - Method in class org.semanticweb.HermiT.tableau.Tableau

getAllAtomicConcepts() - Method in class org.semanticweb.HermiT.model.DLOntology

getAllAtomicDataRoles() - Method in class org.semanticweb.HermiT.model.DLOntology

getAllAtomicObjectRoles() - Method in class org.semanticweb.HermiT.model.DLOntology

getAllComplexObjectRoles() - Method in class org.semanticweb.HermiT.model.DLOntology

getAllDescriptionGraphs() - Method in class org.semanticweb.HermiT.model.DLOntology

getAllElements() - Method in class org.semanticweb.HermiT.hierarchy.Hierarchy

getAllIndividuals() - Method in class org.semanticweb.HermiT.model.DLOntology

getAllIndividuals() - Method in class org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification

getAllNodes() - Method in class org.semanticweb.HermiT.hierarchy.Hierarchy

getAllNodesSet() - Method in class org.semanticweb.HermiT.hierarchy.Hierarchy

getAllUnknownDatatypeRestrictions() - Method in class org.semanticweb.HermiT.model.DLOntology

getAncestorNodes() - Method in class org.semanticweb.HermiT.hierarchy.HierarchyNode

getAncestorNodes(Set<HierarchyNode<T>>) - Static method in class org.semanticweb.HermiT.hierarchy.HierarchyNode

getAnonymousURI(String) - Static method in class org.semanticweb.HermiT.model.Individual

getArgument(int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Atom

getArgument(int, int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Disjunction

getArgument(int) - Method in class org.semanticweb.HermiT.model.Atom

getArgument(int, int) - Method in class org.semanticweb.HermiT.tableau.GroundDisjunction

getArgumentVariable(int) - Method in class org.semanticweb.HermiT.model.Atom

getArity() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Atom

getArity() - Method in class org.semanticweb.HermiT.model.AnnotatedEquality

getArity() - Method in class org.semanticweb.HermiT.model.AtLeast

getArity() - Method in class org.semanticweb.HermiT.model.Atom

getArity() - Method in class org.semanticweb.HermiT.model.AtomicConcept

getArity() - Method in class org.semanticweb.HermiT.model.AtomicRole

getArity() - Method in class org.semanticweb.HermiT.model.DataRange

getArity() - Method in class org.semanticweb.HermiT.model.DescriptionGraph

getArity() - Method in interface org.semanticweb.HermiT.model.DLPredicate

getArity() - Method in class org.semanticweb.HermiT.model.Equality

getArity() - Method in class org.semanticweb.HermiT.model.ExistsDescriptionGraph

getArity() - Method in class org.semanticweb.HermiT.model.Inequality

getArity() - Method in class org.semanticweb.HermiT.model.InternalDatatype

getArity() - Method in class org.semanticweb.HermiT.model.NodeIDLessEqualThan

getArity() - Method in class org.semanticweb.HermiT.model.NodeIDsAscendingOrEqual

getArity() - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

getAssertionDependencySet(DLPredicate, Node) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

getAssertionDependencySet(DLPredicate, Node, Node) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

getAssertionDependencySet(DLPredicate, Node, Node, Node) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

getAtom(Object[]) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

getAtomicConceptForVertex(int) - Method in class org.semanticweb.HermiT.model.DescriptionGraph

getAtomicConceptsLabel() - Method in interface org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject

getAtomicConceptsLabel() - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

getAtomicRole() - Method in class org.semanticweb.HermiT.model.DescriptionGraph.Edge

getAverageDatatypeCheckingTime() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getAverageInitiallyBlocked() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getAverageInitiallyInvalid() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getAverageInitialModelSize() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getAverageNoValidations() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getAverageNumberDatatypesChecked() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getAverageNumberOfBacktrackings() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getAverageNumberOfBlockedNodes() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getAverageNumberOfClashes() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getAverageNumberOfNodes() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getAverageTime() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getAverageValidationTime() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getAxiomsForReadingOffCompexProperties(OWLDataFactory, ReasonerProgressMonitor, int, int) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

getBinaryDataType() - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryData

getBinaryExtensionTable() - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

getBindingPositions() - Method in interface org.semanticweb.HermiT.tableau.ExtensionTable.Retrieval

getBindingsBuffer() - Method in interface org.semanticweb.HermiT.tableau.ExtensionTable.Retrieval

getBlocker() - Method in class org.semanticweb.HermiT.tableau.Node

getBlockingCargo() - Method in class org.semanticweb.HermiT.tableau.Node

getBlockingObject() - Method in class org.semanticweb.HermiT.tableau.Node

getBlockingSignatureFor(Node) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

getBlockingSignatureFor(Node) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

getBlockingSignatureFor(Node) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

getBlockingSignatureFor(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

getBlockingSignatureFor(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

getBodyAtom(int) - Method in class org.semanticweb.HermiT.model.DLClause

getBodyAtom(int) - Method in class org.semanticweb.HermiT.tableau.DLClauseEvaluator

getBodyAtoms() - Method in class org.semanticweb.HermiT.model.DLClause

getBodyLength() - Method in class org.semanticweb.HermiT.model.DLClause

getBodyLength() - Method in class org.semanticweb.HermiT.tableau.DLClauseEvaluator

getBottomClassNode() - Method in class org.semanticweb.HermiT.Reasoner

getBottomDataPropertyNode() - Method in class org.semanticweb.HermiT.Reasoner

getBottomNode() - Method in class org.semanticweb.HermiT.hierarchy.Hierarchy

getBottomObjectPropertyNode() - Method in class org.semanticweb.HermiT.Reasoner

getBufferingMode() - Method in class org.semanticweb.HermiT.Reasoner

getByte(int) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryData

getCanonicalNode() - Method in class org.semanticweb.HermiT.tableau.Node

getCanonicalNodeDependencySet() - Method in class org.semanticweb.HermiT.tableau.Node

getCaridnality() - Method in class org.semanticweb.HermiT.model.AnnotatedEquality

getChangedDLClause(Atom[], Atom[]) - Method in class org.semanticweb.HermiT.model.DLClause

getChildNodes() - Method in class org.semanticweb.HermiT.hierarchy.HierarchyNode

getClashDependencySet() - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

getClusterAnchor() - Method in class org.semanticweb.HermiT.tableau.Node

getCol() - Method in class rationals.algebra.Matrix

getCommand(String) - Method in class org.semanticweb.HermiT.debugger.Debugger

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.ActiveNodesCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.AgainCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.BreakpointTimeCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.ClearCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.ContinueCommand

getCommandName() - Method in interface org.semanticweb.HermiT.debugger.commands.DebuggerCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.DerivationTreeCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.ExitCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.ForeverCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.HelpCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.HistoryCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.IsAncestorOfCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.ModelStatsCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.NodesForCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.OriginStatsCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.QueryCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.ReuseNodeForCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.ShowDescriptionGraphCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.ShowDLClausesCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.ShowExistsCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.ShowModelCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.ShowNodeCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.ShowSubtreeCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.SingleStepCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.UnprocessedDisjunctionsCommand

getCommandName() - Method in class org.semanticweb.HermiT.debugger.commands.WaitForCommand

getComplement() - Method in enum org.semanticweb.HermiT.datatypes.datetime.BoundType

getComplement() - Method in enum org.semanticweb.HermiT.datatypes.owlreal.BoundType

getComplementNNF(OWLClassExpression) - Method in class org.semanticweb.HermiT.structural.ExpressionManager

getComplementNNF(OWLDataRange) - Method in class org.semanticweb.HermiT.structural.ExpressionManager

getConceptAssertionDependencySet(Concept, Node) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

getConceptForNode(Node) - Method in class org.semanticweb.HermiT.existentials.IndividualReuseStrategy

getConfiguration(ReasonerProgressMonitor) - Method in class org.semanticweb.HermiT.ProtegeReasonerFactory

getConfiguration() - Method in class org.semanticweb.HermiT.Reasoner

getConsoleTextArea() - Method in class org.semanticweb.HermiT.debugger.Debugger

getConstant(int) - Method in class org.semanticweb.HermiT.model.ConstantEnumeration

getCurrentBranchingPoint() - Method in class org.semanticweb.HermiT.tableau.Tableau

getCurrentBranchingPointLevel() - Method in class org.semanticweb.HermiT.tableau.Tableau

getCurrentIndividualIndex() - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

getCurrentTupleIndex() - Method in interface org.semanticweb.HermiT.tableau.ExtensionTable.Retrieval

getDataFactory() - Method in class org.semanticweb.HermiT.Reasoner

getDatalogEngine() - Method in class org.semanticweb.HermiT.datalog.ConjunctiveQuery

getDataPropertyAssertions() - Method in class org.semanticweb.HermiT.model.DLOntology

getDataPropertyDomains(OWLDataProperty, boolean) - Method in class org.semanticweb.HermiT.Reasoner

getDataPropertyValues(OWLNamedIndividual, OWLDataProperty) - Method in class org.semanticweb.HermiT.Reasoner

getDataRangeAssertionDependencySet(DataRange, Node) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

getDatatypeAutomaton(String) - Static method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralPatternValueSpaceSubset

getDatatypeCheckingTime() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getDatatypeURI() - Method in class org.semanticweb.HermiT.model.Constant

getDatatypeURI() - Method in class org.semanticweb.HermiT.model.DatatypeRestriction

getDataValue() - Method in class org.semanticweb.HermiT.model.Constant

getDebuggerCommands() - Method in class org.semanticweb.HermiT.debugger.Debugger

getDefinedDatatypeIRIs() - Method in class org.semanticweb.HermiT.model.DLOntology

getDenominator() - Method in class org.semanticweb.HermiT.datatypes.owlreal.BigRational

getDependencySet(int) - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

getDependencySet(Object[]) - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

getDependencySet() - Method in interface org.semanticweb.HermiT.tableau.ExtensionTable.Retrieval

getDependencySet(Object[]) - Method in class org.semanticweb.HermiT.tableau.ExtensionTableWithFullIndex

getDependencySet(Object[]) - Method in class org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes

getDependencySet() - Method in class org.semanticweb.HermiT.tableau.GroundDisjunction

getDependencySetFactory() - Method in class org.semanticweb.HermiT.tableau.Tableau

getDepth() - Method in class org.semanticweb.HermiT.hierarchy.Hierarchy

getDerivation() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Atom

getDerivation() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Disjunction

getDerivation() - Method in interface org.semanticweb.HermiT.debugger.DerivationHistory.Fact

getDerivationHistory() - Method in class org.semanticweb.HermiT.debugger.Debugger

getDescendantNodes() - Method in class org.semanticweb.HermiT.hierarchy.HierarchyNode

getDescendantNodes(Set<HierarchyNode<T>>) - Static method in class org.semanticweb.HermiT.hierarchy.HierarchyNode

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.ActiveNodesCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.AgainCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.BreakpointTimeCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.ClearCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.ContinueCommand

getDescription() - Method in interface org.semanticweb.HermiT.debugger.commands.DebuggerCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.DerivationTreeCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.ExitCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.ForeverCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.HelpCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.HistoryCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.IsAncestorOfCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.ModelStatsCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.NodesForCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.OriginStatsCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.QueryCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.ReuseNodeForCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.ShowDescriptionGraphCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.ShowDLClausesCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.ShowExistsCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.ShowModelCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.ShowNodeCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.ShowSubtreeCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.SingleStepCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.UnprocessedDisjunctionsCommand

getDescription() - Method in class org.semanticweb.HermiT.debugger.commands.WaitForCommand

getDescriptionGraph() - Method in class org.semanticweb.HermiT.model.ExistsDescriptionGraph

getDescriptionGraphManager() - Method in class org.semanticweb.HermiT.tableau.Tableau

getDescriptionGraphTuple(int, int) - Method in class org.semanticweb.HermiT.tableau.DescriptionGraphManager

getDifferentIndividuals(OWLNamedIndividual) - Method in class org.semanticweb.HermiT.Reasoner

getDisjointClasses(OWLClassExpression) - Method in class org.semanticweb.HermiT.Reasoner

getDisjointDataProperties(OWLDataPropertyExpression) - Method in class org.semanticweb.HermiT.Reasoner

getDisjointObjectProperties(OWLObjectPropertyExpression) - Method in class org.semanticweb.HermiT.Reasoner

getDisjunctIndex() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.DisjunctApplication

getDisjunction(GroundDisjunction) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

getDLClause() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.DLClauseApplication

getDLClause(int) - Method in class org.semanticweb.HermiT.tableau.DLClauseEvaluator

getDLClauses() - Method in class org.semanticweb.HermiT.model.DLOntology

getDLOntology() - Method in class org.semanticweb.HermiT.datalog.DatalogEngine

getDLOntology() - Method in class org.semanticweb.HermiT.Reasoner

getDLPredicate() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Atom

getDLPredicate(int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Disjunction

getDLPredicate() - Method in class org.semanticweb.HermiT.model.Atom

getDLPredicate(int) - Method in class org.semanticweb.HermiT.tableau.GroundDisjunction

getDontReuseConceptsEver() - Method in class org.semanticweb.HermiT.existentials.IndividualReuseStrategy

getEdge(int) - Method in class org.semanticweb.HermiT.model.DescriptionGraph

getElements() - Method in class org.semanticweb.HermiT.graph.Graph

getEquivalenceClass(Term) - Method in class org.semanticweb.HermiT.datalog.DatalogEngine

getEquivalentClasses(OWLClassExpression) - Method in class org.semanticweb.HermiT.Reasoner

getEquivalentDataProperties(OWLDataProperty) - Method in class org.semanticweb.HermiT.Reasoner

getEquivalentElements() - Method in class org.semanticweb.HermiT.hierarchy.HierarchyNode

getEquivalentObjectProperties(OWLObjectPropertyExpression) - Method in class org.semanticweb.HermiT.Reasoner

getExistentialExpansionManager() - Method in class org.semanticweb.HermiT.tableau.Tableau

getExistentialsExpansionStrategy() - Method in class org.semanticweb.HermiT.tableau.Tableau

getExtensionManager() - Method in class org.semanticweb.HermiT.tableau.Tableau

getExtensionTable(int) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

getExtensionTable() - Method in interface org.semanticweb.HermiT.tableau.ExtensionTable.Retrieval

getExtensionTables() - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

getExtensionView() - Method in interface org.semanticweb.HermiT.tableau.ExtensionTable.Retrieval

getFacetURI(int) - Method in class org.semanticweb.HermiT.model.DatatypeRestriction

getFacetValue(int) - Method in class org.semanticweb.HermiT.model.DatatypeRestriction

getFirstFreeTupleIndex() - Method in class org.semanticweb.HermiT.tableau.TupleTable

getFirstTableauNode() - Method in class org.semanticweb.HermiT.tableau.Tableau

getFirstUnprocessedGroundDisjunction() - Method in class org.semanticweb.HermiT.tableau.Tableau

getFreshEntityPolicy() - Method in class org.semanticweb.HermiT.Configuration

getFreshEntityPolicy() - Method in class org.semanticweb.HermiT.Reasoner

getFrom() - Method in class rationals.Couple

getFromVertex() - Method in class org.semanticweb.HermiT.model.DescriptionGraph.Edge

getFullAtomicConceptsLabel() - Method in interface org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject

getFullAtomicConceptsLabel() - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

getFullFromParentLabel() - Method in interface org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject

getFullFromParentLabel() - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

getFullToParentLabel() - Method in interface org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject

getFullToParentLabel() - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

getGroundDisjunctionHeader() - Method in class org.semanticweb.HermiT.tableau.GroundDisjunction

getHeadAtom(int) - Method in class org.semanticweb.HermiT.model.DLClause

getHeadAtom(int, int) - Method in class org.semanticweb.HermiT.tableau.DLClauseEvaluator

getHeadAtoms() - Method in class org.semanticweb.HermiT.model.DLClause

getHeadLength() - Method in class org.semanticweb.HermiT.model.DLClause

getHeadLength(int) - Method in class org.semanticweb.HermiT.tableau.DLClauseEvaluator

getIndividualNodeSetPolicy() - Method in class org.semanticweb.HermiT.Configuration

getIndividualNodeSetPolicy() - Method in class org.semanticweb.HermiT.Reasoner

getIndividuals(Set<Individual>) - Method in class org.semanticweb.HermiT.model.Atom

getInitiallyBlocked() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getInitiallyInvalid() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getInitialModelSize() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getInstances(AtomicConcept, boolean) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

getInstances(HierarchyNode<AtomicConcept>, boolean) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

getInstances(OWLClassExpression, boolean) - Method in class org.semanticweb.HermiT.Reasoner

getInterruptFlag() - Method in class org.semanticweb.HermiT.tableau.Tableau

getInverse() - Method in class org.semanticweb.HermiT.graph.Graph

getInverse() - Method in class org.semanticweb.HermiT.model.AtomicRole

getInverse() - Method in class org.semanticweb.HermiT.model.InverseRole

getInverse() - Method in class org.semanticweb.HermiT.model.Role

getInverseObjectProperties(OWLObjectPropertyExpression) - Method in class org.semanticweb.HermiT.Reasoner

getInverseOf() - Method in class org.semanticweb.HermiT.model.InverseRole

getIRI() - Method in class org.semanticweb.HermiT.model.AtomicConcept

getIRI() - Method in class org.semanticweb.HermiT.model.AtomicRole

getIRI() - Method in class org.semanticweb.HermiT.model.Individual

getIRI() - Method in class org.semanticweb.HermiT.model.InternalDatatype

getKnownInstances() - Method in class org.semanticweb.HermiT.hierarchy.AtomicConceptElement

getLanguageRangeAutomaton(String) - Static method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralPatternValueSpaceSubset

getLanguageTag() - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDataValue

getLastCommand() - Method in class org.semanticweb.HermiT.debugger.Debugger

getLastTableauNode() - Method in class org.semanticweb.HermiT.tableau.Tableau

getLeft() - Method in class rationals.expr.BinaryExpr

getLevel() - Method in class org.semanticweb.HermiT.tableau.BranchingPoint

getLexicalForm() - Method in class org.semanticweb.HermiT.model.Constant

getLine() - Method in class rationals.algebra.Matrix

getMainFrame() - Method in class org.semanticweb.HermiT.debugger.Debugger

getManagedDatatypeURIs() - Method in class org.semanticweb.HermiT.datatypes.anyuri.AnyURIDatatypeHandler

getManagedDatatypeURIs() - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataDatatypeHandler

getManagedDatatypeURIs() - Method in class org.semanticweb.HermiT.datatypes.bool.BooleanDatatypeHandler

getManagedDatatypeURIs() - Method in interface org.semanticweb.HermiT.datatypes.DatatypeHandler

getManagedDatatypeURIs() - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeDatatypeHandler

getManagedDatatypeURIs() - Method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleDatatypeHandler

getManagedDatatypeURIs() - Method in class org.semanticweb.HermiT.datatypes.floatnum.FloatDatatypeHandler

getManagedDatatypeURIs() - Method in class org.semanticweb.HermiT.datatypes.owlreal.OWLRealDatatypeHandler

getManagedDatatypeURIs() - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDatatypeHandler

getManagedDatatypeURIs() - Method in class org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteralDatatypeHandler

getMaximumBranchingPoint() - Method in interface org.semanticweb.HermiT.tableau.DependencySet

getMaximumBranchingPoint() - Method in class org.semanticweb.HermiT.tableau.PermanentDependencySet

getMergedInto() - Method in class org.semanticweb.HermiT.tableau.Node

getMergedIntoDependencySet() - Method in class org.semanticweb.HermiT.tableau.Node

getMergePrecedence() - Method in enum org.semanticweb.HermiT.tableau.NodeType

getMergingManager() - Method in class org.semanticweb.HermiT.tableau.Tableau

getMessagePattern() - Method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

getMinutesInDay(long) - Static method in class org.semanticweb.HermiT.datatypes.datetime.DateTime

getMoreRestrictive(BoundType, BoundType) - Static method in enum org.semanticweb.HermiT.datatypes.datetime.BoundType

getMoreRestrictive(BoundType, BoundType) - Static method in enum org.semanticweb.HermiT.datatypes.owlreal.BoundType

getMostSpecificRange(Number) - Static method in enum org.semanticweb.HermiT.datatypes.owlreal.NumberRange

getName() - Method in class org.semanticweb.HermiT.datatypes.DatatypeRegistry.AnonymousConstantValue

getName() - Method in class org.semanticweb.HermiT.model.DescriptionGraph

getName() - Method in class org.semanticweb.HermiT.model.Variable

getNearestIntegerInBound(Number, Numbers.BoundaryDirection, boolean) - Static method in class org.semanticweb.HermiT.datatypes.owlreal.Numbers

getNegatedAtomicConcept() - Method in class org.semanticweb.HermiT.model.AtomicNegationConcept

getNegatedAtomicRole() - Method in class org.semanticweb.HermiT.model.NegatedAtomicRole

getNegatedDataRange() - Method in class org.semanticweb.HermiT.model.AtomicNegationDataRange

getNegation() - Method in class org.semanticweb.HermiT.model.AtomicConcept

getNegation() - Method in class org.semanticweb.HermiT.model.AtomicDataRange

getNegation() - Method in class org.semanticweb.HermiT.model.AtomicNegationConcept

getNegation() - Method in class org.semanticweb.HermiT.model.AtomicNegationDataRange

getNegation() - Method in class org.semanticweb.HermiT.model.ConstantEnumeration

getNegation() - Method in class org.semanticweb.HermiT.model.DatatypeRestriction

getNegation() - Method in class org.semanticweb.HermiT.model.InternalDatatype

getNegation() - Method in class org.semanticweb.HermiT.model.LiteralConcept

getNegation() - Method in class org.semanticweb.HermiT.model.LiteralDataRange

getNegativeDatatypeRestrictions() - Method in class org.semanticweb.HermiT.tableau.DatatypeManager.DVariable

getNegativeDataValueEnumerations() - Method in class org.semanticweb.HermiT.tableau.DatatypeManager.DVariable

getNegativeFacts() - Method in class org.semanticweb.HermiT.model.DLOntology

getNegativeFacts() - Method in class org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification

getNextEntry() - Method in class org.semanticweb.HermiT.blocking.BlockingSignature

getNextGroundDisjunction() - Method in class org.semanticweb.HermiT.tableau.GroundDisjunction

getNextTableauNode() - Method in class org.semanticweb.HermiT.tableau.Node

getNNF(OWLClassExpression) - Method in class org.semanticweb.HermiT.structural.ExpressionManager

getNNF(OWLDataRange) - Method in class org.semanticweb.HermiT.structural.ExpressionManager

getNode() - Method in class org.semanticweb.HermiT.tableau.DatatypeManager.DVariable

getNode(int) - Method in class org.semanticweb.HermiT.tableau.Tableau

getNodeCreationInfo(Node) - Method in class org.semanticweb.HermiT.debugger.Debugger

getNodeForElement(E) - Method in class org.semanticweb.HermiT.hierarchy.Hierarchy

getNodeID() - Method in class org.semanticweb.HermiT.tableau.Node

getNodesForIndividuals() - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

getNodeType() - Method in class org.semanticweb.HermiT.tableau.Node

getNominalIntroductionManager() - Method in class org.semanticweb.HermiT.tableau.Tableau

getNoValidations() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getNumber() - Method in class org.semanticweb.HermiT.model.AtLeast

getNumberDatatypesChecked() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getNumberOfAllocatedNodes() - Method in class org.semanticweb.HermiT.tableau.Tableau

getNumberOfAnswerTerms() - Method in class org.semanticweb.HermiT.datalog.ConjunctiveQuery

getNumberOfBacktrackings() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getNumberOfBlockedNodes() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getNumberOfBytes() - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryData

getNumberOfConstants() - Method in class org.semanticweb.HermiT.model.ConstantEnumeration

getNumberOfDisjuncts() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Disjunction

getNumberOfDisjuncts() - Method in class org.semanticweb.HermiT.tableau.GroundDisjunction

getNumberOfDLClauses() - Method in class org.semanticweb.HermiT.tableau.DLClauseEvaluator

getNumberOfEdges() - Method in class org.semanticweb.HermiT.model.DescriptionGraph

getNumberOfExternalConcepts() - Method in class org.semanticweb.HermiT.model.DLOntology

getNumberOfFacetRestrictions() - Method in class org.semanticweb.HermiT.model.DatatypeRestriction

getNumberOfMergedOrPrunedNodes() - Method in class org.semanticweb.HermiT.tableau.Tableau

getNumberOfNodeCreations() - Method in class org.semanticweb.HermiT.tableau.Tableau

getNumberOfNodes() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getNumberOfNodesInTableau() - Method in class org.semanticweb.HermiT.tableau.Tableau

getNumberOfPositiveAtomicConcepts() - Method in class org.semanticweb.HermiT.tableau.Node

getNumberOfPossibleInstancesInstances() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getNumberOfPossibleInstancesTested() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getNumberOfPremises() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.BaseFact

getNumberOfPremises() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.ClashDetection

getNumberOfPremises() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.DatatypeChecking

getNumberOfPremises() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Derivation

getNumberOfPremises() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.DisjunctApplication

getNumberOfPremises() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.DLClauseApplication

getNumberOfPremises() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.ExistentialExpansion

getNumberOfPremises() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.GraphChecking

getNumberOfPremises() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Merging

getNumberOfPremises() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.UnknownDatatypeRestrictionDetection

getNumberOfQUeryAtoms() - Method in class org.semanticweb.HermiT.datalog.ConjunctiveQuery

getNumberOfVertices() - Method in class org.semanticweb.HermiT.model.DescriptionGraph

getNumerator() - Method in class org.semanticweb.HermiT.datatypes.owlreal.BigRational

getObjectPropertyDomains(OWLObjectPropertyExpression, boolean) - Method in class org.semanticweb.HermiT.Reasoner

getObjectPropertyInstances(AtomicRole) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

getObjectPropertyInstances(OWLObjectProperty) - Method in class org.semanticweb.HermiT.Reasoner

getObjectPropertyRanges(OWLObjectPropertyExpression, boolean) - Method in class org.semanticweb.HermiT.Reasoner

getObjectPropertySubjects(AtomicRole, Individual) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

getObjectPropertyValues(AtomicRole, Individual) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

getObjectPropertyValues(OWLNamedIndividual, OWLObjectPropertyExpression) - Method in class org.semanticweb.HermiT.Reasoner

getOnRole() - Method in class org.semanticweb.HermiT.model.AnnotatedEquality

getOnRole() - Method in class org.semanticweb.HermiT.model.AtLeast

getOntologyIRI() - Method in class org.semanticweb.HermiT.model.DLOntology

getOutput() - Method in class org.semanticweb.HermiT.debugger.Debugger

getOverallDatatypeCheckingTime() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getOverallInitiallyBlocked() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getOverallInitiallyInvalid() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getOverallInitialModelSize() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getOverallNoValidations() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getOverallNumberDatatypesChecked() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getOverallNumberOfBacktrackings() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getOverallNumberOfBlockedNodes() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getOverallNumberOfClashes() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getOverallNumberOfNodes() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getOverallNumberOfTests() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getOverallTime() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getOverallValidationTime() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getParameters() - Method in class org.semanticweb.HermiT.tableau.Tableau

getParent() - Method in class org.semanticweb.HermiT.tableau.Node

getParentNodes() - Method in class org.semanticweb.HermiT.hierarchy.HierarchyNode

getPatternAutomaton(String) - Static method in class org.semanticweb.HermiT.datatypes.anyuri.AnyURIValueSpaceSubset

getPatternAutomaton(String) - Static method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralPatternValueSpaceSubset

getPendingAxiomAdditions() - Method in class org.semanticweb.HermiT.Reasoner

getPendingAxiomRemovals() - Method in class org.semanticweb.HermiT.Reasoner

getPendingChanges() - Method in class org.semanticweb.HermiT.Reasoner

getPermanent(DependencySet) - Method in class org.semanticweb.HermiT.tableau.DependencySetFactory

getPermanentDLOntology() - Method in class org.semanticweb.HermiT.tableau.Tableau

getPermanentHyperresolutionManager() - Method in class org.semanticweb.HermiT.tableau.Tableau

getPositiveDatatypeRestrictions() - Method in class org.semanticweb.HermiT.tableau.DatatypeManager.DVariable

getPositiveDataValueEnumerations() - Method in class org.semanticweb.HermiT.tableau.DatatypeManager.DVariable

getPositiveFacts() - Method in class org.semanticweb.HermiT.model.DLOntology

getPositiveFacts() - Method in class org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification

getPossibleInstances() - Method in class org.semanticweb.HermiT.hierarchy.AtomicConceptElement

getPossiblesToInstances() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getPrecomputableInferenceTypes() - Method in class org.semanticweb.HermiT.Reasoner

getPredecessorElements(U) - Method in interface org.semanticweb.HermiT.hierarchy.HierarchySearch.SearchPredicate

getPrefixes() - Method in class org.semanticweb.HermiT.debugger.Debugger

getPrefixes() - Method in class org.semanticweb.HermiT.Reasoner

getPrefixIRI(String) - Method in class org.semanticweb.HermiT.Prefixes

getPrefixIRIsByPrefixName() - Method in class org.semanticweb.HermiT.Prefixes

getPrefixName(String) - Method in class org.semanticweb.HermiT.Prefixes

getPremise(int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.BaseFact

getPremise(int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.ClashDetection

getPremise(int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.DatatypeChecking

getPremise(int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Derivation

getPremise(int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.DisjunctApplication

getPremise(int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.DLClauseApplication

getPremise(int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.ExistentialExpansion

getPremise(int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.GraphChecking

getPremise(int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Merging

getPremise(int) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.UnknownDatatypeRestrictionDetection

getPreviousGroundDisjunction() - Method in class org.semanticweb.HermiT.tableau.GroundDisjunction

getPreviousTableauNode() - Method in class org.semanticweb.HermiT.tableau.Node

getProgressMonitor() - Method in class org.semanticweb.HermiT.Configuration

getReachableSuccessors(T) - Method in class org.semanticweb.HermiT.graph.Graph

getReader() - Method in class org.semanticweb.HermiT.debugger.ConsoleTextArea

getReasonerFactory() - Method in class org.semanticweb.HermiT.ProtegeReasonerFactory

getReasonerName() - Method in class org.semanticweb.HermiT.Reasoner

getReasonerName() - Method in class org.semanticweb.HermiT.ReasonerFactory

getReasonerVersion() - Method in class org.semanticweb.HermiT.Reasoner

getRecommendedBuffering() - Method in class org.semanticweb.HermiT.ProtegeReasonerFactory

getRepresentative(Term) - Method in class org.semanticweb.HermiT.datalog.DatalogEngine

getRepresentative() - Method in class org.semanticweb.HermiT.hierarchy.HierarchyNode

getRight() - Method in class rationals.expr.BinaryExpr

getRoleAssertion(Term, Term) - Method in class org.semanticweb.HermiT.model.AtomicRole

getRoleAssertion(Term, Term) - Method in class org.semanticweb.HermiT.model.InverseRole

getRoleAssertion(Term, Term) - Method in class org.semanticweb.HermiT.model.Role

getRoleAssertionDependencySet(Role, Node, Node) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

getRootOntology() - Method in class org.semanticweb.HermiT.Reasoner

getSafeVersion(DLPredicate) - Method in class org.semanticweb.HermiT.model.DLClause

getSameAsIndividuals(Individual) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

getSameIndividuals(OWLNamedIndividual) - Method in class org.semanticweb.HermiT.Reasoner

getSet(Set<E>) - Method in class org.semanticweb.HermiT.blocking.SetFactory

getSimplified(OWLClassExpression) - Method in class org.semanticweb.HermiT.structural.ExpressionManager

getSimplified(OWLDataRange) - Method in class org.semanticweb.HermiT.structural.ExpressionManager

getSomeUnprocessedExistential() - Method in class org.semanticweb.HermiT.tableau.Node

getSortedDisjunctIndexes() - Method in class org.semanticweb.HermiT.tableau.GroundDisjunctionHeader

getStartConcepts() - Method in class org.semanticweb.HermiT.model.DescriptionGraph

getStateFactory() - Method in class rationals.Automaton

getStateFactory() - Method in interface rationals.StateMachine

Retrieves the state factory associated to this SM.

getStatistics() - Method in class org.semanticweb.HermiT.model.DLOntology

getString() - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDataValue

getSubClasses(OWLClassExpression, boolean) - Method in class org.semanticweb.HermiT.Reasoner

getSubDataProperties(OWLDataProperty, boolean) - Method in class org.semanticweb.HermiT.Reasoner

getSubObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class org.semanticweb.HermiT.Reasoner

getSuccessorElements(U) - Method in interface org.semanticweb.HermiT.hierarchy.HierarchySearch.SearchPredicate

getSuccessors(T) - Method in class org.semanticweb.HermiT.graph.Graph

getSuperClasses(OWLClassExpression, boolean) - Method in class org.semanticweb.HermiT.Reasoner

getSuperDataProperties(OWLDataProperty, boolean) - Method in class org.semanticweb.HermiT.Reasoner

getSuperObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class org.semanticweb.HermiT.Reasoner

getSwappedDLClause(int) - Method in class org.semanticweb.HermiT.tableau.HyperresolutionManager.BodyAtomsSwapper

getTableau() - Method in class org.semanticweb.HermiT.debugger.Debugger

getTableau() - Method in class org.semanticweb.HermiT.Reasoner

getTableau(OWLAxiom...) - Method in class org.semanticweb.HermiT.Reasoner

A mostly internal method.

getTableau() - Method in class org.semanticweb.HermiT.tableau.Node

getTableauMonitor() - Method in class org.semanticweb.HermiT.tableau.Tableau

getTaskDescription(Prefixes) - Method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

getTernaryExtensionTable() - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

getTestDescription() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getTestDescription() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor.TestRecord

getTestResult() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getTestResult() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor.TestRecord

getTestTime() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor.TestRecord

getTextRepresentation() - Method in class org.semanticweb.HermiT.model.DescriptionGraph

getTime() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getTimeOnTimeline() - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTime

getTimeOut() - Method in class org.semanticweb.HermiT.Configuration

getTimeOut() - Method in class org.semanticweb.HermiT.Reasoner

getTimeZoneOffset() - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTime

getTo() - Method in class rationals.Couple

getToConcept() - Method in class org.semanticweb.HermiT.model.AnnotatedEquality

getToConcept() - Method in class org.semanticweb.HermiT.model.AtLeastConcept

getToDataRange() - Method in class org.semanticweb.HermiT.model.AtLeastDataRange

getTopClassNode() - Method in class org.semanticweb.HermiT.Reasoner

getTopDataPropertyNode() - Method in class org.semanticweb.HermiT.Reasoner

getTopNode() - Method in class org.semanticweb.HermiT.hierarchy.Hierarchy

getTopObjectPropertyNode() - Method in class org.semanticweb.HermiT.Reasoner

getToVertex() - Method in class org.semanticweb.HermiT.model.DescriptionGraph.Edge

getTreeDepth() - Method in class org.semanticweb.HermiT.tableau.Node

getTupleBuffer() - Method in interface org.semanticweb.HermiT.tableau.ExtensionTable.Retrieval

getTupleDependencySet(Object[]) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

getTupleMatchedToBody(int) - Method in class org.semanticweb.HermiT.tableau.DLClauseEvaluator

getTupleObject(int, int) - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

getTupleObject(int, int) - Method in class org.semanticweb.HermiT.tableau.TupleTable

getTypes(Individual, boolean) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

getTypes(OWLNamedIndividual, boolean) - Method in class org.semanticweb.HermiT.Reasoner

getUnequalToDirect() - Method in class org.semanticweb.HermiT.tableau.DatatypeManager.DVariable

getUnprocessedExistentials() - Method in class org.semanticweb.HermiT.tableau.Node

getUnsatisfiableClasses() - Method in class org.semanticweb.HermiT.Reasoner

getUsedMessagePatterns() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getValidationTime() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

getVariableFor(Node) - Method in class org.semanticweb.HermiT.tableau.DatatypeManager.DConjunction

getVariables(Set<Variable>) - Method in class org.semanticweb.HermiT.model.Atom

getVertex() - Method in class org.semanticweb.HermiT.model.ExistsDescriptionGraph

getWriter() - Method in class org.semanticweb.HermiT.debugger.ConsoleTextArea

getXML() - Method in class org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteral

Graph<T> - Class in org.semanticweb.HermiT.graph

Graph.

Graph() - Constructor for class org.semanticweb.HermiT.graph.Graph

GraphChecking(DerivationHistory.Atom, int, DerivationHistory.Atom, int) - Constructor for class org.semanticweb.HermiT.debugger.DerivationHistory.GraphChecking

GroundDisjunction - Class in org.semanticweb.HermiT.tableau

GroundDisjunction

GroundDisjunction(Tableau, GroundDisjunctionHeader, Node[], boolean[], DependencySet) - Constructor for class org.semanticweb.HermiT.tableau.GroundDisjunction

groundDisjunctionDerived(GroundDisjunction) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

groundDisjunctionDerived(GroundDisjunction) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

groundDisjunctionDerived(GroundDisjunction) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

groundDisjunctionDerived(GroundDisjunction) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

groundDisjunctionDerived(GroundDisjunction) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

GroundDisjunctionHeader - Class in org.semanticweb.HermiT.tableau

GroundDisjunctionHeader.

groundDisjunctionSatisfied(GroundDisjunction) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

groundDisjunctionSatisfied(GroundDisjunction) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

groundDisjunctionSatisfied(GroundDisjunction) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

groundDisjunctionSatisfied(GroundDisjunction) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

H

hasAlreadyBeenChecked() - Method in interface org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject

hasAlreadyBeenChecked() - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

hasAtMostRestrictions() - Method in class org.semanticweb.HermiT.model.DLOntology

hasBlockingInfoChanged(Node) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

hasBlockingInfoChanged(Node) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

hasBlockingInfoChanged(Node) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

hasBlockingInfoChanged(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

hasBlockingInfoChanged(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

hasCardinalityAtLeast(int) - Method in class org.semanticweb.HermiT.datatypes.anyuri.AnyURIValueSpaceSubset

hasCardinalityAtLeast(int) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataValueSpaceSubset

hasCardinalityAtLeast(int) - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeValueSpaceSubset

hasCardinalityAtLeast(int) - Method in class org.semanticweb.HermiT.datatypes.doublenum.EntireDoubleSubset

hasCardinalityAtLeast(int) - Method in class org.semanticweb.HermiT.datatypes.doublenum.NoNaNDoubleSubset

hasCardinalityAtLeast(int) - Method in class org.semanticweb.HermiT.datatypes.floatnum.NoNaNFloatSubset

hasCardinalityAtLeast(int) - Method in class org.semanticweb.HermiT.datatypes.owlreal.OWLRealValueSpaceSubset

hasCardinalityAtLeast(int) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthValueSpaceSubset

hasCardinalityAtLeast(int) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralPatternValueSpaceSubset

hasCardinalityAtLeast(int) - Method in interface org.semanticweb.HermiT.datatypes.ValueSpaceSubset

hasChangedSinceValidation(Node) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

hasChangedSinceValidation(Node) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

hasChangedSinceValidation(Node) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

hasChangedSinceValidation(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

hasChangedSinceValidation(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

hasDataPropertyRelationship(OWLNamedIndividual, OWLDataProperty, OWLLiteral) - Method in class org.semanticweb.HermiT.Reasoner

hasDatatypes() - Method in class org.semanticweb.HermiT.model.DLOntology

hashCode() - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryData

hashCode() - Method in class org.semanticweb.HermiT.datatypes.DatatypeRegistry.AnonymousConstantValue

hashCode() - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTime

hashCode() - Method in class org.semanticweb.HermiT.datatypes.owlreal.BigRational

hashCode() - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDataValue

hashCode() - Method in class org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteral

hashCode() - Method in class org.semanticweb.HermiT.model.DescriptionGraph.Edge

hashCode() - Method in class rationals.Couple

hashCode() - Method in class rationals.expr.Letter

hashCode() - Method in class rationals.transformations.HashValue

hashCode() - Method in class rationals.Transition

HashValue - Class in rationals.transformations

A simple class for encapsulating sets s.t.

hasInverseRoles() - Method in class org.semanticweb.HermiT.model.DLOntology

hasNominals() - Method in class org.semanticweb.HermiT.model.DLOntology

hasObjectPropertyRelationship(OWLNamedIndividual, OWLObjectPropertyExpression, OWLNamedIndividual) - Method in class org.semanticweb.HermiT.Reasoner

hasObjectRoleRelationship(AtomicRole, Individual, Individual) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

hasObjectRoleRelationship(HierarchyNode<RoleElementManager.RoleElement>, Individual, Individual) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

hasPossibles() - Method in class org.semanticweb.HermiT.hierarchy.AtomicConceptElement

hasSameRestrictions(DatatypeManager.DVariable) - Method in class org.semanticweb.HermiT.tableau.DatatypeManager.DVariable

hasTimeZoneOffset() - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTime

hasType(Individual, AtomicConcept, boolean) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

hasType(Individual, HierarchyNode<AtomicConcept>, boolean) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

hasType(OWLNamedIndividual, OWLClassExpression, boolean) - Method in class org.semanticweb.HermiT.Reasoner

hasUnknownDatatypeRestrictions() - Method in class org.semanticweb.HermiT.model.DLOntology

hasUnprocessedExistentials() - Method in class org.semanticweb.HermiT.tableau.Node

HelpCommand - Class in org.semanticweb.HermiT.debugger.commands

HelpCommand.

HelpCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.HelpCommand

Hierarchy<E> - Class in org.semanticweb.HermiT.hierarchy

Hierarchy.

Hierarchy(HierarchyNode<E>, HierarchyNode<E>) - Constructor for class org.semanticweb.HermiT.hierarchy.Hierarchy

Hierarchy.Transformer<E,T> - Interface in org.semanticweb.HermiT.hierarchy

Transformer.

HierarchyDumperFSS - Class in org.semanticweb.HermiT.hierarchy

HierarchyDumperFSS.

HierarchyDumperFSS(PrintWriter) - Constructor for class org.semanticweb.HermiT.hierarchy.HierarchyDumperFSS

HierarchyNode<E> - Class in org.semanticweb.HermiT.hierarchy

HierarchyNode.

HierarchyNode(E) - Constructor for class org.semanticweb.HermiT.hierarchy.HierarchyNode

HierarchyNode(E, Set<E>, Set<HierarchyNode<E>>, Set<HierarchyNode<E>>) - Constructor for class org.semanticweb.HermiT.hierarchy.HierarchyNode

HierarchyPrinterFSS - Class in org.semanticweb.HermiT.hierarchy

HierarchyPrinterFSS.

HierarchyPrinterFSS(PrintWriter, String) - Constructor for class org.semanticweb.HermiT.hierarchy.HierarchyPrinterFSS

HierarchySearch - Class in org.semanticweb.HermiT.hierarchy

HelpCommand.

HierarchySearch() - Constructor for class org.semanticweb.HermiT.hierarchy.HierarchySearch

HierarchySearch.Relation<U> - Interface in org.semanticweb.HermiT.hierarchy

Relation.

HierarchySearch.SearchPredicate<U> - Interface in org.semanticweb.HermiT.hierarchy

Search predicate.

HistoryCommand - Class in org.semanticweb.HermiT.debugger.commands

HistoryCommand.

HistoryCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.HistoryCommand

HyperresolutionManager - Class in org.semanticweb.HermiT.tableau

Applies the rules during the expansion of a tableau.

HyperresolutionManager(Tableau, Set<DLClause>) - Constructor for class org.semanticweb.HermiT.tableau.HyperresolutionManager

HyperresolutionManager.BodyAtomsSwapper - Class in org.semanticweb.HermiT.tableau

BodyAtomsSwapper.

I

ignoreUnsupportedDatatypes - Variable in class org.semanticweb.HermiT.Configuration

If HermiT encounters a non-OWL2 datatype, it normally throws an error.

ImmutablePrefixes(Map<String, String>) - Constructor for class org.semanticweb.HermiT.Prefixes.ImmutablePrefixes

increaseNumberOfBacktrackings(int) - Method in class org.semanticweb.HermiT.tableau.GroundDisjunctionHeader

Individual - Class in org.semanticweb.HermiT.model

Represents an individual in a DL clause.

IndividualComparator() - Constructor for class org.semanticweb.HermiT.model.DLOntology.IndividualComparator

individualNodeSetPolicy - Variable in class org.semanticweb.HermiT.Configuration

individual node set policy

IndividualReuseStrategy - Class in org.semanticweb.HermiT.existentials

IndividualReuseStrategy.

IndividualReuseStrategy(BlockingStrategy, boolean) - Constructor for class org.semanticweb.HermiT.existentials.IndividualReuseStrategy

individualTaskTimeout - Variable in class org.semanticweb.HermiT.Configuration

If set to some value, reasoning in HermiT is interrupted as soon as any individual reasoning task takes any longer than individualTaskTimeout ms.

Inequality - Class in org.semanticweb.HermiT.model

Represents the inequality predicate.

initialize(Tableau) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

initialize(Tableau) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

initialize(Tableau) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

initialize(Tableau) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

initialize(Tableau) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

initialize(Tableau) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

initialize(Tableau) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

initialize(Tableau) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

initialize(Tableau) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

initialize() - Method in interface org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject

Initialize.

initialize() - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

initialize(Tableau) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

initialize(Tableau) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

initialize(Tableau) - Method in class org.semanticweb.HermiT.existentials.IndividualReuseStrategy

initializeKnowAndPossibleClassInstances(ReasonerProgressMonitor, int, int) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

initializeKnowAndPossiblePropertyInstances(ReasonerProgressMonitor, int, int, int) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

initials() - Method in class rationals.Automaton

initials() - Method in interface rationals.Rational

Returns the set of initial states I associated with this automaton.

initials() - Method in interface rationals.StateMachine

Returns the set of initial states for this machine.

INSTANCE - Static variable in class org.semanticweb.HermiT.debugger.DerivationHistory.BaseFact

INSTANCE - Static variable in class org.semanticweb.HermiT.debugger.Printing.ConceptComparator

instance

INSTANCE - Static variable in class org.semanticweb.HermiT.debugger.Printing.DataRangeComparator

INSTANCE - Static variable in class org.semanticweb.HermiT.debugger.Printing.FactComparator

instance

INSTANCE - Static variable in class org.semanticweb.HermiT.model.DLOntology.AtomicConceptComparator

INSTANCE - Static variable in class org.semanticweb.HermiT.model.DLOntology.AtomicRoleComparator

INSTANCE - Static variable in class org.semanticweb.HermiT.model.DLOntology.IndividualComparator

INSTANCE - Static variable in class org.semanticweb.HermiT.model.Equality

Instance.

INSTANCE - Static variable in class org.semanticweb.HermiT.model.Inequality

Instance.

INSTANCE - Static variable in class org.semanticweb.HermiT.model.NodeIDLessEqualThan

Instance.

InstanceManager - Class in org.semanticweb.HermiT.hierarchy

InstanceManager.

InstanceManager(InterruptFlag, Reasoner, Hierarchy<AtomicConcept>, Hierarchy<Role>) - Constructor for class org.semanticweb.HermiT.hierarchy.InstanceManager

intern(E) - Method in class org.semanticweb.HermiT.model.InterningManager

INTERNAL_NAMED - Static variable in class org.semanticweb.HermiT.model.AtomicConcept

Internal.

InternalDatatype - Class in org.semanticweb.HermiT.model

Represents an internal datatype.

InterningManager<E> - Class in org.semanticweb.HermiT.model

The manager for the internable objects.

InterningManager() - Constructor for class org.semanticweb.HermiT.model.InterningManager

interrupt() - Method in class org.semanticweb.HermiT.datalog.DatalogEngine

interrupt() - Method in class org.semanticweb.HermiT.Reasoner

interrupt() - Method in class org.semanticweb.HermiT.tableau.InterruptFlag

Interrupt.

InterruptFlag - Class in org.semanticweb.HermiT.tableau

InterruptFlag.

InterruptFlag(long) - Constructor for class org.semanticweb.HermiT.tableau.InterruptFlag

intersection(NumberRange, NumberRange) - Static method in enum org.semanticweb.HermiT.datatypes.owlreal.NumberRange

intersectWith(BinaryDataLengthInterval) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataLengthInterval

Computes the intersection of this interval with the supplied one.

intersectWith(DateTimeInterval) - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeInterval

Computes the intersection of this interval with the supplied one.

intersectWith(DoubleInterval) - Method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

Computes the intersection of this interval with the supplied one.

intersectWith(FloatInterval) - Method in class org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

Computes the intersection of this interval with the supplied one.

intersectWith(NumberInterval) - Method in class org.semanticweb.HermiT.datatypes.owlreal.NumberInterval

Computes the intersection of this interval with the supplied one.

intersectWith(RDFPlainLiteralLengthInterval) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthInterval

Computes the intersection of this interval with the supplied one.

IntervalType - Enum in org.semanticweb.HermiT.datatypes.datetime

IntervalType.

intializeNode(Node) - Static method in class org.semanticweb.HermiT.tableau.DescriptionGraphManager

intValue() - Method in class org.semanticweb.HermiT.datatypes.owlreal.BigRational

InverseRole - Class in org.semanticweb.HermiT.model

Represents an inverse role.

InverseRole(AtomicRole) - Constructor for class org.semanticweb.HermiT.model.InverseRole

isABoxSatisfiable() - Static method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

isAbstract() - Method in enum org.semanticweb.HermiT.tableau.NodeType

isActive() - Method in class org.semanticweb.HermiT.tableau.Node

isAlwaysFalse() - Method in class org.semanticweb.HermiT.model.AtLeastConcept

isAlwaysFalse() - Method in class org.semanticweb.HermiT.model.AtLeastDataRange

isAlwaysFalse() - Method in class org.semanticweb.HermiT.model.AtomicConcept

isAlwaysFalse() - Method in class org.semanticweb.HermiT.model.AtomicNegationConcept

isAlwaysFalse() - Method in class org.semanticweb.HermiT.model.AtomicNegationDataRange

isAlwaysFalse() - Method in class org.semanticweb.HermiT.model.Concept

isAlwaysFalse() - Method in class org.semanticweb.HermiT.model.ConstantEnumeration

isAlwaysFalse() - Method in class org.semanticweb.HermiT.model.DataRange

isAlwaysFalse() - Method in class org.semanticweb.HermiT.model.DatatypeRestriction

isAlwaysFalse() - Method in class org.semanticweb.HermiT.model.ExistsDescriptionGraph

isAlwaysFalse() - Method in class org.semanticweb.HermiT.model.InternalDatatype

isAlwaysTrue() - Method in class org.semanticweb.HermiT.model.AtLeast

isAlwaysTrue() - Method in class org.semanticweb.HermiT.model.AtomicConcept

isAlwaysTrue() - Method in class org.semanticweb.HermiT.model.AtomicNegationConcept

isAlwaysTrue() - Method in class org.semanticweb.HermiT.model.AtomicNegationDataRange

isAlwaysTrue() - Method in class org.semanticweb.HermiT.model.Concept

isAlwaysTrue() - Method in class org.semanticweb.HermiT.model.ConstantEnumeration

isAlwaysTrue() - Method in class org.semanticweb.HermiT.model.DataRange

isAlwaysTrue() - Method in class org.semanticweb.HermiT.model.DatatypeRestriction

isAlwaysTrue() - Method in class org.semanticweb.HermiT.model.ExistsDescriptionGraph

isAlwaysTrue() - Method in class org.semanticweb.HermiT.model.InternalDatatype

isAncestorElement(E) - Method in class org.semanticweb.HermiT.hierarchy.HierarchyNode

isAncestorOf(Node) - Method in class org.semanticweb.HermiT.tableau.Node

IsAncestorOfCommand - Class in org.semanticweb.HermiT.debugger.commands

IsAncestorOfCommand.

IsAncestorOfCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.IsAncestorOfCommand

isAnonymous() - Method in class org.semanticweb.HermiT.model.Constant

isAnonymous() - Method in class org.semanticweb.HermiT.model.Individual

isAtomicConceptInclusion() - Method in class org.semanticweb.HermiT.model.DLClause

isAtomicRoleInclusion() - Method in class org.semanticweb.HermiT.model.DLClause

isAtomicRoleInverseInclusion() - Method in class org.semanticweb.HermiT.model.DLClause

isAxiomEntailed(Object) - Static method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

isBlocked() - Method in class org.semanticweb.HermiT.tableau.Node

isBlockedBy(Node, Node) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

isBlockedBy(Node, Node) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

isBlockedBy(Node, Node) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

isBlockedBy(Node, Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

isBlockedBy(Node, Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

isBlockValid(Node) - Method in class org.semanticweb.HermiT.blocking.BlockingValidator

isComplexObjectRole(Role) - Method in class org.semanticweb.HermiT.model.DLOntology

isConceptSatisfiable(Object) - Static method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

isConceptSubsumedBy(Object, Object) - Static method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

isConceptSubsumedByList(Object, Object...) - Static method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

isConsistent() - Method in class org.semanticweb.HermiT.Reasoner

isCore(Object[]) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

isCore(int) - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

isCore(Object[]) - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

isCore() - Method in interface org.semanticweb.HermiT.tableau.ExtensionTable.Retrieval

isCore(Object[]) - Method in class org.semanticweb.HermiT.tableau.ExtensionTableWithFullIndex

isCore(Object[]) - Method in class org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes

isCore(int) - Method in class org.semanticweb.HermiT.tableau.GroundDisjunction

isCurrentModelDeterministic() - Method in class org.semanticweb.HermiT.tableau.Tableau

isDataRoleInstanceOf(Object, Object, Object) - Static method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

isDefined(OWLClass) - Method in class org.semanticweb.HermiT.Reasoner

isDefined(OWLIndividual) - Method in class org.semanticweb.HermiT.Reasoner

isDefined(OWLObjectProperty) - Method in class org.semanticweb.HermiT.Reasoner

isDefined(OWLDataProperty) - Method in class org.semanticweb.HermiT.Reasoner

isDense() - Method in enum org.semanticweb.HermiT.datatypes.owlreal.NumberRange

isDescendantElement(E) - Method in class org.semanticweb.HermiT.hierarchy.HierarchyNode

isDeterministic() - Method in class org.semanticweb.HermiT.existentials.CreationOrderStrategy

isDeterministic() - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

isDeterministic() - Method in class org.semanticweb.HermiT.existentials.IndividualReuseStrategy

isDeterministic() - Method in class org.semanticweb.HermiT.tableau.Tableau

isDirectlyBlocked() - Method in class org.semanticweb.HermiT.tableau.Node

isDisjointWith(String, String) - Method in class org.semanticweb.HermiT.datatypes.anyuri.AnyURIDatatypeHandler

isDisjointWith(String, String) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataDatatypeHandler

isDisjointWith(String, String) - Method in class org.semanticweb.HermiT.datatypes.bool.BooleanDatatypeHandler

isDisjointWith(String, String) - Method in interface org.semanticweb.HermiT.datatypes.DatatypeHandler

isDisjointWith(String, String) - Static method in class org.semanticweb.HermiT.datatypes.DatatypeRegistry

isDisjointWith(String, String) - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeDatatypeHandler

isDisjointWith(String, String) - Method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleDatatypeHandler

isDisjointWith(String, String) - Method in class org.semanticweb.HermiT.datatypes.floatnum.FloatDatatypeHandler

isDisjointWith(String, String) - Method in class org.semanticweb.HermiT.datatypes.owlreal.OWLRealDatatypeHandler

isDisjointWith(String, String) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDatatypeHandler

isDisjointWith(String, String) - Method in class org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteralDatatypeHandler

isDomainOf(Object, Object) - Static method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

isEmpty() - Method in class org.semanticweb.HermiT.blocking.BlockingSignatureCache

isEmpty() - Method in class org.semanticweb.HermiT.hierarchy.Hierarchy

isEmpty() - Method in interface org.semanticweb.HermiT.tableau.DependencySet

isEmpty() - Method in class org.semanticweb.HermiT.tableau.PermanentDependencySet

isEmpty - Class in rationals.properties

Empty test.

isEmpty() - Constructor for class rationals.properties.isEmpty

isEntailed(OWLAxiom) - Method in class org.semanticweb.HermiT.Reasoner

isEntailed(Set<? extends OWLAxiom>) - Method in class org.semanticweb.HermiT.Reasoner

isEntailmentCheckingSupported(AxiomType<?>) - Method in class org.semanticweb.HermiT.Reasoner

isEquivalentElement(E) - Method in class org.semanticweb.HermiT.hierarchy.HierarchyNode

isExact() - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

isExact() - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

isExact() - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

isExact() - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

isExact() - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

isExact() - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

isFinitelyRepresentable() - Method in class org.semanticweb.HermiT.datatypes.owlreal.BigRational

isForwardingOn() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

isFunctionalityAxiom() - Method in class org.semanticweb.HermiT.model.DLClause

isGeneralConceptInclusion() - Method in class org.semanticweb.HermiT.model.DLClause

isHorn() - Method in class org.semanticweb.HermiT.model.DLOntology

isIndirectlyBlocked() - Method in class org.semanticweb.HermiT.tableau.Node

isInitial() - Method in interface rationals.State

Determines if this state is initial.

isInstanceOf(Object, Object) - Static method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

isInternalDatatype() - Method in class org.semanticweb.HermiT.model.InternalDatatype

isInternalDatatype() - Method in class org.semanticweb.HermiT.model.LiteralDataRange

isInternalIRI(String) - Static method in class org.semanticweb.HermiT.Prefixes

Determines whether the supplied IRI is used internally by HermiT.

isInverseFunctionalityAxiom() - Method in class org.semanticweb.HermiT.model.DLClause

isKnown(Individual) - Method in class org.semanticweb.HermiT.hierarchy.AtomicConceptElement

isLastDayInstant(long) - Static method in class org.semanticweb.HermiT.datatypes.datetime.DateTime

isMerged() - Method in class org.semanticweb.HermiT.tableau.Node

isNaN(long) - Static method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

isNaN(int) - Static method in class org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

isNegatedInternalDatatype() - Method in class org.semanticweb.HermiT.model.AtomicNegationDataRange

isNegatedInternalDatatype() - Method in class org.semanticweb.HermiT.model.LiteralDataRange

isNITarget() - Method in enum org.semanticweb.HermiT.tableau.NodeType

isNormalized - Class in rationals.properties

Tests if an automaton is normalized.

isNormalized() - Constructor for class rationals.properties.isNormalized

isObjectRoleInstanceOf(Object, Object, Object) - Static method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

isParentOf(Node) - Method in class org.semanticweb.HermiT.tableau.Node

isPermanentAssertion(Concept, Node) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

isPermanentAssertion(DataRange, Node) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

isPermanentAssertion(Concept, Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

isPermanentAssertion(DataRange, Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

isPermanentAssertion(Concept, Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

isPermanentAssertion(DataRange, Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

isPermanentAssertion(Concept, Node) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

isPermanentAssertion(DataRange, Node) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

isPossible(Individual) - Method in class org.semanticweb.HermiT.hierarchy.AtomicConceptElement

isPrecomputed(InferenceType) - Method in class org.semanticweb.HermiT.Reasoner

isPruned() - Method in class org.semanticweb.HermiT.tableau.GroundDisjunction

isPruned() - Method in class org.semanticweb.HermiT.tableau.Node

isRangeOf(Object, Object) - Static method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

isReachableSuccessor(T, T) - Method in class org.semanticweb.HermiT.graph.Graph

isRoleSatisfiable(Object, boolean) - Static method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

isRoleSubsumedBy(Object, Object, boolean) - Static method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

isRoleSubsumedByList(Object, Object...) - Static method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

isRootNode() - Method in class org.semanticweb.HermiT.tableau.Node

isSameIndividual(Individual, Individual) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

isSameIndividual(OWLNamedIndividual, OWLNamedIndividual) - Method in class org.semanticweb.HermiT.Reasoner

isSatisfiable(OWLClassExpression) - Method in class org.semanticweb.HermiT.Reasoner

isSatisfiable(boolean, Set<Atom>, Set<Atom>, Set<Atom>, Set<Atom>, Map<Individual, Node>, ReasoningTaskDescription) - Method in class org.semanticweb.HermiT.tableau.Tableau

isSatisfiable(boolean, boolean, Set<Atom>, Set<Atom>, Set<Atom>, Set<Atom>, Map<Individual, Node>, ReasoningTaskDescription) - Method in class org.semanticweb.HermiT.tableau.Tableau

isSatisfiable(boolean, boolean, Set<Atom>, Set<Atom>, Set<Atom>, Set<Atom>, Map<Term, Node>, Map<Individual, Node>, ReasoningTaskDescription) - Method in class org.semanticweb.HermiT.tableau.Tableau

isSatisfiableFinished(ReasoningTaskDescription, boolean) - Method in class org.semanticweb.HermiT.debugger.Debugger

isSatisfiableFinished(ReasoningTaskDescription, boolean) - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

isSatisfiableFinished(ReasoningTaskDescription, boolean) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

isSatisfiableFinished(ReasoningTaskDescription, boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

isSatisfiableFinished(ReasoningTaskDescription, boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

isSatisfiableFinished(ReasoningTaskDescription, boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

isSatisfiableFinished(ReasoningTaskDescription, boolean) - Method in class org.semanticweb.HermiT.monitor.Timer

isSatisfiableStarted(ReasoningTaskDescription) - Method in class org.semanticweb.HermiT.debugger.Debugger

isSatisfiableStarted(ReasoningTaskDescription) - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

isSatisfiableStarted(ReasoningTaskDescription) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

isSatisfiableStarted(ReasoningTaskDescription) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

isSatisfiableStarted(ReasoningTaskDescription) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

isSatisfiableStarted(ReasoningTaskDescription) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

isSatisfiableStarted(ReasoningTaskDescription) - Method in class org.semanticweb.HermiT.monitor.Timer

isSatisfied(ExistsDescriptionGraph, Node) - Method in class org.semanticweb.HermiT.tableau.DescriptionGraphManager

isSatisfied(Tableau) - Method in class org.semanticweb.HermiT.tableau.GroundDisjunction

isSmallerEqual(double, double) - Static method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

isSmallerEqual(boolean, long, boolean, long) - Static method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

isSmallerEqual(float, float) - Static method in class org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

isSmallerEqual(boolean, int, boolean, int) - Static method in class org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

isSubsetOf(String, String) - Method in class org.semanticweb.HermiT.datatypes.anyuri.AnyURIDatatypeHandler

isSubsetOf(String, String) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataDatatypeHandler

isSubsetOf(String, String) - Method in class org.semanticweb.HermiT.datatypes.bool.BooleanDatatypeHandler

isSubsetOf(String, String) - Method in interface org.semanticweb.HermiT.datatypes.DatatypeHandler

isSubsetOf(String, String) - Static method in class org.semanticweb.HermiT.datatypes.DatatypeRegistry

isSubsetOf(String, String) - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeDatatypeHandler

isSubsetOf(String, String) - Method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleDatatypeHandler

isSubsetOf(String, String) - Method in class org.semanticweb.HermiT.datatypes.floatnum.FloatDatatypeHandler

isSubsetOf(NumberRange, NumberRange) - Static method in enum org.semanticweb.HermiT.datatypes.owlreal.NumberRange

isSubsetOf(String, String) - Method in class org.semanticweb.HermiT.datatypes.owlreal.OWLRealDatatypeHandler

isSubsetOf(String, String) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDatatypeHandler

isSubsetOf(String, String) - Method in class org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteralDatatypeHandler

isTerminal() - Method in interface rationals.State

Determines if this state is terminal.

isTupleActive(Object[]) - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

isTupleActive(int) - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

isValidLocalName(String) - Static method in class org.semanticweb.HermiT.Prefixes

Determines whether the supplied string is a valid local name.

isValidNumber(Number) - Static method in class org.semanticweb.HermiT.datatypes.owlreal.Numbers

isValidPattern(String) - Static method in class org.semanticweb.HermiT.datatypes.anyuri.AnyURIValueSpaceSubset

isValidPattern(String) - Static method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralPatternValueSpaceSubset

iterationFinished() - Method in class org.semanticweb.HermiT.debugger.Debugger

iterationFinished() - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

Iteration finished.

iterationFinished() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

iterationFinished() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

iterationFinished() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

iterationStarted() - Method in class org.semanticweb.HermiT.debugger.Debugger

iterationStarted() - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

Iteration started.

iterationStarted() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

iterationStarted() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

iterationStarted() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

iterationStarted() - Method in class org.semanticweb.HermiT.monitor.Timer

L

label() - Method in class rationals.Transition

Returns the label this transition.

labelAutomaton(Object) - Static method in class rationals.Automaton

Returns an automaton which recognizes the regular language associated with the regular expression l, where l is a given label.

Letter - Class in rationals.expr

A letter expression is simply a wrapper over any object.

Letter(Object) - Constructor for class rationals.expr.Letter

Construct a new letter expression.

LiteralConcept - Class in org.semanticweb.HermiT.model

Represents a literal concept -- that is, an atomic concept, a negation of an atomic concept, or a data range.

LiteralConcept() - Constructor for class org.semanticweb.HermiT.model.LiteralConcept

LiteralDataRange - Class in org.semanticweb.HermiT.model

Represents a literal concept -- that is, an atomic concept, a negation of an atomic concept, or a data range.

LiteralDataRange() - Constructor for class org.semanticweb.HermiT.model.LiteralDataRange

load(InputStream) - Static method in class org.semanticweb.HermiT.model.DLOntology

loadAtomicConceptPrefixIRIs(Collection<AtomicConcept>) - Method in class org.semanticweb.HermiT.hierarchy.HierarchyPrinterFSS

loadAtomicRolePrefixIRIs(Collection<AtomicRole>) - Method in class org.semanticweb.HermiT.hierarchy.HierarchyPrinterFSS

loadIndividualReuseStrategyReuseAlways(File) - Method in class org.semanticweb.HermiT.Configuration

loadIndividualReuseStrategyReuseNever(File) - Method in class org.semanticweb.HermiT.Configuration

longValue() - Method in class org.semanticweb.HermiT.datatypes.owlreal.BigRational

M

m_blockViolatesParentConstraints - Variable in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

m_children - Variable in class org.semanticweb.HermiT.debugger.Debugger.NodeCreationInfo

children

m_createdByExistential - Variable in class org.semanticweb.HermiT.debugger.Debugger.NodeCreationInfo

created by existential

m_createdByNode - Variable in class org.semanticweb.HermiT.debugger.Debugger.NodeCreationInfo

created by

m_definedDatatypesIRIs - Variable in class org.semanticweb.HermiT.structural.OWLAxioms

contains custom datatypes from DatatypeDefinition axioms

m_hasAlreadyBeenChecked - Variable in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

m_hasAtMostRestrictions - Variable in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

has at most

m_hasDatatypes - Variable in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

has datatypes

m_hasInverseRoles - Variable in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

has inverse

m_hasNominals - Variable in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

has nominals

m_maxNumberOfVariables - Variable in class org.semanticweb.HermiT.tableau.DLClauseEvaluator.ValuesBufferManager

Max number of variables

m_valuesBuffer - Variable in class org.semanticweb.HermiT.tableau.DLClauseEvaluator.ValuesBufferManager

Values buffer.

m_workers - Variable in class org.semanticweb.HermiT.tableau.DLClauseEvaluator.ConjunctionCompiler

Workers.

mainLoop() - Method in class org.semanticweb.HermiT.debugger.Debugger

Main loop.

makePermanent(Set<E>) - Method in class org.semanticweb.HermiT.blocking.SetFactory

MalformedLiteralException - Exception in org.semanticweb.HermiT.datatypes

Malformed literal exception.

MalformedLiteralException(String, String) - Constructor for exception org.semanticweb.HermiT.datatypes.MalformedLiteralException

MalformedLiteralException(String, String, Throwable) - Constructor for exception org.semanticweb.HermiT.datatypes.MalformedLiteralException

mapAlphabet(Set<Transition>, Automaton) - Static method in class rationals.transformations.TransformationsToolBox

Compute a map from letters to set of states given a set of transitions.

markExistentialProcessed(ExistentialConcept, Node) - Method in class org.semanticweb.HermiT.tableau.ExistentialExpansionManager

materialize() - Method in class org.semanticweb.HermiT.datalog.DatalogEngine

Matrix - Class in rationals.algebra

Matrix representation of an automaton.

Matrix(int) - Constructor for class rationals.algebra.Matrix

Matrix(int, int) - Constructor for class rationals.algebra.Matrix

MAX_TIME_ZONE_CORRECTION - Static variable in class org.semanticweb.HermiT.datatypes.datetime.DateTime

Max time zone.

mergeFactFinished(Node, Node, Object[], Object[]) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

mergeFactFinished(Node, Node, Object[], Object[]) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

mergeFactFinished(Node, Node, Object[], Object[]) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

mergeFactFinished(Node, Node, Object[], Object[]) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

mergeFactFinished(Node, Node, Object[], Object[]) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

mergeFactStarted(Node, Node, Object[], Object[]) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

mergeFactStarted(Node, Node, Object[], Object[]) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

mergeFactStarted(Node, Node, Object[], Object[]) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

mergeFactStarted(Node, Node, Object[], Object[]) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

mergeFactStarted(Node, Node, Object[], Object[]) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

mergeFinished(Node, Node) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

mergeFinished(Node, Node) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

mergeFinished(Node, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

mergeFinished(Node, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

mergeFinished(Node, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

mergeGraphs(Node, Node) - Method in class org.semanticweb.HermiT.tableau.DescriptionGraphManager

mergeNode(Node, Node, DependencySet) - Method in class org.semanticweb.HermiT.tableau.Tableau

Merges node into mergeInto.

mergeNodes(Node, Node, DependencySet) - Method in class org.semanticweb.HermiT.tableau.MergingManager

Merges the two given nodes and adjusts the dependency set as required.

mergeStarted(Node, Node) - Method in class org.semanticweb.HermiT.debugger.Debugger

mergeStarted(Node, Node) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

mergeStarted(Node, Node) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

mergeStarted(Node, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

mergeStarted(Node, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

mergeStarted(Node, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

Merging(DerivationHistory.Atom, DerivationHistory.Atom) - Constructor for class org.semanticweb.HermiT.debugger.DerivationHistory.Merging

MergingManager - Class in org.semanticweb.HermiT.tableau

Implements the merge rule and is used whenever the merge rule needs to be applied during the expansion of the tableau object used in the constructor of the class.

MergingManager(Tableau) - Constructor for class org.semanticweb.HermiT.tableau.MergingManager

millisToHoursMinutesSecondsString(long) - Static method in class org.semanticweb.HermiT.monitor.CountingMonitor

Mix - Class in rationals.transformations

This class implements the mix - ie: synchronization product - operator between two automatas.

Mix() - Constructor for class rationals.transformations.Mix

Compute mix of two automata using default synchronization scheme which is the equality of labels.

Mix(Synchronization) - Constructor for class rationals.transformations.Mix

Compute mix of two automata using given synchronization scheme.

modelFound() - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

modelFound() - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

modelFound() - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

modelFound() - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

modelFound() - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

modelFound() - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

Model found.

modelFound() - Method in class org.semanticweb.HermiT.existentials.IndividualReuseStrategy

ModelStatsCommand - Class in org.semanticweb.HermiT.debugger.commands

ModelStatsCommand.

ModelStatsCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.ModelStatsCommand

monitor - Variable in class org.semanticweb.HermiT.Configuration

Can be used to set a custom Tableau monitor.

mult(SemiRing) - Method in class rationals.algebra.Matrix

mult(SemiRing) - Method in interface rationals.algebra.SemiRing

Multiplication of semiring element with another element.

mult(SemiRing) - Method in class rationals.expr.RationalExpr

N

NegatedAtomicRole - Class in org.semanticweb.HermiT.model

Represents a negated atomic role

NegatedAtomicRole(AtomicRole) - Constructor for class org.semanticweb.HermiT.model.NegatedAtomicRole

next() - Method in interface org.semanticweb.HermiT.tableau.ExtensionTable.Retrieval

Next.

nextDouble(double) - Static method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

nextFloat(float) - Static method in class org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

nextInteger(Number) - Static method in class org.semanticweb.HermiT.datatypes.owlreal.Numbers

NO_FACET_URIs - Static variable in class org.semanticweb.HermiT.model.DatatypeRestriction

no facet uris

NO_FACET_VALUES - Static variable in class org.semanticweb.HermiT.model.DatatypeRestriction

no facet values

NO_TIMEZONE - Static variable in class org.semanticweb.HermiT.datatypes.datetime.DateTime

No timezone.

Node - Class in org.semanticweb.HermiT.tableau

Represents a node in the tableau.

Node(Tableau) - Constructor for class org.semanticweb.HermiT.tableau.Node

nodeCreated(Node) - Method in class org.semanticweb.HermiT.debugger.Debugger

nodeCreated(Node) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

nodeCreated(Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

nodeCreated(Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

nodeCreated(Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

NodeCreationInfo(Node, ExistentialConcept) - Constructor for class org.semanticweb.HermiT.debugger.Debugger.NodeCreationInfo

nodeDestroyed(Node) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

nodeDestroyed(Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

nodeDestroyed(Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

nodeDestroyed(Node) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

nodeDestroyed(Node) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

nodeDestroyed(Node) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

nodeDestroyed(Node) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

nodeDestroyed(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

nodeDestroyed(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

nodeDestroyed(Node) - Method in class org.semanticweb.HermiT.debugger.Debugger

nodeDestroyed(Node) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

nodeDestroyed(Node) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

nodeDestroyed(Node) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

nodeDestroyed(Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

nodeDestroyed(Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

nodeDestroyed(Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

NodeIDLessEqualThan - Class in org.semanticweb.HermiT.model

Represents the built-in predicate that is used to enforce ordering on nodes in the translation of at-most concepts.

NodeIDsAscendingOrEqual - Class in org.semanticweb.HermiT.model

Represents a predicate that whether the IDs of the argument nodes are all strictly ascending or all equal.

nodeInitialized(Node) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

nodeInitialized(Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

nodeInitialized(Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

nodeInitialized(Node) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

nodeInitialized(Node) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

nodeInitialized(Node) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

nodeInitialized(Node) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

nodeInitialized(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

nodeInitialized(Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

nodeInitialized(Node) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

nodeInitialized(Node) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

nodePruned(Node) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

nodePruned(Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

nodePruned(Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

nodePruned(Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

NodesForCommand - Class in org.semanticweb.HermiT.debugger.commands

NodesForCommand.

NodesForCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.NodesForCommand

nodesMerged(Node, Node) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

nodesMerged(Node, Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

nodesMerged(Node, Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

nodesMerged(Node, Node) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

nodesMerged(Node, Node) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

nodesMerged(Node, Node) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

nodesMerged(Node, Node) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

nodesMerged(Node, Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

nodesMerged(Node, Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

nodesMerged(Node, Node) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

nodesMerged(Node, Node) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

nodeStatusChanged(Node) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

nodeStatusChanged(Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

nodeStatusChanged(Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

nodeStatusChanged(Node) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

nodeStatusChanged(Node) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

nodeStatusChanged(Node) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

nodesUnmerged(Node, Node) - Method in class org.semanticweb.HermiT.blocking.AncestorBlocking

nodesUnmerged(Node, Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereBlocking

nodesUnmerged(Node, Node) - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

nodesUnmerged(Node, Node) - Method in interface org.semanticweb.HermiT.blocking.BlockingStrategy

nodesUnmerged(Node, Node) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

nodesUnmerged(Node, Node) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

nodesUnmerged(Node, Node) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

nodesUnmerged(Node, Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

nodesUnmerged(Node, Node) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

nodesUnmerged(Node, Node) - Method in class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy

nodesUnmerged(Node, Node) - Method in interface org.semanticweb.HermiT.existentials.ExistentialExpansionStrategy

NodeType - Enum in org.semanticweb.HermiT.tableau

NodeType.

nominalIntorductionFinished(Node, Node, AnnotatedEquality, Node, Node) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

nominalIntorductionFinished(Node, Node, AnnotatedEquality, Node, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

nominalIntorductionFinished(Node, Node, AnnotatedEquality, Node, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

nominalIntorductionFinished(Node, Node, AnnotatedEquality, Node, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

nominalIntorductionStarted(Node, Node, AnnotatedEquality, Node, Node) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

nominalIntorductionStarted(Node, Node, AnnotatedEquality, Node, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

nominalIntorductionStarted(Node, Node, AnnotatedEquality, Node, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

nominalIntorductionStarted(Node, Node, AnnotatedEquality, Node, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

NoNaNDoubleSubset - Class in org.semanticweb.HermiT.datatypes.doublenum

NoNaNDoubleSubset() - Constructor for class org.semanticweb.HermiT.datatypes.doublenum.NoNaNDoubleSubset

NoNaNDoubleSubset(DoubleInterval) - Constructor for class org.semanticweb.HermiT.datatypes.doublenum.NoNaNDoubleSubset

NoNaNDoubleSubset(List<DoubleInterval>) - Constructor for class org.semanticweb.HermiT.datatypes.doublenum.NoNaNDoubleSubset

NoNaNFloatSubset - Class in org.semanticweb.HermiT.datatypes.floatnum

NoNaNFloatSubset() - Constructor for class org.semanticweb.HermiT.datatypes.floatnum.NoNaNFloatSubset

NoNaNFloatSubset(FloatInterval) - Constructor for class org.semanticweb.HermiT.datatypes.floatnum.NoNaNFloatSubset

NoNaNFloatSubset(List<FloatInterval>) - Constructor for class org.semanticweb.HermiT.datatypes.floatnum.NoNaNFloatSubset

Normalizer - Class in rationals.transformations

A transformation that normalizes a given Automaton.

Normalizer() - Constructor for class rationals.transformations.Normalizer

NOTHING - Static variable in class org.semanticweb.HermiT.model.AtomicConcept

Nothing.

nullifyTuple(int) - Method in class org.semanticweb.HermiT.tableau.TupleTable

NumberInterval - Class in org.semanticweb.HermiT.datatypes.owlreal

NumberInterval(NumberRange, NumberRange, Number, BoundType, Number, BoundType) - Constructor for class org.semanticweb.HermiT.datatypes.owlreal.NumberInterval

NumberRange - Enum in org.semanticweb.HermiT.datatypes.owlreal

Numbers - Class in org.semanticweb.HermiT.datatypes.owlreal

Numbers() - Constructor for class org.semanticweb.HermiT.datatypes.owlreal.Numbers

Numbers.BoundaryDirection - Enum in org.semanticweb.HermiT.datatypes.owlreal

O

objectPropertyClassificationRequired - Variable in class org.semanticweb.HermiT.Configuration.PrepareReasonerInferences

object property classification required

objectPropertyDomainsRequired - Variable in class org.semanticweb.HermiT.Configuration.PrepareReasonerInferences

object property domains required

ObjectPropertyInclusionManager - Class in org.semanticweb.HermiT.structural

ObjectPropertyInclusionManager.

ObjectPropertyInclusionManager(OWLAxioms) - Constructor for class org.semanticweb.HermiT.structural.ObjectPropertyInclusionManager

objectPropertyRangesRequired - Variable in class org.semanticweb.HermiT.Configuration.PrepareReasonerInferences

object property ranges required

objectPropertyRealisationRequired - Variable in class org.semanticweb.HermiT.Configuration.PrepareReasonerInferences

object property realisation required

objectPropertyRealizationCompleted() - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

one() - Method in class rationals.algebra.Matrix

one(int, SemiRing) - Static method in class rationals.algebra.Matrix

Factory method for creating unit Matrix instances with coefficients in a certain SemiRing.

one() - Method in interface rationals.algebra.SemiRing

Neutral element for multiplication.

one() - Method in class rationals.expr.RationalExpr

open() - Method in interface org.semanticweb.HermiT.tableau.ExtensionTable.Retrieval

Open.

org.semanticweb.HermiT - package org.semanticweb.HermiT

org.semanticweb.HermiT.blocking - package org.semanticweb.HermiT.blocking

org.semanticweb.HermiT.datalog - package org.semanticweb.HermiT.datalog

org.semanticweb.HermiT.datatypes - package org.semanticweb.HermiT.datatypes

org.semanticweb.HermiT.datatypes.anyuri - package org.semanticweb.HermiT.datatypes.anyuri

org.semanticweb.HermiT.datatypes.binarydata - package org.semanticweb.HermiT.datatypes.binarydata

org.semanticweb.HermiT.datatypes.bool - package org.semanticweb.HermiT.datatypes.bool

org.semanticweb.HermiT.datatypes.datetime - package org.semanticweb.HermiT.datatypes.datetime

org.semanticweb.HermiT.datatypes.doublenum - package org.semanticweb.HermiT.datatypes.doublenum

org.semanticweb.HermiT.datatypes.floatnum - package org.semanticweb.HermiT.datatypes.floatnum

org.semanticweb.HermiT.datatypes.owlreal - package org.semanticweb.HermiT.datatypes.owlreal

org.semanticweb.HermiT.datatypes.rdfplainliteral - package org.semanticweb.HermiT.datatypes.rdfplainliteral

org.semanticweb.HermiT.datatypes.xmlliteral - package org.semanticweb.HermiT.datatypes.xmlliteral

org.semanticweb.HermiT.debugger - package org.semanticweb.HermiT.debugger

org.semanticweb.HermiT.debugger.commands - package org.semanticweb.HermiT.debugger.commands

org.semanticweb.HermiT.existentials - package org.semanticweb.HermiT.existentials

org.semanticweb.HermiT.graph - package org.semanticweb.HermiT.graph

org.semanticweb.HermiT.hierarchy - package org.semanticweb.HermiT.hierarchy

org.semanticweb.HermiT.model - package org.semanticweb.HermiT.model

org.semanticweb.HermiT.monitor - package org.semanticweb.HermiT.monitor

org.semanticweb.HermiT.structural - package org.semanticweb.HermiT.structural

org.semanticweb.HermiT.tableau - package org.semanticweb.HermiT.tableau

OriginStatsCommand - Class in org.semanticweb.HermiT.debugger.commands

OriginStatsCommand.

OriginStatsCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.OriginStatsCommand

OWLAxioms - Class in org.semanticweb.HermiT.structural

OWLAxioms.

OWLAxioms() - Constructor for class org.semanticweb.HermiT.structural.OWLAxioms

OWLAxiomsExpressivity - Class in org.semanticweb.HermiT.structural

OWLAxiomsExpressivity.

OWLAxiomsExpressivity(OWLAxioms) - Constructor for class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

OWLClausification - Class in org.semanticweb.HermiT.structural

OWLClausification.

OWLClausification(Configuration) - Constructor for class org.semanticweb.HermiT.structural.OWLClausification

OWLNormalization - Class in org.semanticweb.HermiT.structural

This class implements the structural transformation from our new tableau paper.

OWLNormalization(OWLDataFactory, OWLAxioms, int) - Constructor for class org.semanticweb.HermiT.structural.OWLNormalization

OWLRealDatatypeHandler - Class in org.semanticweb.HermiT.datatypes.owlreal

Implements a handler for the numeric datatypes derived from owl:real.

OWLRealDatatypeHandler() - Constructor for class org.semanticweb.HermiT.datatypes.owlreal.OWLRealDatatypeHandler

OWLRealValueSpaceSubset - Class in org.semanticweb.HermiT.datatypes.owlreal

OWLRealValueSpaceSubset.

OWLRealValueSpaceSubset() - Constructor for class org.semanticweb.HermiT.datatypes.owlreal.OWLRealValueSpaceSubset

Empty constructor.

OWLRealValueSpaceSubset(NumberInterval) - Constructor for class org.semanticweb.HermiT.datatypes.owlreal.OWLRealValueSpaceSubset

OWLRealValueSpaceSubset(List<NumberInterval>) - Constructor for class org.semanticweb.HermiT.datatypes.owlreal.OWLRealValueSpaceSubset

P

PairWiseDirectBlockingChecker - Class in org.semanticweb.HermiT.blocking

Pairwise direct blocking checker.

PairWiseDirectBlockingChecker() - Constructor for class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

parameters - Variable in class org.semanticweb.HermiT.Configuration

The parameters are passed to the Tableau class instance, but currently no parameters are used.

parse(String) - Static method in class org.semanticweb.HermiT.datatypes.datetime.DateTime

parse(String) - Static method in class org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteral

parseBase64Binary(String) - Static method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryData

parseDecimal(String) - Static method in class org.semanticweb.HermiT.datatypes.owlreal.Numbers

Parses the given string into a Java Number object representing an decimal.

parseHexBinary(String) - Static method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryData

parseInteger(String) - Static method in class org.semanticweb.HermiT.datatypes.owlreal.Numbers

Parses the given string into a Java Number object representing an integer.

parseLiteral(String, String) - Method in class org.semanticweb.HermiT.datatypes.anyuri.AnyURIDatatypeHandler

parseLiteral(String, String) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataDatatypeHandler

parseLiteral(String, String) - Method in class org.semanticweb.HermiT.datatypes.bool.BooleanDatatypeHandler

parseLiteral(String, String) - Method in interface org.semanticweb.HermiT.datatypes.DatatypeHandler

parseLiteral(String, String) - Static method in class org.semanticweb.HermiT.datatypes.DatatypeRegistry

parseLiteral(String, String) - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeDatatypeHandler

parseLiteral(String, String) - Method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleDatatypeHandler

parseLiteral(String, String) - Method in class org.semanticweb.HermiT.datatypes.floatnum.FloatDatatypeHandler

parseLiteral(String, String) - Method in class org.semanticweb.HermiT.datatypes.owlreal.OWLRealDatatypeHandler

parseLiteral(String, String) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDatatypeHandler

parseLiteral(String, String) - Method in class org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteralDatatypeHandler

parseRational(String) - Static method in class org.semanticweb.HermiT.datatypes.owlreal.Numbers

Parses the given string into a Java Number object representing a rational.

PermanentDependencySet - Class in org.semanticweb.HermiT.tableau

PermanentDependencySet.

plus(SemiRing) - Method in class rationals.algebra.Matrix

plus(SemiRing) - Method in interface rationals.algebra.SemiRing

Addition of a Semi-ring element with another element.

Plus - Class in rationals.expr

A plus expression.

Plus(RationalExpr, RationalExpr) - Constructor for class rationals.expr.Plus

plus(SemiRing) - Method in class rationals.expr.RationalExpr

possibleInstanceIsInstance() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

possibleInstanceIsInstance() - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

Possible instance is instance.

possibleInstanceIsInstance() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

possibleInstanceIsInstance() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

possibleInstanceIsInstance() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

possibleInstanceIsNotInstance() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor

possibleInstanceIsNotInstance() - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

Possible instance is not instance.

possibleInstanceIsNotInstance() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

possibleInstanceIsNotInstance() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

possibleInstanceIsNotInstance() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

power(int, Matrix) - Method in class rationals.algebra.Matrix

Returns the n ^th power of this matrix.

precomputeDisjointClasses() - Method in class org.semanticweb.HermiT.Reasoner

precomputeInferences(InferenceType...) - Method in class org.semanticweb.HermiT.Reasoner

precomputeSameAsEquivalenceClasses() - Method in class org.semanticweb.HermiT.Reasoner

Precompute.

Prefixes - Class in org.semanticweb.HermiT

This class is responsible for abbreviating IRIs.

Prefixes() - Constructor for class org.semanticweb.HermiT.Prefixes

Prefixes

Prefixes.ImmutablePrefixes - Class in org.semanticweb.HermiT

prepareReasonerInferences - Variable in class org.semanticweb.HermiT.Configuration

prepare reasoner inferences

PrepareReasonerInferences() - Constructor for class org.semanticweb.HermiT.Configuration.PrepareReasonerInferences

preprocessAndClausify(OWLOntology, Collection<DescriptionGraph>) - Method in class org.semanticweb.HermiT.structural.OWLClausification

previousDouble(double) - Static method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

previousFloat(float) - Static method in class org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

printAtomicConceptHierarchy(Hierarchy<AtomicConcept>) - Method in class org.semanticweb.HermiT.hierarchy.HierarchyDumperFSS

printAtomicConceptHierarchy(Hierarchy<AtomicConcept>) - Method in class org.semanticweb.HermiT.hierarchy.HierarchyPrinterFSS

printCollection(Collection<T>, PrintWriter) - Static method in class org.semanticweb.HermiT.debugger.Printing

printDataPropertyHierarchy(Hierarchy<AtomicRole>) - Method in class org.semanticweb.HermiT.hierarchy.HierarchyDumperFSS

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.ActiveNodesCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.AgainCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.BreakpointTimeCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.ClearCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.ContinueCommand

printHelp(PrintWriter) - Method in interface org.semanticweb.HermiT.debugger.commands.DebuggerCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.DerivationTreeCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.ExitCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.ForeverCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.HelpCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.HistoryCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.IsAncestorOfCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.ModelStatsCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.NodesForCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.OriginStatsCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.QueryCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.ReuseNodeForCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.ShowDescriptionGraphCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.ShowDLClausesCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.ShowExistsCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.ShowModelCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.ShowNodeCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.ShowSubtreeCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.SingleStepCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.UnprocessedDisjunctionsCommand

printHelp(PrintWriter) - Method in class org.semanticweb.HermiT.debugger.commands.WaitForCommand

printHierarchies(PrintWriter, boolean, boolean, boolean) - Method in class org.semanticweb.HermiT.Reasoner

Prints the hierarchies into a functional style syntax ontology all nicely sorted alphabetically.

Printing - Class in org.semanticweb.HermiT.debugger

Printing.

Printing() - Constructor for class org.semanticweb.HermiT.debugger.Printing

Printing.ConceptComparator - Class in org.semanticweb.HermiT.debugger

ConceptComparator

Printing.DataRangeComparator - Class in org.semanticweb.HermiT.debugger

Printing.FactComparator - Class in org.semanticweb.HermiT.debugger

FactComparator.

printNodeData(Debugger, Node, PrintWriter) - Static method in class org.semanticweb.HermiT.debugger.Printing

printObjectPropertyHierarchy(Hierarchy<Role>) - Method in class org.semanticweb.HermiT.hierarchy.HierarchyDumperFSS

printPadded(PrintWriter, int, int) - Static method in class org.semanticweb.HermiT.debugger.Printing

printPadded(PrintWriter, String, int) - Static method in class org.semanticweb.HermiT.debugger.Printing

printRoleHierarchy(Hierarchy<? extends Role>, boolean) - Method in class org.semanticweb.HermiT.hierarchy.HierarchyPrinterFSS

processAxioms(Collection<? extends OWLAxiom>) - Method in class org.semanticweb.HermiT.structural.OWLNormalization

processCommandLine(String) - Method in class org.semanticweb.HermiT.debugger.Debugger

processGroundDisjunctionFinished(GroundDisjunction) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

processGroundDisjunctionFinished(GroundDisjunction) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

processGroundDisjunctionFinished(GroundDisjunction) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

processGroundDisjunctionFinished(GroundDisjunction) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

processGroundDisjunctionStarted(GroundDisjunction) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

processGroundDisjunctionStarted(GroundDisjunction) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

processGroundDisjunctionStarted(GroundDisjunction) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

processGroundDisjunctionStarted(GroundDisjunction) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

processOntology(OWLOntology) - Method in class org.semanticweb.HermiT.structural.OWLNormalization

processResult(ConjunctiveQuery, Term[]) - Method in interface org.semanticweb.HermiT.datalog.QueryResultCollector

produceStartDLClauses(Set<DLClause>) - Method in class org.semanticweb.HermiT.model.DescriptionGraph

Product - Class in rationals.expr

A product expression.

Product(RationalExpr, RationalExpr) - Constructor for class rationals.expr.Product

propagateDeltaNew() - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

propagateDeltaNew() - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

ProtegeReasonerFactory - Class in org.semanticweb.HermiT

Protege reasoner factory.

ProtegeReasonerFactory() - Constructor for class org.semanticweb.HermiT.ProtegeReasonerFactory

pruneNode(Node) - Method in class org.semanticweb.HermiT.tableau.Tableau

Pruner - Class in rationals.transformations

Removes states that neither accessible nor coaccessible.

Pruner() - Constructor for class rationals.transformations.Pruner

pushBranchingPoint(BranchingPoint) - Method in class org.semanticweb.HermiT.tableau.Tableau

Add a branching point in case we need to backtrack to this state.

pushBranchingPointFinished(BranchingPoint) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

pushBranchingPointFinished(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

pushBranchingPointFinished(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

pushBranchingPointFinished(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

pushBranchingPointStarted(BranchingPoint) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

pushBranchingPointStarted(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

pushBranchingPointStarted(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

pushBranchingPointStarted(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

putExistentialConceptsBuffer(List<ExistentialConcept>) - Method in class org.semanticweb.HermiT.tableau.Tableau

Q

QuasiOrderClassification - Class in org.semanticweb.HermiT.hierarchy

QuasiOrderClassification

QuasiOrderClassification(Tableau, ClassificationProgressMonitor, AtomicConcept, AtomicConcept, Set<AtomicConcept>) - Constructor for class org.semanticweb.HermiT.hierarchy.QuasiOrderClassification

QuasiOrderClassificationForRoles - Class in org.semanticweb.HermiT.hierarchy

QuasiOrderClassificationForRoles.

QuasiOrderClassificationForRoles(Tableau, ClassificationProgressMonitor, AtomicConcept, AtomicConcept, Set<AtomicConcept>, boolean, Map<Role, AtomicConcept>, Map<AtomicConcept, Role>) - Constructor for class org.semanticweb.HermiT.hierarchy.QuasiOrderClassificationForRoles

QueryAnswerCallback(ConjunctiveQuery, Map<Node, Term>, Term[], QueryResultCollector[], int[][], Object[]) - Constructor for class org.semanticweb.HermiT.datalog.ConjunctiveQuery.QueryAnswerCallback

QueryCommand - Class in org.semanticweb.HermiT.debugger.commands

QueryCommand.

QueryCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.QueryCommand

QueryResultCollector - Interface in org.semanticweb.HermiT.datalog

Query result collector.

R

Rational - Interface in rationals

RationalExpr - Class in rationals.expr

RationalExpr() - Constructor for class rationals.expr.RationalExpr

rationals - package rationals

rationals.algebra - package rationals.algebra

rationals.converters - package rationals.converters

rationals.expr - package rationals.expr

rationals.properties - package rationals.properties

rationals.transformations - package rationals.transformations

RDFPlainLiteralDatatypeHandler - Class in org.semanticweb.HermiT.datatypes.rdfplainliteral

RDFPlainLiteralDatatypeHandler.

RDFPlainLiteralDatatypeHandler() - Constructor for class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDatatypeHandler

RDFPlainLiteralDataValue - Class in org.semanticweb.HermiT.datatypes.rdfplainliteral

Implements a string with a language tag -- that is, a data value from the value space of rdf:PlainLiteral.

RDFPlainLiteralDataValue(String, String) - Constructor for class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDataValue

RDFPlainLiteralLengthInterval - Class in org.semanticweb.HermiT.datatypes.rdfplainliteral

RDFPlainLiteralLengthInterval(RDFPlainLiteralLengthInterval.LanguageTagMode, int, int) - Constructor for class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthInterval

RDFPlainLiteralLengthInterval.LanguageTagMode - Enum in org.semanticweb.HermiT.datatypes.rdfplainliteral

RDFPlainLiteralLengthValueSpaceSubset - Class in org.semanticweb.HermiT.datatypes.rdfplainliteral

RDFPlainLiteralLengthValueSpaceSubset() - Constructor for class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthValueSpaceSubset

RDFPlainLiteralLengthValueSpaceSubset(RDFPlainLiteralLengthInterval) - Constructor for class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthValueSpaceSubset

RDFPlainLiteralLengthValueSpaceSubset(RDFPlainLiteralLengthInterval, RDFPlainLiteralLengthInterval) - Constructor for class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthValueSpaceSubset

RDFPlainLiteralLengthValueSpaceSubset(List<RDFPlainLiteralLengthInterval>) - Constructor for class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthValueSpaceSubset

RDFPlainLiteralPatternValueSpaceSubset - Class in org.semanticweb.HermiT.datatypes.rdfplainliteral

RDFPlainLiteralPatternValueSpaceSubset(Automaton) - Constructor for class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralPatternValueSpaceSubset

RDFS_LITERAL - Static variable in class org.semanticweb.HermiT.model.InternalDatatype

Literal.

realisationRequired - Variable in class org.semanticweb.HermiT.Configuration.PrepareReasonerInferences

realisation required

realiseObjectProperties() - Method in class org.semanticweb.HermiT.Reasoner

Realise object properties.

realizationCompleted() - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

realize(ReasonerProgressMonitor) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

realizeObjectRoles(ReasonerProgressMonitor) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

Reasoner - Class in org.semanticweb.HermiT

Answers queries about the logical implications of a particular knowledge base.

Reasoner(Configuration, OWLOntology) - Constructor for class org.semanticweb.HermiT.Reasoner

Creates a new reasoner object with the parameters for blocking, expansion strategy etc as specified in the given configuration object.

Reasoner(Configuration, OWLOntology, Collection<DescriptionGraph>) - Constructor for class org.semanticweb.HermiT.Reasoner

Creates a new reasoner object loaded with the given ontology and the given description graphs.

Reasoner.ReasonerFactory - Class in org.semanticweb.HermiT

Deprecated.

use org.semanticweb.HermiT.ReasonerFactory

ReasonerFactory() - Constructor for class org.semanticweb.HermiT.Reasoner.ReasonerFactory

Deprecated.

ReasonerFactory - Class in org.semanticweb.HermiT

Reasoner factory.

ReasonerFactory() - Constructor for class org.semanticweb.HermiT.ReasonerFactory

reasonerProgressMonitor - Variable in class org.semanticweb.HermiT.Configuration

If a progress monitor is set, HermiT will report the progress of a classification task.

ReasoningTaskDescription - Class in org.semanticweb.HermiT.tableau

Reasoning task description.

ReasoningTaskDescription(boolean, ReasoningTaskDescription.StandardTestType, Object...) - Constructor for class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

ReasoningTaskDescription(boolean, String, Object...) - Constructor for class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

ReducedABoxOnlyClausification - Class in org.semanticweb.HermiT.structural

ReducedABoxOnlyClausification.

ReducedABoxOnlyClausification(Configuration, Set<AtomicConcept>, Set<AtomicRole>, Set<AtomicRole>) - Constructor for class org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification

Reducer - Class in rationals.transformations

Computes the minimal automaton from a deterministic automaton.

Reducer() - Constructor for class rationals.transformations.Reducer

refresh() - Method in class org.semanticweb.HermiT.debugger.commands.SubtreeViewer

refresh() - Method in class org.semanticweb.HermiT.debugger.DerivationViewer

Refresh.

registerDatatypeHandler(DatatypeHandler) - Static method in class org.semanticweb.HermiT.datatypes.DatatypeRegistry

Relation - Interface in rationals.properties

An interface for computing equivalences between automata.

removeBranchingPoint(DependencySet, int) - Method in class org.semanticweb.HermiT.tableau.DependencySetFactory

removeConcept(Concept, boolean) - Method in interface org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject

removeConcept(Concept, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

removeElements(Set<T>) - Method in class org.semanticweb.HermiT.graph.Graph

removeReference(Set<E>) - Method in class org.semanticweb.HermiT.blocking.SetFactory

removeUnusedSets() - Method in class org.semanticweb.HermiT.tableau.DependencySetFactory

Remove unused set.

removeUsage(PermanentDependencySet) - Method in class org.semanticweb.HermiT.tableau.DependencySetFactory

removeWaitOption(Debugger.WaitOption) - Method in class org.semanticweb.HermiT.debugger.Debugger

replaceSelection(String) - Method in class org.semanticweb.HermiT.debugger.ConsoleTextArea

retrieveTuple(Object[], int) - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

retrieveTuple(Object[], int) - Method in class org.semanticweb.HermiT.tableau.TupleTable

ReuseNodeForCommand - Class in org.semanticweb.HermiT.debugger.commands

ReuseNodeForCommand.

ReuseNodeForCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.ReuseNodeForCommand

rewriteAxioms(OWLDataFactory, OWLAxioms, int) - Method in class org.semanticweb.HermiT.structural.ObjectPropertyInclusionManager

rewriteNegativeObjectPropertyAssertions(OWLDataFactory, OWLAxioms, int) - Method in class org.semanticweb.HermiT.structural.ObjectPropertyInclusionManager

Role - Class in org.semanticweb.HermiT.model

Represents a role.

Role() - Constructor for class org.semanticweb.HermiT.model.Role

S

s_infixPredicates - Static variable in class org.semanticweb.HermiT.model.Atom

Infix predicates.

s_monospacedFont - Static variable in class org.semanticweb.HermiT.debugger.Debugger

Monospaced font.

s_semanticWebPrefixes - Static variable in class org.semanticweb.HermiT.Prefixes

semantic prefixes

sameAs - Variable in class org.semanticweb.HermiT.Configuration.PrepareReasonerInferences

individual same as required

sameAsIndividualsComputed() - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

saturateFinished(boolean) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

saturateFinished(boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

saturateFinished(boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

saturateFinished(boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

saturateStarted() - Method in class org.semanticweb.HermiT.debugger.Debugger

saturateStarted() - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

Saturate started.

saturateStarted() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

saturateStarted() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

saturateStarted() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

saturateStarted() - Method in class org.semanticweb.HermiT.monitor.Timer

save(OutputStream) - Method in class org.semanticweb.HermiT.model.DLOntology

search(HierarchySearch.SearchPredicate<U>, Collection<U>, Set<U>) - Static method in class org.semanticweb.HermiT.hierarchy.HierarchySearch

secondsAreZero(long) - Static method in class org.semanticweb.HermiT.datatypes.datetime.DateTime

SemiRing - Interface in rationals.algebra

An interface implemented by objects that can be coefficients of a Matrix.

SEPARATOR - Static variable in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralPatternValueSpaceSubset

setAdditionalDLOntology(DLOntology) - Method in class org.semanticweb.HermiT.tableau.Tableau

setAutomata(Automaton, Automaton) - Method in class rationals.properties.Bisimulation

setAutomata(Automaton, Automaton) - Method in interface rationals.properties.Relation

Sets the context for computing the relation.

setBlocked(Node, boolean) - Method in class org.semanticweb.HermiT.tableau.Node

setBlockingCargo(Object) - Method in class org.semanticweb.HermiT.tableau.Node

setBlockingObject(Object) - Method in class org.semanticweb.HermiT.tableau.Node

Stores a blocking object (PairwiseBlockingObject or SingleBlockingObject) for this node that stores blocking relevant information of a node such as is label.

setBlockViolatesParentConstraints(boolean) - Method in interface org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject

setBlockViolatesParentConstraints(boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

setBreakpointTime(int) - Method in class org.semanticweb.HermiT.debugger.Debugger

setClash(DependencySet) - Method in class org.semanticweb.HermiT.tableau.ExtensionManager

SetFactory<E> - Class in org.semanticweb.HermiT.blocking

This class is used to create sets of various types.

SetFactory() - Constructor for class org.semanticweb.HermiT.blocking.SetFactory

setForever(boolean) - Method in class org.semanticweb.HermiT.debugger.Debugger

setForwardingOn(boolean) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

setHasAlreadyBeenChecked(boolean) - Method in interface org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject

setHasAlreadyBeenChecked(boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

setHasChangedSinceValidation(Node, boolean) - Method in interface org.semanticweb.HermiT.blocking.DirectBlockingChecker

setHasChangedSinceValidation(Node, boolean) - Method in class org.semanticweb.HermiT.blocking.PairWiseDirectBlockingChecker

setHasChangedSinceValidation(Node, boolean) - Method in class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

setHasChangedSinceValidation(Node, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

setHasChangedSinceValidation(Node, boolean) - Method in class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

setInconsistent() - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

Set inconsistent.

setInMainLoop(boolean) - Method in class org.semanticweb.HermiT.debugger.Debugger

setLeft(RationalExpr) - Method in class rationals.expr.BinaryExpr

setNextEntry(BlockingSignature) - Method in class org.semanticweb.HermiT.blocking.BlockingSignature

setRight(RationalExpr) - Method in class rationals.expr.BinaryExpr

setSinglestep(boolean) - Method in class org.semanticweb.HermiT.debugger.Debugger

setTableau(Tableau) - Method in class org.semanticweb.HermiT.debugger.Debugger

setTableau(Tableau) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

setTableau(Tableau) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

setTableau(Tableau) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

setTableau(Tableau) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

setToClassifiedConceptHierarchy(Hierarchy<AtomicConcept>) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

setToClassifiedRoleHierarchy(Hierarchy<Role>) - Method in class org.semanticweb.HermiT.hierarchy.InstanceManager

setToKnown(Individual) - Method in class org.semanticweb.HermiT.hierarchy.AtomicConceptElement

setTupleObject(int, int, Object) - Method in class org.semanticweb.HermiT.tableau.TupleTable

ShowDescriptionGraphCommand - Class in org.semanticweb.HermiT.debugger.commands

ShowDescriptionGraphCommand.

ShowDescriptionGraphCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.ShowDescriptionGraphCommand

ShowDLClausesCommand - Class in org.semanticweb.HermiT.debugger.commands

ShowDLClausesCommand.

ShowDLClausesCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.ShowDLClausesCommand

ShowExistsCommand - Class in org.semanticweb.HermiT.debugger.commands

ShowExistsCommand.

ShowExistsCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.ShowExistsCommand

ShowModelCommand - Class in org.semanticweb.HermiT.debugger.commands

ShowModelCommand.

ShowModelCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.ShowModelCommand

ShowNodeCommand - Class in org.semanticweb.HermiT.debugger.commands

ShowNodeCommand

ShowNodeCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.ShowNodeCommand

showNodeLabels(Node) - Method in class org.semanticweb.HermiT.debugger.commands.SubtreeViewer

ShowSubtreeCommand - Class in org.semanticweb.HermiT.debugger.commands

ShowSubtreeCommand.

ShowSubtreeCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.ShowSubtreeCommand

Shuffle - Class in rationals.transformations

This class implements the shuffle operator between two automatas.

Shuffle() - Constructor for class rationals.transformations.Shuffle

SIGNATURE_CACHE_BLOCKER - Static variable in class org.semanticweb.HermiT.tableau.Node

Signature cache blocker.

SingleDirectBlockingChecker - Class in org.semanticweb.HermiT.blocking

Single direct blocking checker.

SingleDirectBlockingChecker() - Constructor for class org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

SingleStepCommand - Class in org.semanticweb.HermiT.debugger.commands

SingleStepCommand

SingleStepCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.SingleStepCommand

sizeInMemory() - Method in class org.semanticweb.HermiT.tableau.DependencySetFactory

sizeInMemory() - Method in class org.semanticweb.HermiT.tableau.ExtensionTable

sizeInMemory() - Method in class org.semanticweb.HermiT.tableau.ExtensionTableWithFullIndex

sizeInMemory() - Method in class org.semanticweb.HermiT.tableau.ExtensionTableWithTupleIndexes

sizeInMemory() - Method in class org.semanticweb.HermiT.tableau.TupleTable

STANDARD_PREFIXES - Static variable in class org.semanticweb.HermiT.Prefixes

standard prefixes

Star - Class in rationals.transformations

Compute the kleene-star closure of an automaton.

Star() - Constructor for class rationals.transformations.Star

start() - Method in class rationals.Transition

Returns the starting state of this transition.

startNextBranchingPointFinished(BranchingPoint) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

startNextBranchingPointFinished(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

startNextBranchingPointFinished(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

startNextBranchingPointFinished(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

startNextBranchingPointStarted(BranchingPoint) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

startNextBranchingPointStarted(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

startNextBranchingPointStarted(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

startNextBranchingPointStarted(BranchingPoint) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

startNextChoice(Tableau, DependencySet) - Method in class org.semanticweb.HermiT.tableau.BranchingPoint

startNextChoice(Tableau, DependencySet) - Method in class org.semanticweb.HermiT.tableau.DisjunctionBranchingPoint

startPrinting() - Method in class org.semanticweb.HermiT.hierarchy.HierarchyPrinterFSS

Start printing.

startTask() - Method in class org.semanticweb.HermiT.tableau.InterruptFlag

Start task.

state(Object) - Method in class rationals.Automaton

Create a new state with given label.

State - Interface in rationals

Interface for State objects This class defines the notion of state of an automaton.

StateFactory - Interface in rationals

This class is used by Automaton objects to create new states on A user can implement its own version of StateFactory by providing an implementation for createState

StateMachine - Interface in rationals

An interface for abstract state machines.

states() - Method in class rationals.Automaton

states() - Method in interface rationals.Rational

Returns the set of states Q associated with this automaton.

stateSet() - Method in class rationals.DefaultStateFactory

stateSet() - Method in interface rationals.StateFactory

Return a new empty set that can contains State instances created by this factory.

step(Set<State>, Object) - Method in class rationals.Automaton

step(Set<State>, Object) - Method in interface rationals.StateMachine

Return the set of states accessible in one transition from given set of states s and letter o.

steps(List<?>) - Method in interface rationals.Acceptor

steps(List<?>) - Method in class rationals.Automaton

steps(Set<State>, List<?>) - Method in class rationals.Automaton

steps(Set<State>, List<?>) - Method in interface rationals.StateMachine

Return the set of states this SM will be in after reading the word from start states s.

subtractIntegerIntervalSizeFrom(Number, Number, int) - Static method in class org.semanticweb.HermiT.datatypes.owlreal.Numbers

subtractIntervalSizeFrom(double, double, int) - Static method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

subtractIntervalSizeFrom(float, float, int) - Static method in class org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

subtractSizeFrom(int) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataLengthInterval

subtractSizeFrom(int) - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeInterval

Subtracts from the given argument the number of distinct objects that are contained in this interval.

subtractSizeFrom(int) - Method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

subtractSizeFrom(int) - Method in class org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

subtractSizeFrom(int) - Method in class org.semanticweb.HermiT.datatypes.owlreal.NumberInterval

Subtracts from the given argument the number of distinct objects that are contained in this interval.

subtractSizeFrom(int) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthInterval

SubtreeViewer - Class in org.semanticweb.HermiT.debugger.commands

SubtreeViewer(Debugger, Node) - Constructor for class org.semanticweb.HermiT.debugger.commands.SubtreeViewer

supportsAdditionalDLOntology(DLOntology) - Method in class org.semanticweb.HermiT.tableau.Tableau

synchronizable(Set<T>, Set<T>) - Method in class rationals.DefaultSynchronization

synchronizable(Collection<Set<T>>) - Method in class rationals.DefaultSynchronization

synchronizable(Set<T>, Set<T>) - Method in interface rationals.Synchronization

Compute the synchronizable letters from two alphabets.

synchronizable(Collection<Set<T>>) - Method in interface rationals.Synchronization

Construct the synchronization alphabet from a collection of alphabets.

Synchronization - Interface in rationals

An interface for defining various synchronization schemes.

synchronize(Object, Object) - Method in class rationals.DefaultSynchronization

synchronize(Object, Object) - Method in interface rationals.Synchronization

Synchronize two transitions.

synchronizeWith(Object, Set<Object>) - Method in class rationals.DefaultSynchronization

synchronizeWith(Object, Set<Object>) - Method in interface rationals.Synchronization

Checks whether or not the given letter is synchronizable in the given automaton's alphabet.

T

Tableau - Class in org.semanticweb.HermiT.tableau

This class coordinates the main tableau expansion for a given DLOntology (a normalized and clausified ontology).

Tableau(InterruptFlag, TableauMonitor, ExistentialExpansionStrategy, boolean, DLOntology, DLOntology, Map<String, Object>) - Constructor for class org.semanticweb.HermiT.tableau.Tableau

tableauCleared() - Method in class org.semanticweb.HermiT.debugger.Debugger

tableauCleared() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

tableauCleared() - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

Tableau cleared.

tableauCleared() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

tableauCleared() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

tableauCleared() - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

TableauMonitor - Interface in org.semanticweb.HermiT.monitor

TableauMonitor.

TableauMonitorAdapter - Class in org.semanticweb.HermiT.monitor

TableauMonitorAdapter.

TableauMonitorAdapter() - Constructor for class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

TableauMonitorFork - Class in org.semanticweb.HermiT.monitor

TableauMonitorFork.

TableauMonitorFork(TableauMonitor, TableauMonitor) - Constructor for class org.semanticweb.HermiT.monitor.TableauMonitorFork

TableauMonitorForwarder - Class in org.semanticweb.HermiT.monitor

TableauMonitorForwarder.

TableauMonitorForwarder(TableauMonitor) - Constructor for class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

tableauMonitorType - Variable in class org.semanticweb.HermiT.Configuration

tableau monitor type

Term - Class in org.semanticweb.HermiT.model

Represents a term in a DL clause.

Term() - Constructor for class org.semanticweb.HermiT.model.Term

terminals() - Method in class rationals.Automaton

terminals() - Method in interface rationals.Rational

Returns the set of terminal states T associated with this automaton.

test(Automaton, Automaton) - Method in interface rationals.properties.BinaryTest

Tests that some predicate is true for two given automata.

test(Automaton) - Method in class rationals.properties.ContainsEpsilon

test(Automaton) - Method in class rationals.properties.isEmpty

test(Automaton) - Method in class rationals.properties.isNormalized

test(Automaton) - Method in interface rationals.properties.UnaryTest

TestRecord(long, String, boolean) - Constructor for class org.semanticweb.HermiT.monitor.CountingMonitor.TestRecord

THING - Static variable in class org.semanticweb.HermiT.model.AtomicConcept

Thing.

thresholdForAdditionalAxioms - Static variable in class org.semanticweb.HermiT.hierarchy.InstanceManager

threshold

throwInconsistentOntologyException - Variable in class org.semanticweb.HermiT.Configuration

The default value is true and HermiT will throw an exception if it finds the ontology to be inconsistent.

Timer - Class in org.semanticweb.HermiT.monitor

Timer.

Timer(OutputStream) - Constructor for class org.semanticweb.HermiT.monitor.Timer

TimerWithPause - Class in org.semanticweb.HermiT.monitor

TimerWithPause.

TimerWithPause(OutputStream) - Constructor for class org.semanticweb.HermiT.monitor.TimerWithPause

toAscii - Class in rationals.converters

toAscii

toAscii() - Constructor for class rationals.converters.toAscii

toAutomaton(int, int) - Static method in class org.semanticweb.HermiT.datatypes.anyuri.AnyURIValueSpaceSubset

toAutomaton(RDFPlainLiteralLengthValueSpaceSubset) - Static method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralPatternValueSpaceSubset

toAutomaton(int, int) - Static method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralPatternValueSpaceSubset

ToDFA - Class in rationals.transformations

Determinization of an automaton.

ToDFA() - Constructor for class rationals.transformations.ToDFA

toOrderedString(Prefixes) - Method in class org.semanticweb.HermiT.model.Equality

TOP_DATA_ROLE - Static variable in class org.semanticweb.HermiT.model.AtomicRole

Top data role.

TOP_OBJECT_ROLE - Static variable in class org.semanticweb.HermiT.model.AtomicRole

Top oject role.

toString() - Method in class org.semanticweb.HermiT.datalog.ConjunctiveQuery.QueryAnswerCallback

toString() - Method in class org.semanticweb.HermiT.datatypes.anyuri.AnyURIValueSpaceSubset

toString() - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryData

toString() - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataLengthInterval

toString() - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataValueSpaceSubset

toString() - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTime

toString() - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeInterval

toString() - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeValueSpaceSubset

toString() - Method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

toString() - Method in class org.semanticweb.HermiT.datatypes.doublenum.EntireDoubleSubset

toString() - Method in class org.semanticweb.HermiT.datatypes.doublenum.NoNaNDoubleSubset

toString() - Method in class org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

toString() - Method in class org.semanticweb.HermiT.datatypes.floatnum.NoNaNFloatSubset

toString() - Method in class org.semanticweb.HermiT.datatypes.owlreal.BigRational

toString() - Method in class org.semanticweb.HermiT.datatypes.owlreal.NumberInterval

toString() - Method in class org.semanticweb.HermiT.datatypes.owlreal.OWLRealValueSpaceSubset

toString() - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDataValue

toString() - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthInterval

toString() - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthValueSpaceSubset

toString() - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralPatternValueSpaceSubset

toString() - Method in class org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteral

toString(Prefixes) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Atom

toString() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Atom

toString(Prefixes) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.BaseFact

toString(Prefixes) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.ClashDetection

toString(Prefixes) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.DatatypeChecking

toString(Prefixes) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Derivation

toString() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Derivation

toString(Prefixes) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.DisjunctApplication

toString(Prefixes) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Disjunction

toString() - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Disjunction

toString(Prefixes) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.DLClauseApplication

toString(Prefixes) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.ExistentialExpansion

toString(Prefixes) - Method in interface org.semanticweb.HermiT.debugger.DerivationHistory.Fact

toString(Prefixes) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.GraphChecking

toString(Prefixes) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.Merging

toString(Prefixes) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory.UnknownDatatypeRestrictionDetection

toString() - Method in class org.semanticweb.HermiT.graph.Graph

toString() - Method in class org.semanticweb.HermiT.hierarchy.AtomicConceptElement

toString() - Method in class org.semanticweb.HermiT.hierarchy.Hierarchy

toString() - Method in class org.semanticweb.HermiT.hierarchy.HierarchyNode

toString() - Method in class org.semanticweb.HermiT.model.AnnotatedEquality

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.AnnotatedEquality

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.AtLeastConcept

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.AtLeastDataRange

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.Atom

toString() - Method in class org.semanticweb.HermiT.model.Atom

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.AtomicConcept

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.AtomicNegationConcept

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.AtomicNegationDataRange

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.AtomicRole

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.Concept

toString() - Method in class org.semanticweb.HermiT.model.Concept

toString() - Method in class org.semanticweb.HermiT.model.Constant

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.Constant

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.ConstantEnumeration

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.DataRange

toString() - Method in class org.semanticweb.HermiT.model.DataRange

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.DatatypeRestriction

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.DescriptionGraph

toString() - Method in class org.semanticweb.HermiT.model.DescriptionGraph

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.DLClause

toString() - Method in class org.semanticweb.HermiT.model.DLClause

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.DLOntology

toString() - Method in class org.semanticweb.HermiT.model.DLOntology

toString(Prefixes) - Method in interface org.semanticweb.HermiT.model.DLPredicate

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.Equality

toString() - Method in class org.semanticweb.HermiT.model.Equality

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.ExistsDescriptionGraph

toString() - Method in class org.semanticweb.HermiT.model.ExistsDescriptionGraph

toString() - Method in class org.semanticweb.HermiT.model.Individual

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.Individual

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.Inequality

toString() - Method in class org.semanticweb.HermiT.model.Inequality

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.InternalDatatype

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.InverseRole

toString() - Method in class org.semanticweb.HermiT.model.NegatedAtomicRole

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.NegatedAtomicRole

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.NodeIDLessEqualThan

toString() - Method in class org.semanticweb.HermiT.model.NodeIDLessEqualThan

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.NodeIDsAscendingOrEqual

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.Role

toString() - Method in class org.semanticweb.HermiT.model.Role

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.Term

toString() - Method in class org.semanticweb.HermiT.model.Variable

toString(Prefixes) - Method in class org.semanticweb.HermiT.model.Variable

toString() - Method in class org.semanticweb.HermiT.monitor.CountingMonitor.TestRecord

toString() - Method in class org.semanticweb.HermiT.Prefixes

toString() - Method in class org.semanticweb.HermiT.tableau.DatatypeManager.DConjunction

toString(Prefixes) - Method in class org.semanticweb.HermiT.tableau.DatatypeManager.DConjunction

toString() - Method in class org.semanticweb.HermiT.tableau.DatatypeManager.DVariable

toString(Prefixes) - Method in class org.semanticweb.HermiT.tableau.DatatypeManager.DVariable

toString() - Method in class org.semanticweb.HermiT.tableau.DLClauseEvaluator

toString(Prefixes) - Method in class org.semanticweb.HermiT.tableau.GroundDisjunction

toString() - Method in class org.semanticweb.HermiT.tableau.GroundDisjunction

toString(Prefixes) - Method in class org.semanticweb.HermiT.tableau.GroundDisjunctionHeader

toString() - Method in class org.semanticweb.HermiT.tableau.GroundDisjunctionHeader

toString() - Method in class org.semanticweb.HermiT.tableau.Node

toString() - Method in class org.semanticweb.HermiT.tableau.PermanentDependencySet

toString() - Method in class org.semanticweb.HermiT.tableau.ReasoningTaskDescription

toString() - Method in class rationals.algebra.Matrix

toString() - Method in class rationals.Automaton

returns a textual representation of this automaton.

toString(Automaton) - Method in class rationals.converters.toAscii

ToString - Interface in rationals.converters

ToString.

toString(Automaton) - Method in interface rationals.converters.ToString

toString() - Method in class rationals.expr.Letter

toString() - Method in class rationals.expr.Plus

toString() - Method in class rationals.expr.Product

toString() - Method in class rationals.transformations.HashValue

toString() - Method in class rationals.Transition

returns a textual representation of this transition.

transform(Hierarchy.Transformer<? super E, T>, Comparator<T>) - Method in class org.semanticweb.HermiT.hierarchy.Hierarchy

transform(E) - Method in interface org.semanticweb.HermiT.hierarchy.Hierarchy.Transformer

transform(Automaton, Automaton) - Method in interface rationals.transformations.BinaryTransformation

transform(Automaton) - Method in class rationals.transformations.Complement

transform(Automaton, Automaton) - Method in class rationals.transformations.Concatenation

transform(Automaton) - Method in class rationals.transformations.EpsilonTransitionRemover

transform(Automaton, Automaton) - Method in class rationals.transformations.Mix

transform(Automaton) - Method in class rationals.transformations.Normalizer

transform(Automaton) - Method in class rationals.transformations.Pruner

transform(Automaton) - Method in class rationals.transformations.Reducer

transform(Automaton, Automaton) - Method in class rationals.transformations.Shuffle

transform(Automaton) - Method in class rationals.transformations.Star

transform(Automaton) - Method in class rationals.transformations.ToDFA

transform(Automaton) - Method in interface rationals.transformations.UnaryTransformation

transform(Automaton, Automaton) - Method in class rationals.transformations.Union

TransformationsToolBox - Class in rationals.transformations

A set of utility methods used in transformations of automaton.

TransformationsToolBox() - Constructor for class rationals.transformations.TransformationsToolBox

Transition - Class in rationals

Defines a Transition (an edge from a state to a state) in an Automaton This class defines the notion of transition of an automaton.

Transition(State, Object, State) - Constructor for class rationals.Transition

Creates a new transition (q , l , q').

transitivelyClose() - Method in class org.semanticweb.HermiT.graph.Graph

Transitive close.

traverseDepthFirst(Hierarchy.HierarchyNodeVisitor<E>) - Method in class org.semanticweb.HermiT.hierarchy.Hierarchy

trivialHierarchy(T, T) - Static method in class org.semanticweb.HermiT.hierarchy.Hierarchy

trueOf(U) - Method in interface org.semanticweb.HermiT.hierarchy.HierarchySearch.SearchPredicate

truncate(int) - Method in class org.semanticweb.HermiT.tableau.TupleTable

tryFunctionalExpansion(AtLeast, Node) - Method in class org.semanticweb.HermiT.tableau.ExistentialExpansionManager

Creates a new node in the tableau if the at least concept that caused the expansion is for cardinality 1.

tupleAdded(ExtensionTable, Object[], DependencySet) - Method in class org.semanticweb.HermiT.tableau.ClashManager

tupleEquals(Object[], int, int) - Method in class org.semanticweb.HermiT.tableau.TupleTable

tupleEquals(Object[], int[], int, int) - Method in class org.semanticweb.HermiT.tableau.TupleTable

tupleRemoved(Object[]) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

tupleRemoved(Object[]) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

tupleRemoved(Object[]) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

tupleRemoved(Object[]) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

tupleRemoved(Object[]) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

TupleTable - Class in org.semanticweb.HermiT.tableau

The actual implementation of the tuple tables used in the ExtensionTable class.

TupleTable(int) - Constructor for class org.semanticweb.HermiT.tableau.TupleTable

U

UnaryTest - Interface in rationals.properties

Unary test.

UnaryTransformation - Interface in rationals.transformations

Unary transformation.

union(NumberRange, NumberRange) - Static method in enum org.semanticweb.HermiT.datatypes.owlreal.NumberRange

Union - Class in rationals.transformations

Compute the union of two automaton.

Union() - Constructor for class rationals.transformations.Union

unionWith(DependencySet, DependencySet) - Method in class org.semanticweb.HermiT.tableau.DependencySetFactory

UnknownDatatypeRestrictionDetection(DerivationHistory.Atom[]) - Constructor for class org.semanticweb.HermiT.debugger.DerivationHistory.UnknownDatatypeRestrictionDetection

unknownDatatypeRestrictionDetectionFinished(DataRange, Node, DataRange, Node) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

unknownDatatypeRestrictionDetectionFinished(DataRange, Node, DataRange, Node) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

unknownDatatypeRestrictionDetectionFinished(DataRange, Node, DataRange, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

unknownDatatypeRestrictionDetectionFinished(DataRange, Node, DataRange, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

unknownDatatypeRestrictionDetectionFinished(DataRange, Node, DataRange, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

unknownDatatypeRestrictionDetectionStarted(DataRange, Node, DataRange, Node) - Method in class org.semanticweb.HermiT.debugger.DerivationHistory

unknownDatatypeRestrictionDetectionStarted(DataRange, Node, DataRange, Node) - Method in interface org.semanticweb.HermiT.monitor.TableauMonitor

unknownDatatypeRestrictionDetectionStarted(DataRange, Node, DataRange, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorAdapter

unknownDatatypeRestrictionDetectionStarted(DataRange, Node, DataRange, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorFork

unknownDatatypeRestrictionDetectionStarted(DataRange, Node, DataRange, Node) - Method in class org.semanticweb.HermiT.monitor.TableauMonitorForwarder

UnprocessedDisjunctionsCommand - Class in org.semanticweb.HermiT.debugger.commands

UnprocessedDisjunctionsCommand.

UnprocessedDisjunctionsCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.UnprocessedDisjunctionsCommand

UnsupportedDatatypeException - Exception in org.semanticweb.HermiT.datatypes

Unsupported datatype exception.

UnsupportedDatatypeException(String) - Constructor for exception org.semanticweb.HermiT.datatypes.UnsupportedDatatypeException

UnsupportedDatatypeException(String, Throwable) - Constructor for exception org.semanticweb.HermiT.datatypes.UnsupportedDatatypeException

UnsupportedFacetException - Exception in org.semanticweb.HermiT.datatypes

Unsupported facet exception.

UnsupportedFacetException(String) - Constructor for exception org.semanticweb.HermiT.datatypes.UnsupportedFacetException

useDisjunctionLearning - Variable in class org.semanticweb.HermiT.Configuration

If set to true, then each disjunct of a disjunction is associated with a punish factor and whenever a disjunct causes a clash, the punish factor is increased.

V

validateBlocks() - Method in class org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking

Validate blocks.

validateDatatypeRestriction(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.anyuri.AnyURIDatatypeHandler

validateDatatypeRestriction(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.binarydata.BinaryDataDatatypeHandler

validateDatatypeRestriction(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.bool.BooleanDatatypeHandler

validateDatatypeRestriction(DatatypeRestriction) - Method in interface org.semanticweb.HermiT.datatypes.DatatypeHandler

validateDatatypeRestriction(DatatypeRestriction) - Static method in class org.semanticweb.HermiT.datatypes.DatatypeRegistry

validateDatatypeRestriction(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.datetime.DateTimeDatatypeHandler

validateDatatypeRestriction(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.doublenum.DoubleDatatypeHandler

validateDatatypeRestriction(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.floatnum.FloatDatatypeHandler

validateDatatypeRestriction(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.owlreal.OWLRealDatatypeHandler

validateDatatypeRestriction(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralDatatypeHandler

validateDatatypeRestriction(DatatypeRestriction) - Method in class org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteralDatatypeHandler

ValidatedPairwiseDirectBlockingChecker - Class in org.semanticweb.HermiT.blocking

Validate pairwise direct blocking checker.

ValidatedPairwiseDirectBlockingChecker(boolean) - Constructor for class org.semanticweb.HermiT.blocking.ValidatedPairwiseDirectBlockingChecker

ValidatedSingleBlockingObject(Node) - Constructor for class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject

ValidatedSingleDirectBlockingChecker - Class in org.semanticweb.HermiT.blocking

Validated single direct bocking checker.

ValidatedSingleDirectBlockingChecker(boolean) - Constructor for class org.semanticweb.HermiT.blocking.ValidatedSingleDirectBlockingChecker

ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject - Interface in org.semanticweb.HermiT.blocking

Validated blocking object.

ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject - Class in org.semanticweb.HermiT.blocking

validTransition(Transition) - Method in class rationals.Automaton

validTransition(Transition) - Method in interface rationals.Rational

valueOf(String) - Static method in enum org.semanticweb.HermiT.Configuration.BlockingSignatureCacheType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.HermiT.Configuration.BlockingStrategyType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.HermiT.Configuration.DirectBlockingType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.HermiT.Configuration.ExistentialStrategyType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.HermiT.Configuration.TableauMonitorType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.HermiT.datatypes.binarydata.BinaryDataType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.HermiT.datatypes.datetime.BoundType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.HermiT.datatypes.datetime.IntervalType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.HermiT.datatypes.owlreal.BoundType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.HermiT.datatypes.owlreal.NumberRange

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.HermiT.datatypes.owlreal.Numbers.BoundaryDirection

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthInterval.LanguageTagMode

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.HermiT.debugger.Debugger.WaitOption

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.HermiT.tableau.ExtensionTable.View

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.HermiT.tableau.NodeType

Returns the enum constant of this type with the specified name.

values() - Static method in enum org.semanticweb.HermiT.Configuration.BlockingSignatureCacheType

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.HermiT.Configuration.BlockingStrategyType

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.HermiT.Configuration.DirectBlockingType

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.HermiT.Configuration.ExistentialStrategyType

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.HermiT.Configuration.TableauMonitorType

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.HermiT.datatypes.binarydata.BinaryDataType

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.HermiT.datatypes.datetime.BoundType

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.HermiT.datatypes.datetime.IntervalType

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.HermiT.datatypes.owlreal.BoundType

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.HermiT.datatypes.owlreal.NumberRange

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.HermiT.datatypes.owlreal.Numbers.BoundaryDirection

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralLengthInterval.LanguageTagMode

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.HermiT.debugger.Debugger.WaitOption

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.HermiT.tableau.ExtensionTable.View

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.HermiT.tableau.NodeType

Returns an array containing the constants of this enum type, in the order they are declared.

ValuesBufferManager(Set<DLClause>, Map<Term, Node>) - Constructor for class org.semanticweb.HermiT.tableau.DLClauseEvaluator.ValuesBufferManager

ValueSpaceSubset - Interface in org.semanticweb.HermiT.datatypes

Value space subset.

Variable - Class in org.semanticweb.HermiT.model

Represents a variable.

visit(OWLAnnotationAssertionAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLSubAnnotationPropertyOfAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLAnnotationPropertyDomainAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLAnnotationPropertyRangeAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLDeclarationAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLDifferentIndividualsAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLSameIndividualAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLClassAssertionAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLObjectPropertyAssertionAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLDataPropertyAssertionAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLObjectPropertyDomainAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLObjectPropertyRangeAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLInverseObjectPropertiesAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLSymmetricObjectPropertyAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLTransitiveObjectPropertyAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLReflexiveObjectPropertyAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLAsymmetricObjectPropertyAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLEquivalentObjectPropertiesAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLSubObjectPropertyOfAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLSubPropertyChainOfAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLDisjointObjectPropertiesAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLDataPropertyDomainAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLDataPropertyRangeAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLEquivalentDataPropertiesAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLSubDataPropertyOfAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLDisjointDataPropertiesAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLFunctionalDataPropertyAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLSubClassOfAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLEquivalentClassesAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLDisjointClassesAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLDisjointUnionAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLDatatypeDefinitionAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(SWRLRule) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLHasKeyAxiom) - Method in class org.semanticweb.HermiT.EntailmentChecker

visit(OWLClass) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLObjectComplementOf) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLObjectUnionOf) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLObjectOneOf) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLObjectSomeValuesFrom) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLObjectHasValue) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLObjectHasSelf) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLObjectAllValuesFrom) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLObjectMinCardinality) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLObjectExactCardinality) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLDataHasValue) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLDataSomeValuesFrom) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLDataAllValuesFrom) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLDataMinCardinality) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLDataMaxCardinality) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLDataExactCardinality) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLClassAssertionAxiom) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLObjectPropertyAssertionAxiom) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLDataPropertyAssertionAxiom) - Method in class org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

visit(OWLSameIndividualAxiom) - Method in class org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification

visit(OWLDifferentIndividualsAxiom) - Method in class org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification

visit(OWLClassAssertionAxiom) - Method in class org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification

visit(OWLObjectPropertyAssertionAxiom) - Method in class org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification

visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification

visit(OWLDataPropertyAssertionAxiom) - Method in class org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification

visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification

W

WaitForCommand - Class in org.semanticweb.HermiT.debugger.commands

WaitForCommand.

WaitForCommand(Debugger) - Constructor for class org.semanticweb.HermiT.debugger.commands.WaitForCommand

warning(String) - Method in interface org.semanticweb.HermiT.Configuration.WarningMonitor

warningMonitor - Variable in class org.semanticweb.HermiT.Configuration

One can implement an instance of this class and pass it to HermiT.

X

XMLLiteral - Class in org.semanticweb.HermiT.datatypes.xmlliteral

XMLLiteral(String) - Constructor for class org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteral

XMLLiteralDatatypeHandler - Class in org.semanticweb.HermiT.datatypes.xmlliteral

XMLLiteralDatatypeHandler.

XMLLiteralDatatypeHandler() - Constructor for class org.semanticweb.HermiT.datatypes.xmlliteral.XMLLiteralDatatypeHandler

Z

zero() - Method in class rationals.algebra.Matrix

zero(int, int, SemiRing) - Static method in class rationals.algebra.Matrix

Factory method for creating Matrix instances with coefficients in a certain SemiRing.

zero() - Method in interface rationals.algebra.SemiRing

Neutral element for addition.

zero() - Method in class rationals.expr.RationalExpr

A B C D E F G H I L M N O P Q R S T U V W X Z