org.semanticweb.HermiT.tableau
Class DatatypeManager

java.lang.Object
  extended by 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

Nested Class Summary
static class DatatypeManager.DConjunction
           
static class DatatypeManager.DVariable
           
protected static class DatatypeManager.SmallestEnumerationFirst
           
 
Field Summary
protected  ExtensionTable.Retrieval m_assertions0Retrieval
           
protected  ExtensionTable.Retrieval m_assertions1Retrieval
           
protected  ExtensionTable.Retrieval m_assertionsDeltaOldRetrieval
           
protected  java.util.List<DatatypeManager.DVariable> m_auxiliaryVariableList
           
protected  DatatypeManager.DConjunction m_conjunction
           
protected  ExtensionManager m_extensionManager
           
protected  ExtensionTable.Retrieval m_inequality01Retrieval
           
protected  ExtensionTable.Retrieval m_inequality02Retrieval
           
protected  ExtensionTable.Retrieval m_inequalityDeltaOldRetrieval
           
protected  InterruptFlag m_interruptFlag
           
protected  boolean[] m_newVariableAdded
           
protected  TableauMonitor m_tableauMonitor
           
protected  UnionDependencySet m_unionDependencySet
           
protected  java.util.Set<DatatypeRestriction> m_unknownDatatypeRestrictionsAdditional
           
protected  java.util.Set<DatatypeRestriction> m_unknownDatatypeRestrictionsPermanent
           
 
Constructor Summary
DatatypeManager(Tableau tableau)
           
 
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
 

Field Detail

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
Constructor Detail

DatatypeManager

public DatatypeManager(Tableau tableau)
Method Detail

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)