org.semanticweb.HermiT.blocking
Class AnywhereValidatedBlocking
java.lang.Object
org.semanticweb.HermiT.blocking.AnywhereValidatedBlocking
- All Implemented Interfaces:
- BlockingStrategy
public class AnywhereValidatedBlocking
- extends java.lang.Object
- implements BlockingStrategy
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)
|
void |
clear()
|
void |
computeBlocking(boolean finalChance)
|
void |
computePreBlocking()
|
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)
|
protected boolean |
isBlockValid(Node node)
|
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 |
updateAdditionalBlockingValidator()
|
protected void |
updateNodeChange(Node node)
|
void |
validateBlocks()
|
protected void |
validationInfoChanged(Node node)
|
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_currentBlockersCache
protected final org.semanticweb.HermiT.blocking.ValidatedBlockersCache m_currentBlockersCache
m_permanentBlockingValidator
protected BlockingValidator m_permanentBlockingValidator
m_additionalBlockingValidator
protected BlockingValidator m_additionalBlockingValidator
m_tableau
protected Tableau m_tableau
m_extensionManager
protected ExtensionManager m_extensionManager
m_firstChangedNode
protected Node m_firstChangedNode
m_lastValidatedUnchangedNode
protected Node m_lastValidatedUnchangedNode
m_useSimpleCore
protected boolean m_useSimpleCore
m_hasInverses
protected final boolean m_hasInverses
AnywhereValidatedBlocking
public AnywhereValidatedBlocking(DirectBlockingChecker directBlockingChecker,
boolean hasInverses,
boolean useSimpleCore)
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
updateAdditionalBlockingValidator
protected void updateAdditionalBlockingValidator()
clear
public void clear()
- Specified by:
clear
in interface BlockingStrategy
computeBlocking
public void computeBlocking(boolean finalChance)
- Specified by:
computeBlocking
in interface BlockingStrategy
computePreBlocking
public void computePreBlocking()
validateBlocks
public void validateBlocks()
isBlockValid
protected boolean isBlockValid(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
validationInfoChanged
protected void validationInfoChanged(Node node)
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
updateNodeChange
protected final void updateNodeChange(Node node)
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