org.semanticweb.HermiT.tableau
Class DatatypeManager
java.lang.Object
org.semanticweb.HermiT.tableau.DatatypeManager
- All Implemented Interfaces:
- java.io.Serializable
public final class DatatypeManager
- extends java.lang.Object
- implements java.io.Serializable
- See Also:
- Serialized Form
Method Summary |
protected void |
addDataRange(DatatypeManager.DVariable variable,
DataRange dataRange)
|
void |
additionalDLOntologyCleared()
|
void |
additionalDLOntologySet(DLOntology additionalDLOntology)
|
void |
applyUnknownDatatypeRestrictionSemantics()
|
protected void |
checkAssignments()
|
protected void |
checkConjunctionSatisfiability()
|
void |
checkDatatypeConstraints()
|
void |
clear()
|
protected boolean |
containsDataValue(ConstantEnumeration constantEnumeration,
java.lang.Object dataValue)
|
protected void |
eliminateDataValuesUsingValueSpaceSubset(ValueSpaceSubset valueSpaceSubset,
java.util.List<java.lang.Object> explicitDataValues,
boolean eliminateWhenValue)
|
protected void |
eliminateTrivialInequalities()
|
protected void |
eliminateTriviallySatisfiableNodes()
|
protected void |
enumerateValueSpaceSubsets()
|
protected boolean |
findAssignment(int nodeIndex)
|
protected void |
generateInequalitiesFor(DataRange dataRange1,
Node node1,
DependencySet dependencySet1,
DataRange dataRange2)
|
protected DatatypeManager.DVariable |
getAndInitializeVariableFor(Node node,
boolean[] newVariableAdded)
|
protected static int |
getIndexFor(int hashCode,
int tableLength)
|
protected void |
loadAssertionDependencySets(DatatypeManager.DVariable variable)
|
protected void |
loadConjunctionFrom(DatatypeManager.DVariable startVariable)
|
protected void |
normalize(DatatypeManager.DVariable variable)
|
protected void |
normalizeAsEnumeration(DatatypeManager.DVariable variable)
|
protected void |
normalizeAsValueSpaceSubset(DatatypeManager.DVariable variable)
|
protected boolean |
satisfiesNeighbors(DatatypeManager.DVariable variable,
java.lang.Object dataValue)
|
protected void |
setClashFor(DatatypeManager.DVariable variable)
|
protected void |
setClashFor(java.util.List<DatatypeManager.DVariable> variables)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_interruptFlag
protected final InterruptFlag m_interruptFlag
m_tableauMonitor
protected final TableauMonitor m_tableauMonitor
m_extensionManager
protected final ExtensionManager m_extensionManager
m_assertionsDeltaOldRetrieval
protected final ExtensionTable.Retrieval m_assertionsDeltaOldRetrieval
m_inequalityDeltaOldRetrieval
protected final ExtensionTable.Retrieval m_inequalityDeltaOldRetrieval
m_inequality01Retrieval
protected final ExtensionTable.Retrieval m_inequality01Retrieval
m_inequality02Retrieval
protected final ExtensionTable.Retrieval m_inequality02Retrieval
m_assertions0Retrieval
protected final ExtensionTable.Retrieval m_assertions0Retrieval
m_assertions1Retrieval
protected final ExtensionTable.Retrieval m_assertions1Retrieval
m_conjunction
protected final DatatypeManager.DConjunction m_conjunction
m_auxiliaryVariableList
protected final java.util.List<DatatypeManager.DVariable> m_auxiliaryVariableList
m_unionDependencySet
protected final UnionDependencySet m_unionDependencySet
m_newVariableAdded
protected final boolean[] m_newVariableAdded
m_unknownDatatypeRestrictionsPermanent
protected final java.util.Set<DatatypeRestriction> m_unknownDatatypeRestrictionsPermanent
m_unknownDatatypeRestrictionsAdditional
protected java.util.Set<DatatypeRestriction> m_unknownDatatypeRestrictionsAdditional
DatatypeManager
public DatatypeManager(Tableau tableau)
additionalDLOntologySet
public void additionalDLOntologySet(DLOntology additionalDLOntology)
additionalDLOntologyCleared
public void additionalDLOntologyCleared()
clear
public void clear()
applyUnknownDatatypeRestrictionSemantics
public void applyUnknownDatatypeRestrictionSemantics()
generateInequalitiesFor
protected void generateInequalitiesFor(DataRange dataRange1,
Node node1,
DependencySet dependencySet1,
DataRange dataRange2)
checkDatatypeConstraints
public void checkDatatypeConstraints()
loadConjunctionFrom
protected void loadConjunctionFrom(DatatypeManager.DVariable startVariable)
getAndInitializeVariableFor
protected DatatypeManager.DVariable getAndInitializeVariableFor(Node node,
boolean[] newVariableAdded)
addDataRange
protected void addDataRange(DatatypeManager.DVariable variable,
DataRange dataRange)
checkConjunctionSatisfiability
protected void checkConjunctionSatisfiability()
normalize
protected void normalize(DatatypeManager.DVariable variable)
normalizeAsEnumeration
protected void normalizeAsEnumeration(DatatypeManager.DVariable variable)
containsDataValue
protected boolean containsDataValue(ConstantEnumeration constantEnumeration,
java.lang.Object dataValue)
eliminateDataValuesUsingValueSpaceSubset
protected void eliminateDataValuesUsingValueSpaceSubset(ValueSpaceSubset valueSpaceSubset,
java.util.List<java.lang.Object> explicitDataValues,
boolean eliminateWhenValue)
normalizeAsValueSpaceSubset
protected void normalizeAsValueSpaceSubset(DatatypeManager.DVariable variable)
eliminateTrivialInequalities
protected void eliminateTrivialInequalities()
eliminateTriviallySatisfiableNodes
protected void eliminateTriviallySatisfiableNodes()
enumerateValueSpaceSubsets
protected void enumerateValueSpaceSubsets()
checkAssignments
protected void checkAssignments()
findAssignment
protected boolean findAssignment(int nodeIndex)
satisfiesNeighbors
protected boolean satisfiesNeighbors(DatatypeManager.DVariable variable,
java.lang.Object dataValue)
setClashFor
protected void setClashFor(DatatypeManager.DVariable variable)
setClashFor
protected void setClashFor(java.util.List<DatatypeManager.DVariable> variables)
loadAssertionDependencySets
protected void loadAssertionDependencySets(DatatypeManager.DVariable variable)
getIndexFor
protected static int getIndexFor(int hashCode,
int tableLength)