org.semanticweb.HermiT.hierarchy
Class QuasiOrderClassificationForRoles

java.lang.Object
  extended by org.semanticweb.HermiT.hierarchy.QuasiOrderClassification
      extended by org.semanticweb.HermiT.hierarchy.QuasiOrderClassificationForRoles

public class QuasiOrderClassificationForRoles
extends QuasiOrderClassification


Field Summary
protected  java.util.Map<Role,AtomicConcept> m_conceptsForRoles
           
protected  boolean m_hasInverses
           
protected  java.util.Map<AtomicConcept,Role> m_rolesForConcepts
           
 
Fields inherited from class org.semanticweb.HermiT.hierarchy.QuasiOrderClassification
m_bottomElement, m_elements, m_knownSubsumptions, m_possibleSubsumptions, m_progressMonitor, m_tableau, m_topElement
 
Constructor Summary
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean hasInverses, java.util.Map<Role,AtomicConcept> conceptsForRoles, java.util.Map<AtomicConcept,Role> rolesForConcepts)
           
 
Method Summary
protected  void addKnownSubsumption(AtomicConcept subConcept, AtomicConcept superConcept)
           
protected  void addPossibleSubsumption(AtomicConcept subConcept, AtomicConcept superConcept)
           
protected  ReasoningTaskDescription getSatTestDescription(AtomicConcept atomicConcept)
           
protected  ReasoningTaskDescription getSubsumedByListTestDescription(AtomicConcept subConcept, java.lang.Object[] superconcepts)
           
protected  ReasoningTaskDescription getSubsumptionTestDescription(AtomicConcept subConcept, AtomicConcept superConcept)
           
protected  void initialiseKnownSubsumptionsUsingToldSubsumers(java.util.Set<DLClause> dlClauses)
           
 
Methods inherited from class org.semanticweb.HermiT.hierarchy.QuasiOrderClassification
addKnownSubsumptions, buildHierarchy, buildHierarchyOfUnknownPossible, buildModelForConcept, buildTransitivelyReducedHierarchy, checkUnknownSubsumersUsingEnhancedTraversal, classify, getAllKnownSubsumers, initialiseKnownSubsumptionsUsingToldSubsumers, isEveryPossibleSubsumerNonSubsumer, isUnsatisfiable, makeConceptUnsatisfiable, prunePossibleSubsumers, prunePossibleSubsumersOfConcept, readKnownSubsumersFromRootNode, readPossibleSubsumersFromNodeLabel, updatePossibleSubsumers, updateSubsumptionsUsingLeafNodeStrategy
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_hasInverses

protected final boolean m_hasInverses

m_conceptsForRoles

protected final java.util.Map<Role,AtomicConcept> m_conceptsForRoles

m_rolesForConcepts

protected final java.util.Map<AtomicConcept,Role> m_rolesForConcepts
Constructor Detail

QuasiOrderClassificationForRoles

public QuasiOrderClassificationForRoles(Tableau tableau,
                                        ClassificationProgressMonitor progressMonitor,
                                        AtomicConcept topElement,
                                        AtomicConcept bottomElement,
                                        java.util.Set<AtomicConcept> elements,
                                        boolean hasInverses,
                                        java.util.Map<Role,AtomicConcept> conceptsForRoles,
                                        java.util.Map<AtomicConcept,Role> rolesForConcepts)
Method Detail

initialiseKnownSubsumptionsUsingToldSubsumers

protected void initialiseKnownSubsumptionsUsingToldSubsumers(java.util.Set<DLClause> dlClauses)
Overrides:
initialiseKnownSubsumptionsUsingToldSubsumers in class QuasiOrderClassification

addKnownSubsumption

protected void addKnownSubsumption(AtomicConcept subConcept,
                                   AtomicConcept superConcept)
Overrides:
addKnownSubsumption in class QuasiOrderClassification

addPossibleSubsumption

protected void addPossibleSubsumption(AtomicConcept subConcept,
                                      AtomicConcept superConcept)
Overrides:
addPossibleSubsumption in class QuasiOrderClassification

getSatTestDescription

protected ReasoningTaskDescription getSatTestDescription(AtomicConcept atomicConcept)
Overrides:
getSatTestDescription in class QuasiOrderClassification

getSubsumptionTestDescription

protected ReasoningTaskDescription getSubsumptionTestDescription(AtomicConcept subConcept,
                                                                 AtomicConcept superConcept)
Overrides:
getSubsumptionTestDescription in class QuasiOrderClassification

getSubsumedByListTestDescription

protected ReasoningTaskDescription getSubsumedByListTestDescription(AtomicConcept subConcept,
                                                                    java.lang.Object[] superconcepts)
Overrides:
getSubsumedByListTestDescription in class QuasiOrderClassification