org.semanticweb.more.hermit
Class QuasiOrderClassificationForMORe

java.lang.Object
  extended by org.semanticweb.HermiT.hierarchy.QuasiOrderClassification
      extended by org.semanticweb.more.hermit.QuasiOrderClassificationForMORe

public class QuasiOrderClassificationForMORe
extends org.semanticweb.HermiT.hierarchy.QuasiOrderClassification


Field Summary
 
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
QuasiOrderClassificationForMORe(org.semanticweb.HermiT.tableau.Tableau tableau, org.semanticweb.HermiT.hierarchy.ClassificationProgressMonitor progressMonitor, org.semanticweb.HermiT.model.AtomicConcept topElement, org.semanticweb.HermiT.model.AtomicConcept bottomElement, Set<org.semanticweb.HermiT.model.AtomicConcept> elements, org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> possibleSubsumptions, org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> knownSubsumtions)
           
 
Method Summary
protected  org.semanticweb.HermiT.hierarchy.Hierarchy<org.semanticweb.HermiT.model.AtomicConcept> buildHierarchy(org.semanticweb.HermiT.hierarchy.HierarchySearch.Relation<org.semanticweb.HermiT.model.AtomicConcept> hierarchyRelation)
           
protected  double updateSubsumptionsUsingLeafNodeStrategy(double totalNumberOfTasks)
           
 
Methods inherited from class org.semanticweb.HermiT.hierarchy.QuasiOrderClassification
addKnownSubsumption, addKnownSubsumptions, addPossibleSubsumption, buildHierarchyOfUnknownPossible, buildModelForConcept, buildTransitivelyReducedHierarchy, checkUnknownSubsumersUsingEnhancedTraversal, classify, getAllKnownSubsumers, getSatTestDescription, getSubsumedByListTestDescription, getSubsumptionTestDescription, initialiseKnownSubsumptionsUsingToldSubsumers, initialiseKnownSubsumptionsUsingToldSubsumers, isEveryPossibleSubsumerNonSubsumer, isUnsatisfiable, makeConceptUnsatisfiable, prunePossibleSubsumers, prunePossibleSubsumersOfConcept, readKnownSubsumersFromRootNode, readPossibleSubsumersFromNodeLabel, updatePossibleSubsumers
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

QuasiOrderClassificationForMORe

public QuasiOrderClassificationForMORe(org.semanticweb.HermiT.tableau.Tableau tableau,
                                       org.semanticweb.HermiT.hierarchy.ClassificationProgressMonitor progressMonitor,
                                       org.semanticweb.HermiT.model.AtomicConcept topElement,
                                       org.semanticweb.HermiT.model.AtomicConcept bottomElement,
                                       Set<org.semanticweb.HermiT.model.AtomicConcept> elements,
                                       org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> possibleSubsumptions,
                                       org.semanticweb.HermiT.graph.Graph<org.semanticweb.HermiT.model.AtomicConcept> knownSubsumtions)
Method Detail

updateSubsumptionsUsingLeafNodeStrategy

protected double updateSubsumptionsUsingLeafNodeStrategy(double totalNumberOfTasks)
Overrides:
updateSubsumptionsUsingLeafNodeStrategy in class org.semanticweb.HermiT.hierarchy.QuasiOrderClassification

buildHierarchy

protected org.semanticweb.HermiT.hierarchy.Hierarchy<org.semanticweb.HermiT.model.AtomicConcept> buildHierarchy(org.semanticweb.HermiT.hierarchy.HierarchySearch.Relation<org.semanticweb.HermiT.model.AtomicConcept> hierarchyRelation)
Overrides:
buildHierarchy in class org.semanticweb.HermiT.hierarchy.QuasiOrderClassification


Copyright © 2013. All Rights Reserved.