|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.HermiT.hierarchy.QuasiOrderClassification
org.semanticweb.more.hermit.QuasiOrderClassificationForMORe
public class QuasiOrderClassificationForMORe
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 |
---|
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 |
---|
protected double updateSubsumptionsUsingLeafNodeStrategy(double totalNumberOfTasks)
updateSubsumptionsUsingLeafNodeStrategy
in class org.semanticweb.HermiT.hierarchy.QuasiOrderClassification
protected org.semanticweb.HermiT.hierarchy.Hierarchy<org.semanticweb.HermiT.model.AtomicConcept> buildHierarchy(org.semanticweb.HermiT.hierarchy.HierarchySearch.Relation<org.semanticweb.HermiT.model.AtomicConcept> hierarchyRelation)
buildHierarchy
in class org.semanticweb.HermiT.hierarchy.QuasiOrderClassification
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |