org.semanticweb.HermiT.blocking
Class AncestorBlocking
java.lang.Object
org.semanticweb.HermiT.blocking.AncestorBlocking
- All Implemented Interfaces:
- java.io.Serializable, BlockingStrategy
public class AncestorBlocking
- extends java.lang.Object
- implements BlockingStrategy, java.io.Serializable
- See Also:
- Serialized Form
Method Summary |
void |
additionalDLOntologyCleared()
|
void |
additionalDLOntologySet(DLOntology additionalDLOntology)
|
void |
assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
assertionAdded(Concept concept,
Node node,
boolean isCore)
|
void |
assertionAdded(DataRange range,
Node node,
boolean isCore)
|
void |
assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
assertionCoreSet(Concept concept,
Node node)
|
void |
assertionCoreSet(DataRange range,
Node node)
|
void |
assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
assertionRemoved(Concept concept,
Node node,
boolean isCore)
|
void |
assertionRemoved(DataRange range,
Node node,
boolean isCore)
|
protected void |
checkParentBlocking(Node node)
|
void |
clear()
|
void |
computeBlocking(boolean finalChance)
|
boolean |
computeIsBlocked(Node node)
|
void |
dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
|
void |
initialize(Tableau tableau)
|
boolean |
isExact()
|
boolean |
isPermanentAssertion(Concept concept,
Node node)
|
boolean |
isPermanentAssertion(DataRange range,
Node node)
|
void |
modelFound()
|
void |
nodeDestroyed(Node node)
|
void |
nodeInitialized(Node node)
|
void |
nodesMerged(Node mergeFrom,
Node mergeInto)
|
void |
nodeStatusChanged(Node node)
|
void |
nodesUnmerged(Node mergeFrom,
Node mergeInto)
|
protected void |
updateBlockingSignatureCacheUsage()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_directBlockingChecker
protected final DirectBlockingChecker m_directBlockingChecker
m_blockingSignatureCache
protected final BlockingSignatureCache m_blockingSignatureCache
m_tableau
protected Tableau m_tableau
m_useBlockingSignatureCache
protected boolean m_useBlockingSignatureCache
AncestorBlocking
public AncestorBlocking(DirectBlockingChecker directBlockingChecker,
BlockingSignatureCache blockingSignatureCache)
initialize
public void initialize(Tableau tableau)
- Specified by:
initialize
in interface BlockingStrategy
additionalDLOntologySet
public void additionalDLOntologySet(DLOntology additionalDLOntology)
- Specified by:
additionalDLOntologySet
in interface BlockingStrategy
additionalDLOntologyCleared
public void additionalDLOntologyCleared()
- Specified by:
additionalDLOntologyCleared
in interface BlockingStrategy
updateBlockingSignatureCacheUsage
protected void updateBlockingSignatureCacheUsage()
clear
public void clear()
- Specified by:
clear
in interface BlockingStrategy
computeBlocking
public void computeBlocking(boolean finalChance)
- Specified by:
computeBlocking
in interface BlockingStrategy
computeIsBlocked
public boolean computeIsBlocked(Node node)
checkParentBlocking
protected final void checkParentBlocking(Node node)
isPermanentAssertion
public boolean isPermanentAssertion(Concept concept,
Node node)
- Specified by:
isPermanentAssertion
in interface BlockingStrategy
isPermanentAssertion
public boolean isPermanentAssertion(DataRange range,
Node node)
- Specified by:
isPermanentAssertion
in interface BlockingStrategy
assertionAdded
public void assertionAdded(Concept concept,
Node node,
boolean isCore)
- Specified by:
assertionAdded
in interface BlockingStrategy
assertionCoreSet
public void assertionCoreSet(Concept concept,
Node node)
- Specified by:
assertionCoreSet
in interface BlockingStrategy
assertionRemoved
public void assertionRemoved(Concept concept,
Node node,
boolean isCore)
- Specified by:
assertionRemoved
in interface BlockingStrategy
assertionAdded
public void assertionAdded(DataRange range,
Node node,
boolean isCore)
- Specified by:
assertionAdded
in interface BlockingStrategy
assertionCoreSet
public void assertionCoreSet(DataRange range,
Node node)
- Specified by:
assertionCoreSet
in interface BlockingStrategy
assertionRemoved
public void assertionRemoved(DataRange range,
Node node,
boolean isCore)
- Specified by:
assertionRemoved
in interface BlockingStrategy
assertionAdded
public void assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
- Specified by:
assertionAdded
in interface BlockingStrategy
assertionCoreSet
public void assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
- Specified by:
assertionCoreSet
in interface BlockingStrategy
assertionRemoved
public void assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
- Specified by:
assertionRemoved
in interface BlockingStrategy
nodesMerged
public void nodesMerged(Node mergeFrom,
Node mergeInto)
- Specified by:
nodesMerged
in interface BlockingStrategy
nodesUnmerged
public void nodesUnmerged(Node mergeFrom,
Node mergeInto)
- Specified by:
nodesUnmerged
in interface BlockingStrategy
nodeStatusChanged
public void nodeStatusChanged(Node node)
- Specified by:
nodeStatusChanged
in interface BlockingStrategy
nodeInitialized
public void nodeInitialized(Node node)
- Specified by:
nodeInitialized
in interface BlockingStrategy
nodeDestroyed
public void nodeDestroyed(Node node)
- Specified by:
nodeDestroyed
in interface BlockingStrategy
modelFound
public void modelFound()
- Specified by:
modelFound
in interface BlockingStrategy
isExact
public boolean isExact()
- Specified by:
isExact
in interface BlockingStrategy
dlClauseBodyCompiled
public void dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
- Specified by:
dlClauseBodyCompiled
in interface BlockingStrategy