|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of Node in org.semanticweb.HermiT.blocking |
---|
Fields in org.semanticweb.HermiT.blocking declared as Node | |
---|---|
protected Node |
AnywhereValidatedBlocking.m_firstChangedNode
|
protected Node |
AnywhereBlocking.m_firstChangedNode
|
protected Node |
AnywhereValidatedBlocking.m_lastValidatedUnchangedNode
|
protected Node |
ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.m_node
|
protected Node |
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.m_node
|
protected Node |
SingleDirectBlockingChecker.SingleBlockingObject.m_node
|
protected Node |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.m_node
|
protected Node |
BlockingValidator.DLClauseInfo.m_xNode
|
protected Node[] |
BlockingValidator.DLClauseInfo.m_yNodes
|
protected Node[] |
BlockingValidator.DLClauseInfo.m_zNodes
|
Fields in org.semanticweb.HermiT.blocking with type parameters of type Node | |
---|---|
java.util.Map<AtLeastConcept,Node> |
BlockingValidator.inValidAtleastForBlockedParent
|
java.util.Map<AtLeastConcept,Node> |
BlockingValidator.inValidAtleastForBlocker
|
java.util.Map<BlockingValidator.DLClauseInfo,Node> |
BlockingValidator.inValidClausesForBlockedParent
|
java.util.Map<BlockingValidator.DLClauseInfo,Node> |
BlockingValidator.inValidClausesForBlocker
|
Methods in org.semanticweb.HermiT.blocking that return Node | |
---|---|
Node |
ValidatedSingleDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
ValidatedSingleDirectBlockingChecker.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
Node |
ValidatedSingleDirectBlockingChecker.assertionAdded(DataRange range,
Node node,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionAdded(DataRange range,
Node node,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionAdded(DataRange range,
Node node,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionAdded(DataRange range,
Node node,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionAdded(DataRange range,
Node node,
boolean isCore)
|
Node |
ValidatedSingleDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
ValidatedSingleDirectBlockingChecker.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
Node |
ValidatedSingleDirectBlockingChecker.assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
Node |
ValidatedSingleDirectBlockingChecker.nodesMerged(Node mergeFrom,
Node mergeInto)
|
Node |
ValidatedPairwiseDirectBlockingChecker.nodesMerged(Node mergeFrom,
Node mergeInto)
|
Node |
SingleDirectBlockingChecker.nodesMerged(Node mergeFrom,
Node mergeInto)
|
Node |
PairWiseDirectBlockingChecker.nodesMerged(Node mergeFrom,
Node mergeInto)
|
Node |
DirectBlockingChecker.nodesMerged(Node mergeFrom,
Node mergeInto)
|
Node |
ValidatedSingleDirectBlockingChecker.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
Node |
ValidatedPairwiseDirectBlockingChecker.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
Node |
SingleDirectBlockingChecker.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
Node |
PairWiseDirectBlockingChecker.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
Node |
DirectBlockingChecker.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
Methods in org.semanticweb.HermiT.blocking with parameters of type Node | |
---|---|
boolean |
BlockingSignatureCache.addNode(Node node)
|
Node |
ValidatedSingleDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
BlockingStrategy.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AnywhereValidatedBlocking.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AnywhereBlocking.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AncestorBlocking.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
ValidatedSingleDirectBlockingChecker.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
void |
BlockingStrategy.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
void |
AnywhereValidatedBlocking.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
void |
AnywhereBlocking.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
void |
AncestorBlocking.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
Node |
ValidatedSingleDirectBlockingChecker.assertionAdded(DataRange range,
Node node,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionAdded(DataRange range,
Node node,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionAdded(DataRange range,
Node node,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionAdded(DataRange range,
Node node,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionAdded(DataRange range,
Node node,
boolean isCore)
|
void |
BlockingStrategy.assertionAdded(DataRange range,
Node node,
boolean isCore)
|
void |
AnywhereValidatedBlocking.assertionAdded(DataRange range,
Node node,
boolean isCore)
|
void |
AnywhereBlocking.assertionAdded(DataRange range,
Node node,
boolean isCore)
|
void |
AncestorBlocking.assertionAdded(DataRange range,
Node node,
boolean isCore)
|
void |
BlockingStrategy.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
AnywhereValidatedBlocking.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
AnywhereBlocking.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
AncestorBlocking.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
BlockingStrategy.assertionCoreSet(Concept concept,
Node node)
|
void |
AnywhereValidatedBlocking.assertionCoreSet(Concept concept,
Node node)
|
void |
AnywhereBlocking.assertionCoreSet(Concept concept,
Node node)
|
void |
AncestorBlocking.assertionCoreSet(Concept concept,
Node node)
|
void |
BlockingStrategy.assertionCoreSet(DataRange range,
Node node)
|
void |
AnywhereValidatedBlocking.assertionCoreSet(DataRange range,
Node node)
|
void |
AnywhereBlocking.assertionCoreSet(DataRange range,
Node node)
|
void |
AncestorBlocking.assertionCoreSet(DataRange range,
Node node)
|
Node |
ValidatedSingleDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
BlockingStrategy.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AnywhereValidatedBlocking.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AnywhereBlocking.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AncestorBlocking.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
ValidatedSingleDirectBlockingChecker.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
void |
BlockingStrategy.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
void |
AnywhereValidatedBlocking.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
void |
AnywhereBlocking.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
void |
AncestorBlocking.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
Node |
ValidatedSingleDirectBlockingChecker.assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
void |
BlockingStrategy.assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
void |
AnywhereValidatedBlocking.assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
void |
AnywhereBlocking.assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
void |
AncestorBlocking.assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
void |
BlockingValidator.blockerChanged(Node node)
|
int |
ValidatedSingleDirectBlockingChecker.blockingHashCode(Node node)
|
int |
ValidatedPairwiseDirectBlockingChecker.blockingHashCode(Node node)
|
int |
SingleDirectBlockingChecker.blockingHashCode(Node node)
|
int |
PairWiseDirectBlockingChecker.blockingHashCode(Node node)
|
int |
DirectBlockingChecker.blockingHashCode(Node node)
|
boolean |
ValidatedSingleDirectBlockingChecker.ValidatedBlockingSignature.blocksNode(Node node)
|
boolean |
ValidatedPairwiseDirectBlockingChecker.ValidatedBlockingSignature.blocksNode(Node node)
|
boolean |
SingleDirectBlockingChecker.SingleBlockingSignature.blocksNode(Node node)
|
boolean |
PairWiseDirectBlockingChecker.PairWiseBlockingSignature.blocksNode(Node node)
|
abstract boolean |
BlockingSignature.blocksNode(Node node)
|
boolean |
ValidatedSingleDirectBlockingChecker.canBeBlocked(Node node)
|
boolean |
ValidatedPairwiseDirectBlockingChecker.canBeBlocked(Node node)
|
boolean |
SingleDirectBlockingChecker.canBeBlocked(Node node)
|
boolean |
PairWiseDirectBlockingChecker.canBeBlocked(Node node)
|
boolean |
DirectBlockingChecker.canBeBlocked(Node node)
|
boolean |
ValidatedSingleDirectBlockingChecker.canBeBlocker(Node node)
|
boolean |
ValidatedPairwiseDirectBlockingChecker.canBeBlocker(Node node)
|
boolean |
SingleDirectBlockingChecker.canBeBlocker(Node node)
|
boolean |
PairWiseDirectBlockingChecker.canBeBlocker(Node node)
|
boolean |
DirectBlockingChecker.canBeBlocker(Node node)
|
protected void |
BlockingValidator.checkAtLeastForNonblocked(AtLeastConcept atleast,
Node nonblocked)
|
protected void |
BlockingValidator.checkConstraintsForNonblockedX(Node nonblockedX)
|
protected void |
BlockingValidator.checkDLClauseForNonblockedX(BlockingValidator.DLClauseInfo dlClauseInfo,
Node nonblockedX)
|
protected void |
BlockingValidator.checkDLClauseForNonblockedXAndAnyZ(BlockingValidator.DLClauseInfo dlClauseInfo,
Node nonblockedX,
int toMatchIndex)
|
protected void |
BlockingValidator.checkDLClauseForNonblockedXAndMatchedNodes(BlockingValidator.DLClauseInfo dlClauseInfo,
Node nonblockedX)
|
protected void |
BlockingValidator.checkDLClauseForNonblockedXAnyZAndAnyY(BlockingValidator.DLClauseInfo dlClauseInfo,
Node nonblockedX,
int toMatchIndexXtoY,
int toMatchIndexYtoX)
|
protected void |
AncestorBlocking.checkParentBlocking(Node node)
|
void |
ValidatedSingleDirectBlockingChecker.clearBlockingInfoChanged(Node node)
|
void |
ValidatedPairwiseDirectBlockingChecker.clearBlockingInfoChanged(Node node)
|
void |
SingleDirectBlockingChecker.clearBlockingInfoChanged(Node node)
|
void |
PairWiseDirectBlockingChecker.clearBlockingInfoChanged(Node node)
|
void |
DirectBlockingChecker.clearBlockingInfoChanged(Node node)
|
boolean |
AncestorBlocking.computeIsBlocked(Node node)
|
boolean |
BlockingSignatureCache.containsSignature(Node node)
|
protected java.util.Set<AtomicConcept> |
SingleDirectBlockingChecker.fetchAtomicConceptsLabel(Node node)
|
protected java.util.Set<AtomicConcept> |
PairWiseDirectBlockingChecker.fetchAtomicConceptsLabel(Node node)
|
protected java.util.Set<AtomicConcept> |
ValidatedSingleDirectBlockingChecker.fetchAtomicConceptsLabel(Node node,
boolean onlyCore)
|
protected java.util.Set<AtomicConcept> |
ValidatedPairwiseDirectBlockingChecker.fetchAtomicConceptsLabel(Node node,
boolean onlyCore)
|
protected java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.fetchAtomicRolesLabel(Node nodeFrom,
Node nodeTo,
boolean onlyCore)
|
protected java.util.Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.fetchAtomicRolesLabel(Node nodeFrom,
Node nodeTo,
boolean onlyCore)
|
java.util.Set<AtomicRole> |
PairWiseDirectBlockingChecker.fetchEdgeLabel(Node nodeFrom,
Node nodeTo)
|
BlockingSignature |
ValidatedSingleDirectBlockingChecker.getBlockingSignatureFor(Node node)
|
BlockingSignature |
ValidatedPairwiseDirectBlockingChecker.getBlockingSignatureFor(Node node)
|
BlockingSignature |
SingleDirectBlockingChecker.getBlockingSignatureFor(Node node)
|
BlockingSignature |
PairWiseDirectBlockingChecker.getBlockingSignatureFor(Node node)
|
BlockingSignature |
DirectBlockingChecker.getBlockingSignatureFor(Node node)
|
boolean |
ValidatedSingleDirectBlockingChecker.hasBlockingInfoChanged(Node node)
|
boolean |
ValidatedPairwiseDirectBlockingChecker.hasBlockingInfoChanged(Node node)
|
boolean |
SingleDirectBlockingChecker.hasBlockingInfoChanged(Node node)
|
boolean |
PairWiseDirectBlockingChecker.hasBlockingInfoChanged(Node node)
|
boolean |
DirectBlockingChecker.hasBlockingInfoChanged(Node node)
|
boolean |
ValidatedSingleDirectBlockingChecker.hasChangedSinceValidation(Node node)
|
boolean |
ValidatedPairwiseDirectBlockingChecker.hasChangedSinceValidation(Node node)
|
boolean |
SingleDirectBlockingChecker.hasChangedSinceValidation(Node node)
|
boolean |
PairWiseDirectBlockingChecker.hasChangedSinceValidation(Node node)
|
boolean |
DirectBlockingChecker.hasChangedSinceValidation(Node node)
|
boolean |
ValidatedSingleDirectBlockingChecker.isBlockedBy(Node blocker,
Node blocked)
|
boolean |
ValidatedPairwiseDirectBlockingChecker.isBlockedBy(Node blocker,
Node blocked)
|
boolean |
SingleDirectBlockingChecker.isBlockedBy(Node blocker,
Node blocked)
|
boolean |
PairWiseDirectBlockingChecker.isBlockedBy(Node blocker,
Node blocked)
|
boolean |
DirectBlockingChecker.isBlockedBy(Node blocker,
Node blocked)
|
boolean |
BlockingValidator.isBlockValid(Node blocked)
|
protected boolean |
AnywhereValidatedBlocking.isBlockValid(Node node)
|
boolean |
BlockingStrategy.isPermanentAssertion(Concept concept,
Node node)
|
boolean |
AnywhereValidatedBlocking.isPermanentAssertion(Concept concept,
Node node)
|
boolean |
AnywhereBlocking.isPermanentAssertion(Concept concept,
Node node)
|
boolean |
AncestorBlocking.isPermanentAssertion(Concept concept,
Node node)
|
boolean |
BlockingStrategy.isPermanentAssertion(DataRange range,
Node node)
|
boolean |
AnywhereValidatedBlocking.isPermanentAssertion(DataRange range,
Node node)
|
boolean |
AnywhereBlocking.isPermanentAssertion(DataRange range,
Node node)
|
boolean |
AncestorBlocking.isPermanentAssertion(DataRange range,
Node node)
|
boolean |
BlockingValidator.ConsequenceAtom.isSatisfied(ExtensionManager extensionManager,
BlockingValidator.DLClauseInfo dlClauseInfo,
Node blockedX)
|
boolean |
BlockingValidator.SimpleConsequenceAtom.isSatisfied(ExtensionManager extensionManager,
BlockingValidator.DLClauseInfo dlClauseInfo,
Node nodeX)
|
boolean |
BlockingValidator.X2YOrY2XConsequenceAtom.isSatisfied(ExtensionManager extensionManager,
BlockingValidator.DLClauseInfo dlClauseInfo,
Node nodeX)
|
boolean |
BlockingValidator.MirroredYConsequenceAtom.isSatisfied(ExtensionManager extensionManager,
BlockingValidator.DLClauseInfo dlClauseInfo,
Node nodeX)
|
protected boolean |
BlockingValidator.isSatisfiedAtLeastForBlocked(AtLeastConcept atleast,
Node blockedX,
Node blocker,
Node blockerParent)
|
boolean |
BlockingValidator.YConstraint.isSatisfiedExplicitly(ExtensionManager extensionManager,
Node nodeX,
Node nodeY)
|
boolean |
BlockingValidator.YConstraint.isSatisfiedViaMirroringY(ExtensionManager extensionManager,
Node nodeX,
Node nodeY)
|
void |
ValidatedSingleDirectBlockingChecker.nodeDestroyed(Node node)
|
void |
ValidatedPairwiseDirectBlockingChecker.nodeDestroyed(Node node)
|
void |
SingleDirectBlockingChecker.nodeDestroyed(Node node)
|
void |
PairWiseDirectBlockingChecker.nodeDestroyed(Node node)
|
void |
DirectBlockingChecker.nodeDestroyed(Node node)
|
void |
BlockingStrategy.nodeDestroyed(Node node)
|
void |
AnywhereValidatedBlocking.nodeDestroyed(Node node)
|
void |
AnywhereBlocking.nodeDestroyed(Node node)
|
void |
AncestorBlocking.nodeDestroyed(Node node)
|
void |
ValidatedSingleDirectBlockingChecker.nodeInitialized(Node node)
|
void |
ValidatedPairwiseDirectBlockingChecker.nodeInitialized(Node node)
|
void |
SingleDirectBlockingChecker.nodeInitialized(Node node)
|
void |
PairWiseDirectBlockingChecker.nodeInitialized(Node node)
|
void |
DirectBlockingChecker.nodeInitialized(Node node)
|
void |
BlockingStrategy.nodeInitialized(Node node)
|
void |
AnywhereValidatedBlocking.nodeInitialized(Node node)
|
void |
AnywhereBlocking.nodeInitialized(Node node)
|
void |
AncestorBlocking.nodeInitialized(Node node)
|
Node |
ValidatedSingleDirectBlockingChecker.nodesMerged(Node mergeFrom,
Node mergeInto)
|
Node |
ValidatedPairwiseDirectBlockingChecker.nodesMerged(Node mergeFrom,
Node mergeInto)
|
Node |
SingleDirectBlockingChecker.nodesMerged(Node mergeFrom,
Node mergeInto)
|
Node |
PairWiseDirectBlockingChecker.nodesMerged(Node mergeFrom,
Node mergeInto)
|
Node |
DirectBlockingChecker.nodesMerged(Node mergeFrom,
Node mergeInto)
|
void |
BlockingStrategy.nodesMerged(Node mergeFrom,
Node mergeInto)
|
void |
AnywhereValidatedBlocking.nodesMerged(Node mergeFrom,
Node mergeInto)
|
void |
AnywhereBlocking.nodesMerged(Node mergeFrom,
Node mergeInto)
|
void |
AncestorBlocking.nodesMerged(Node mergeFrom,
Node mergeInto)
|
void |
BlockingStrategy.nodeStatusChanged(Node node)
|
void |
AnywhereValidatedBlocking.nodeStatusChanged(Node node)
|
void |
AnywhereBlocking.nodeStatusChanged(Node node)
|
void |
AncestorBlocking.nodeStatusChanged(Node node)
|
Node |
ValidatedSingleDirectBlockingChecker.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
Node |
ValidatedPairwiseDirectBlockingChecker.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
Node |
SingleDirectBlockingChecker.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
Node |
PairWiseDirectBlockingChecker.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
Node |
DirectBlockingChecker.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
void |
BlockingStrategy.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
void |
AnywhereValidatedBlocking.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
void |
AnywhereBlocking.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
void |
AncestorBlocking.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
protected void |
BlockingValidator.resetChildFlags(Node parent)
|
protected boolean |
BlockingValidator.satisfiesConstraintsForBlockedX(Node blockedX)
|
protected boolean |
BlockingValidator.satisfiesDLClauseForBlockedX(BlockingValidator.DLClauseInfo dlClauseInfo,
Node blockedX)
|
protected boolean |
BlockingValidator.satisfiesDLClauseForBlockedXAndAnyZ(BlockingValidator.DLClauseInfo dlClauseInfo,
Node blockedX,
int parentOfBlockedXIndex,
int toMatchIndex)
|
protected boolean |
BlockingValidator.satisfiesDLClauseForBlockedXAndMatchedNodes(BlockingValidator.DLClauseInfo dlClauseInfo,
Node blockedX,
int parentOfBlockedXIndex)
|
protected boolean |
BlockingValidator.satisfiesDLClauseForBlockedXAnyZAndAnyY(BlockingValidator.DLClauseInfo dlClauseInfo,
Node blockedX,
int parentOfBlockedXIndex,
int toMatchIndexXToY,
int toMatchIndexYToX)
|
void |
ValidatedSingleDirectBlockingChecker.setHasChangedSinceValidation(Node node,
boolean hasChanged)
|
void |
ValidatedPairwiseDirectBlockingChecker.setHasChangedSinceValidation(Node node,
boolean hasChanged)
|
void |
SingleDirectBlockingChecker.setHasChangedSinceValidation(Node node,
boolean hasChanged)
|
void |
PairWiseDirectBlockingChecker.setHasChangedSinceValidation(Node node,
boolean hasChanged)
|
void |
DirectBlockingChecker.setHasChangedSinceValidation(Node node,
boolean hasChanged)
|
protected void |
AnywhereValidatedBlocking.updateNodeChange(Node node)
|
protected void |
AnywhereBlocking.updateNodeChange(Node node)
|
protected void |
AnywhereValidatedBlocking.validationInfoChanged(Node node)
|
Uses of Node in org.semanticweb.HermiT.debugger |
---|
Fields in org.semanticweb.HermiT.debugger declared as Node | |
---|---|
Node |
Debugger.NodeCreationInfo.m_createdByNode
|
protected Node |
Debugger.m_lastExistentialNode
|
Node |
Debugger.NodeCreationInfo.m_node
|
Fields in org.semanticweb.HermiT.debugger with type parameters of type Node | |
---|---|
java.util.List<Node> |
Debugger.NodeCreationInfo.m_children
|
protected java.util.Map<Node,Debugger.NodeCreationInfo> |
Debugger.m_nodeCreationInfos
|
Methods in org.semanticweb.HermiT.debugger that return Node | |
---|---|
Node |
DerivationHistory.Atom.getArgument(int index)
|
Node |
DerivationHistory.Disjunction.getArgument(int disjunctIndex,
int argumentIndex)
|
Methods in org.semanticweb.HermiT.debugger with parameters of type Node | |
---|---|
int |
Printing.NodeComparator.compare(Node o1,
Node o2)
|
void |
DerivationHistory.existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
|
void |
Debugger.existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
|
void |
DerivationHistory.existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
|
void |
Debugger.existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
|
protected static java.lang.String |
Printing.formatBlockingStatus(Node node)
|
Debugger.NodeCreationInfo |
Debugger.getNodeCreationInfo(Node node)
|
void |
DerivationHistory.mergeFactFinished(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
|
void |
DerivationHistory.mergeFactStarted(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
|
void |
DerivationHistory.mergeFinished(Node nodeFrom,
Node nodeInto)
|
void |
DerivationHistory.mergeStarted(Node nodeFrom,
Node nodeInto)
|
void |
Debugger.mergeStarted(Node mergeFrom,
Node mergeInto)
|
void |
Debugger.nodeCreated(Node node)
|
void |
Debugger.nodeDestroyed(Node node)
|
protected static void |
Printing.printConceptLabel(Debugger debugger,
Node node,
java.io.PrintWriter writer)
|
protected static void |
Printing.printEdges(Debugger debugger,
Node node,
java.io.PrintWriter writer)
|
static void |
Printing.printNodeData(Debugger debugger,
Node node,
java.io.PrintWriter writer)
|
void |
DerivationHistory.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
|
void |
DerivationHistory.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
|
Method parameters in org.semanticweb.HermiT.debugger with type arguments of type Node | |
---|---|
protected static void |
Printing.printEdgeMap(Debugger debugger,
java.util.Map<Node,java.util.Set<AtomicRole>> map,
java.io.PrintWriter writer)
|
Constructors in org.semanticweb.HermiT.debugger with parameters of type Node | |
---|---|
Debugger.NodeCreationInfo(Node node,
Node createdByNode,
ExistentialConcept createdByExistential)
|
Uses of Node in org.semanticweb.HermiT.debugger.commands |
---|
Fields in org.semanticweb.HermiT.debugger.commands declared as Node | |
---|---|
protected Node |
SubtreeViewer.SubtreeTreeModel.m_root
|
Fields in org.semanticweb.HermiT.debugger.commands with type parameters of type Node | |
---|---|
java.util.List<Node> |
OriginStatsCommand.OriginInfo.m_nodes
|
Methods in org.semanticweb.HermiT.debugger.commands that return Node | |
---|---|
Node |
SubtreeViewer.SubtreeTreeModel.getChild(java.lang.Object parent,
int index)
|
Methods in org.semanticweb.HermiT.debugger.commands with parameters of type Node | |
---|---|
void |
SubtreeViewer.findNode(Node node)
|
protected static java.lang.String |
AbstractCommand.formatBlockingStatus(Node node)
|
protected void |
ShowExistsCommand.printStartExistential(Node node,
java.io.PrintWriter writer)
|
void |
SubtreeViewer.showNodeLabels(Node node)
|
Constructors in org.semanticweb.HermiT.debugger.commands with parameters of type Node | |
---|---|
SubtreeViewer.SubtreeTreeModel(Debugger debugger,
Node root)
|
|
SubtreeViewer(Debugger debugger,
Node rootNode)
|
Uses of Node in org.semanticweb.HermiT.existentials |
---|
Fields in org.semanticweb.HermiT.existentials declared as Node | |
---|---|
protected Node |
IndividualReuseStrategy.IndividualReuseBranchingPoint.m_node
|
protected Node |
IndividualReuseStrategy.NodeBranchingPointPair.m_node
|
Fields in org.semanticweb.HermiT.existentials with type parameters of type Node | |
---|---|
protected java.util.List<Node> |
AbstractExpansionStrategy.m_auxiliaryNodes1
|
protected java.util.List<Node> |
AbstractExpansionStrategy.m_auxiliaryNodes2
|
Methods in org.semanticweb.HermiT.existentials with parameters of type Node | |
---|---|
void |
ExistentialExpansionStrategy.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AbstractExpansionStrategy.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
ExistentialExpansionStrategy.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
void |
AbstractExpansionStrategy.assertionAdded(Concept concept,
Node node,
boolean isCore)
|
void |
ExistentialExpansionStrategy.assertionAdded(DataRange dataRange,
Node node,
boolean isCore)
|
void |
AbstractExpansionStrategy.assertionAdded(DataRange range,
Node node,
boolean isCore)
|
void |
ExistentialExpansionStrategy.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
AbstractExpansionStrategy.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
ExistentialExpansionStrategy.assertionCoreSet(Concept concept,
Node node)
|
void |
AbstractExpansionStrategy.assertionCoreSet(Concept concept,
Node node)
|
void |
ExistentialExpansionStrategy.assertionCoreSet(DataRange dataRange,
Node node)
|
void |
AbstractExpansionStrategy.assertionCoreSet(DataRange range,
Node node)
|
void |
ExistentialExpansionStrategy.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AbstractExpansionStrategy.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
ExistentialExpansionStrategy.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
void |
AbstractExpansionStrategy.assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
void |
ExistentialExpansionStrategy.assertionRemoved(DataRange dataRange,
Node node,
boolean isCore)
|
void |
AbstractExpansionStrategy.assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
protected boolean |
AbstractExpansionStrategy.containsSubsetOfNUnequalNodes(Node forNode,
java.util.List<Node> nodes,
int startAt,
java.util.List<Node> selectedNodes,
int cardinality)
|
protected void |
IndividualReuseStrategy.expandExistential(AtLeast atLeast,
Node forNode)
|
protected void |
CreationOrderStrategy.expandExistential(AtLeast atLeast,
Node forNode)
|
protected abstract void |
AbstractExpansionStrategy.expandExistential(AtLeast atLeast,
Node forNode)
This method performs the actual expansion. |
protected boolean |
IndividualReuseStrategy.expandWithModelReuse(AtLeastConcept atLeastConcept,
Node node)
|
AtomicConcept |
IndividualReuseStrategy.getConceptForNode(Node node)
|
protected boolean |
AbstractExpansionStrategy.isPermanentSatisfier(Node forNode,
Node toNode)
|
protected AbstractExpansionStrategy.SatType |
AbstractExpansionStrategy.isSatisfied(AtLeast atLeast,
Node forNode)
|
void |
ExistentialExpansionStrategy.nodeDestroyed(Node node)
|
void |
AbstractExpansionStrategy.nodeDestroyed(Node node)
|
void |
ExistentialExpansionStrategy.nodeInitialized(Node node)
|
void |
AbstractExpansionStrategy.nodeInitialized(Node node)
|
void |
ExistentialExpansionStrategy.nodesMerged(Node mergeFrom,
Node mergeInto)
|
void |
AbstractExpansionStrategy.nodesMerged(Node mergeFrom,
Node mergeInto)
|
void |
ExistentialExpansionStrategy.nodeStatusChanged(Node node)
|
void |
AbstractExpansionStrategy.nodeStatusChanged(Node node)
|
void |
ExistentialExpansionStrategy.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
void |
AbstractExpansionStrategy.nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
protected boolean |
IndividualReuseStrategy.tryParentReuse(AtLeastConcept atLeastConcept,
Node node)
|
Method parameters in org.semanticweb.HermiT.existentials with type arguments of type Node | |
---|---|
protected boolean |
AbstractExpansionStrategy.containsSubsetOfNUnequalNodes(Node forNode,
java.util.List<Node> nodes,
int startAt,
java.util.List<Node> selectedNodes,
int cardinality)
|
protected boolean |
AbstractExpansionStrategy.containsSubsetOfNUnequalNodes(Node forNode,
java.util.List<Node> nodes,
int startAt,
java.util.List<Node> selectedNodes,
int cardinality)
|
Constructors in org.semanticweb.HermiT.existentials with parameters of type Node | |
---|---|
IndividualReuseStrategy.IndividualReuseBranchingPoint(Tableau tableau,
AtLeastConcept existential,
Node node,
boolean wasParentReuse)
|
|
IndividualReuseStrategy.NodeBranchingPointPair(Node node,
int branchingPoint)
|
Uses of Node in org.semanticweb.HermiT.hierarchy |
---|
Fields in org.semanticweb.HermiT.hierarchy with type parameters of type Node | |
---|---|
protected java.util.Map<Node,Individual> |
InstanceManager.m_individualsForNodes
|
protected java.util.Map<Individual,Node> |
InstanceManager.m_nodesForIndividuals
|
Methods in org.semanticweb.HermiT.hierarchy that return Node | |
---|---|
protected Node |
QuasiOrderClassification.buildModelForConcept(AtomicConcept concept)
|
Methods in org.semanticweb.HermiT.hierarchy that return types with arguments of type Node | |
---|---|
java.util.Map<Individual,Node> |
InstanceManager.getNodesForIndividuals()
|
Methods in org.semanticweb.HermiT.hierarchy with parameters of type Node | |
---|---|
protected void |
QuasiOrderClassification.prunePossibleSubsumersOfConcept(AtomicConcept atomicConcept,
Node node)
|
protected void |
QuasiOrderClassification.readKnownSubsumersFromRootNode(AtomicConcept subconcept,
Node checkedNode)
|
protected int |
InstanceManager.readOffComplexRoleSuccessors(Individual ind,
Node nodeForIndividual,
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor,
int completedSteps,
int steps)
|
protected void |
InstanceManager.readOffPropertyInstances(Individual ind,
Node nodeForIndividual)
|
protected boolean |
InstanceManager.readOffTypes(Individual ind,
Node nodeForIndividual)
|
protected void |
QuasiOrderClassification.readPossibleSubsumersFromNodeLabel(AtomicConcept atomicConcept,
Node node)
|
Method parameters in org.semanticweb.HermiT.hierarchy with type arguments of type Node | |
---|---|
protected int |
InstanceManager.readOffPropertyInstancesByIndividual(Tableau tableau,
java.util.Map<Node,Individual> individualsForNodes,
org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor,
int completedSteps,
int steps,
int startIndividualIndex)
|
Uses of Node in org.semanticweb.HermiT.monitor |
---|
Methods in org.semanticweb.HermiT.monitor with parameters of type Node | |
---|---|
void |
TableauMonitorForwarder.existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorFork.existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorAdapter.existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitor.existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorForwarder.existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorFork.existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorAdapter.existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitor.existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorForwarder.existentialSatisfied(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorFork.existentialSatisfied(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorAdapter.existentialSatisfied(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitor.existentialSatisfied(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorForwarder.mergeFactFinished(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
|
void |
TableauMonitorFork.mergeFactFinished(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
|
void |
TableauMonitorAdapter.mergeFactFinished(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
|
void |
TableauMonitor.mergeFactFinished(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
|
void |
TableauMonitorForwarder.mergeFactStarted(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
|
void |
TableauMonitorFork.mergeFactStarted(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
|
void |
TableauMonitorAdapter.mergeFactStarted(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
|
void |
TableauMonitor.mergeFactStarted(Node mergeFrom,
Node mergeInto,
java.lang.Object[] sourceTuple,
java.lang.Object[] targetTuple)
|
void |
TableauMonitorForwarder.mergeFinished(Node mergeFrom,
Node mergeInto)
|
void |
TableauMonitorFork.mergeFinished(Node mergeFrom,
Node mergeInto)
|
void |
TableauMonitorAdapter.mergeFinished(Node mergeFrom,
Node mergeInto)
|
void |
TableauMonitor.mergeFinished(Node mergeFrom,
Node mergeInto)
|
void |
TableauMonitorForwarder.mergeStarted(Node mergeFrom,
Node mergrInto)
|
void |
TableauMonitorFork.mergeStarted(Node mergeFrom,
Node mergeInto)
|
void |
TableauMonitorAdapter.mergeStarted(Node mergeFrom,
Node mergeInto)
|
void |
TableauMonitor.mergeStarted(Node mergeFrom,
Node mergeInto)
|
void |
TableauMonitorForwarder.nodeCreated(Node node)
|
void |
TableauMonitorFork.nodeCreated(Node node)
|
void |
TableauMonitorAdapter.nodeCreated(Node node)
|
void |
TableauMonitor.nodeCreated(Node node)
|
void |
TableauMonitorForwarder.nodeDestroyed(Node node)
|
void |
TableauMonitorFork.nodeDestroyed(Node node)
|
void |
TableauMonitorAdapter.nodeDestroyed(Node node)
|
void |
TableauMonitor.nodeDestroyed(Node node)
|
void |
TableauMonitorForwarder.nodePruned(Node node)
|
void |
TableauMonitorFork.nodePruned(Node node)
|
void |
TableauMonitorAdapter.nodePruned(Node node)
|
void |
TableauMonitor.nodePruned(Node node)
|
void |
TableauMonitorForwarder.nominalIntorductionFinished(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
TableauMonitorFork.nominalIntorductionFinished(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
TableauMonitorAdapter.nominalIntorductionFinished(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
TableauMonitor.nominalIntorductionFinished(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
TableauMonitorForwarder.nominalIntorductionStarted(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
TableauMonitorFork.nominalIntorductionStarted(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
TableauMonitorAdapter.nominalIntorductionStarted(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
TableauMonitor.nominalIntorductionStarted(Node rootNode,
Node treeNode,
AnnotatedEquality annotatedEquality,
Node argument1,
Node argument2)
|
void |
TableauMonitorForwarder.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
|
void |
TableauMonitorFork.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
|
void |
TableauMonitorAdapter.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
|
void |
TableauMonitor.unknownDatatypeRestrictionDetectionFinished(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
|
void |
TableauMonitorForwarder.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
|
void |
TableauMonitorFork.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
|
void |
TableauMonitorAdapter.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
|
void |
TableauMonitor.unknownDatatypeRestrictionDetectionStarted(DataRange dataRange1,
Node node1,
DataRange dataRange2,
Node node2)
|
Uses of Node in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau declared as Node | |
---|---|
protected Node[] |
GroundDisjunction.m_arguments
|
protected Node |
Node.m_blocker
|
protected Node |
Tableau.m_firstFreeNode
|
protected Node |
Tableau.m_firstTableauNode
|
protected Node |
Tableau.m_lastMergedOrPrunedNode
|
protected Node |
BranchingPoint.m_lastMergedOrPrunedNode
|
protected Node |
Tableau.m_lastTableauNode
|
protected Node |
BranchingPoint.m_lastTableauNode
|
protected Node |
Node.m_mergedInto
|
protected Node |
Node.m_nextTableauNode
|
protected Node |
NominalIntroductionManager.NominalIntroductionBranchingPoint.m_niTargetNode
|
protected Node |
DatatypeManager.DVariable.m_node
|
protected Node |
NominalIntroductionManager.NominalIntroductionBranchingPoint.m_otherNode
|
protected Node |
Node.m_parent
|
protected Node |
Node.m_previousMergedOrPrunedNode
|
protected Node |
Node.m_previousTableauNode
|
protected Node |
NominalIntroductionManager.NominalIntroductionBranchingPoint.m_rootNode
|
static Node |
Node.SIGNATURE_CACHE_BLOCKER
|
Fields in org.semanticweb.HermiT.tableau with type parameters of type Node | |
---|---|
protected java.util.List<Node> |
ExistentialExpansionManager.m_auxiliaryNodes
|
protected java.util.List<Node> |
DescriptionGraphManager.m_newNodes
|
Methods in org.semanticweb.HermiT.tableau that return Node | |
---|---|
Node |
Tableau.createNewConcreteNode(DependencySet dependencySet,
Node parent)
Create a new concrete node for datatypes. |
Node |
Tableau.createNewGraphNode(Node parent,
DependencySet dependencySet)
Create a new node graph node for description graphs |
Node |
Tableau.createNewNamedNode(DependencySet dependencySet)
Create a new node that represents an individual named in the input ontology (thus, keys have to be applied to it) |
Node |
Tableau.createNewNINode(DependencySet dependencySet)
Create a new node that represents a nominal, but one that is not named in the input ontology (thus, keys are not applicable) |
protected Node |
Tableau.createNewNodeRaw(DependencySet dependencySet,
Node parent,
NodeType nodeType,
int treeDepth)
|
Node |
Tableau.createNewRootConstantNode(DependencySet dependencySet)
Create a new root constant node for datatypes. |
Node |
Tableau.createNewTreeNode(DependencySet dependencySet,
Node parent)
Create a new tree node. |
Node |
GroundDisjunction.getArgument(int disjunctIndex,
int argumentIndex)
|
Node |
Node.getBlocker()
|
Node |
Node.getCanonicalNode()
|
Node |
Node.getClusterAnchor()
|
Node |
Tableau.getFirstTableauNode()
|
Node |
Tableau.getLastTableauNode()
|
Node |
Node.getMergedInto()
|
Node |
Node.getNextTableauNode()
|
protected Node |
NominalIntroductionManager.getNIRootFor(DependencySet dependencySet,
Node rootNode,
AnnotatedEquality annotatedEquality,
int number)
|
Node |
DatatypeManager.DVariable.getNode()
|
Node |
Tableau.getNode(int nodeID)
|
protected Node |
Tableau.getNodeForTerm(java.util.Map<Term,Node> termsToNodes,
Term term,
DependencySet dependencySet)
|
Node |
Node.getParent()
|
Node |
Node.getPreviousTableauNode()
|
Methods in org.semanticweb.HermiT.tableau with parameters of type Node | |
---|---|
boolean |
NominalIntroductionManager.addAnnotatedEquality(AnnotatedEquality annotatedEquality,
Node node0,
Node node1,
Node node2,
DependencySet dependencySet)
|
boolean |
ExtensionManager.addAnnotatedEquality(AnnotatedEquality annotatedEquality,
Node node0,
Node node1,
Node node2,
DependencySet dependencySet)
|
boolean |
ExtensionManager.addAssertion(DLPredicate dlPredicate,
Node node,
DependencySet dependencySet,
boolean isCore)
|
boolean |
ExtensionManager.addAssertion(DLPredicate dlPredicate,
Node node0,
Node node1,
DependencySet dependencySet,
boolean isCore)
|
boolean |
ExtensionManager.addAssertion(DLPredicate dlPredicate,
Node node0,
Node node1,
Node node2,
DependencySet dependencySet,
boolean isCore)
|
boolean |
ExtensionManager.addConceptAssertion(Concept concept,
Node node,
DependencySet dependencySet,
boolean isCore)
|
boolean |
ExtensionManager.addDataRangeAssertion(DataRange dataRange,
Node node,
DependencySet dependencySet,
boolean isCore)
|
boolean |
ExtensionManager.addRoleAssertion(Role role,
Node nodeFrom,
Node nodeTo,
DependencySet dependencySet,
boolean isCore)
|
protected boolean |
NominalIntroductionManager.applyNIRule(AnnotatedEquality annotatedEquality,
Node node0,
Node node1,
Node node2,
DependencySet dependencySet)
|
boolean |
NominalIntroductionManager.canForgetAnnotation(AnnotatedEquality annotatedEquality,
Node node0,
Node node1,
Node node2)
|
boolean |
ExtensionManager.containsAnnotatedEquality(AnnotatedEquality annotatedEquality,
Node node0,
Node node1,
Node node2)
|
boolean |
ExtensionManager.containsAssertion(DLPredicate dlPredicate,
Node node)
|
boolean |
ExtensionManager.containsAssertion(DLPredicate dlPredicate,
Node node0,
Node node1)
|
boolean |
ExtensionManager.containsAssertion(DLPredicate dlPredicate,
Node node0,
Node node1,
Node node2)
|
boolean |
ExtensionManager.containsConceptAssertion(Concept concept,
Node node)
|
boolean |
ExtensionManager.containsDataRangeAssertion(DataRange range,
Node node)
|
boolean |
ExtensionManager.containsRoleAssertion(Role role,
Node nodeFrom,
Node nodeTo)
|
Node |
Tableau.createNewConcreteNode(DependencySet dependencySet,
Node parent)
Create a new concrete node for datatypes. |
Node |
Tableau.createNewGraphNode(Node parent,
DependencySet dependencySet)
Create a new node graph node for description graphs |
protected Node |
Tableau.createNewNodeRaw(DependencySet dependencySet,
Node parent,
NodeType nodeType,
int treeDepth)
|
Node |
Tableau.createNewTreeNode(DependencySet dependencySet,
Node parent)
Create a new tree node. |
void |
DescriptionGraphManager.destroyNode(Node node)
|
void |
ExistentialExpansionManager.doNormalExpansion(AtLeastConcept atLeastConcept,
Node forNode)
|
void |
ExistentialExpansionManager.doNormalExpansion(AtLeastDataRange atLeastDataRange,
Node forNode)
|
void |
ExistentialExpansionManager.expand(AtLeast atLeast,
Node forNode)
|
void |
DescriptionGraphManager.expand(ExistsDescriptionGraph existsDescriptionGraph,
Node forNode)
|
protected void |
DatatypeManager.generateInequalitiesFor(DataRange dataRange1,
Node node1,
DependencySet dependencySet1,
DataRange dataRange2)
|
protected DatatypeManager.DVariable |
DatatypeManager.getAndInitializeVariableFor(Node node,
boolean[] newVariableAdded)
|
DependencySet |
ExtensionManager.getAssertionDependencySet(DLPredicate dlPredicate,
Node node)
|
DependencySet |
ExtensionManager.getAssertionDependencySet(DLPredicate dlPredicate,
Node node0,
Node node1)
|
DependencySet |
ExtensionManager.getAssertionDependencySet(DLPredicate dlPredicate,
Node node0,
Node node1,
Node node2)
|
DependencySet |
ExtensionManager.getConceptAssertionDependencySet(Concept concept,
Node node)
|
DependencySet |
ExtensionManager.getDataRangeAssertionDependencySet(DataRange range,
Node node)
|
protected boolean |
ExistentialExpansionManager.getFunctionalExpansionNode(Role role,
Node forNode,
java.lang.Object[] result)
|
protected Node |
NominalIntroductionManager.getNIRootFor(DependencySet dependencySet,
Node rootNode,
AnnotatedEquality annotatedEquality,
int number)
|
DependencySet |
ExtensionManager.getRoleAssertionDependencySet(Role role,
Node nodeFrom,
Node nodeTo)
|
DatatypeManager.DVariable |
DatatypeManager.DConjunction.getVariableFor(Node node)
|
protected DatatypeManager.DVariable |
DatatypeManager.DConjunction.getVariableForEx(Node node,
boolean[] newVariableAdded)
|
protected void |
Node.initialize(int nodeID,
Node parent,
NodeType nodeType,
int treeDepth)
|
void |
DescriptionGraphManager.intializeNode(Node node)
|
boolean |
Node.isAncestorOf(Node potendialDescendant)
|
protected boolean |
MergingManager.isDescendantOfAtMostThreeLevels(Node descendant,
Node ancestor)
|
boolean |
Node.isParentOf(Node potentialChild)
|
boolean |
DescriptionGraphManager.isSatisfied(ExistsDescriptionGraph existsDescriptionGraph,
Node node)
|
void |
ExistentialExpansionManager.markExistentialProcessed(ExistentialConcept existentialConcept,
Node forNode)
|
void |
DescriptionGraphManager.mergeGraphs(Node mergeFrom,
Node mergeInto,
UnionDependencySet binaryUnionDependencySet)
|
void |
Tableau.mergeNode(Node node,
Node mergeInto,
DependencySet dependencySet)
Merges node into mergeInto. |
boolean |
MergingManager.mergeNodes(Node node0,
Node node1,
DependencySet dependencySet)
Merges the two given nodes and adjusts the dependency set as required. |
void |
Tableau.pruneNode(Node node)
|
void |
Node.setBlocked(Node blocker,
boolean directlyBlocked)
|
boolean |
ExistentialExpansionManager.tryFunctionalExpansion(AtLeast atLeast,
Node forNode)
Creates a new node in the tableau if the at least concept that caused the expansion is for cardinality 1. |
Method parameters in org.semanticweb.HermiT.tableau with type arguments of type Node | |
---|---|
protected Node |
Tableau.getNodeForTerm(java.util.Map<Term,Node> termsToNodes,
Term term,
DependencySet dependencySet)
|
boolean |
Tableau.isSatisfiable(boolean loadPermanentABox,
boolean loadAdditionalABox,
java.util.Set<Atom> perTestPositiveFactsNoDependency,
java.util.Set<Atom> perTestNegativeFactsNoDependency,
java.util.Set<Atom> perTestPositiveFactsDummyDependency,
java.util.Set<Atom> perTestNegativeFactsDummyDependency,
java.util.Map<Individual,Node> nodesForIndividuals,
ReasoningTaskDescription reasoningTaskDescription)
|
boolean |
Tableau.isSatisfiable(boolean loadAdditionalABox,
java.util.Set<Atom> perTestPositiveFactsNoDependency,
java.util.Set<Atom> perTestNegativeFactsNoDependency,
java.util.Set<Atom> perTestPositiveFactsDummyDependency,
java.util.Set<Atom> perTestNegativeFactsDummyDependency,
java.util.Map<Individual,Node> nodesForIndividuals,
ReasoningTaskDescription reasoningTaskDescription)
|
protected void |
Tableau.loadNegativeFact(java.util.Map<Term,Node> termsToNodes,
Atom atom,
DependencySet dependencySet)
|
protected void |
Tableau.loadPositiveFact(java.util.Map<Term,Node> termsToNodes,
Atom atom,
DependencySet dependencySet)
|
Constructors in org.semanticweb.HermiT.tableau with parameters of type Node | |
---|---|
GroundDisjunction(Tableau tableau,
GroundDisjunctionHeader groundDisjunctionHeader,
Node[] arguments,
boolean[] isCore,
DependencySet dependencySet)
|
|
NominalIntroductionManager.NominalIntroductionBranchingPoint(Tableau tableau,
Node rootNode,
Node niTargetNode,
Node otherNode,
AnnotatedEquality annotatedEquality)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |