org.semanticweb.HermiT.hierarchy

Class DeterministicClassification

java.lang.Object

org.semanticweb.HermiT.hierarchy.DeterministicClassification

public class DeterministicClassification
extends Object

DeterministicClassification.

Constructor Summary

Constructors

Constructor and Description
DeterministicClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements)

Method Summary

Modifier and Type	Method and Description
static <T> Hierarchy<T>	buildHierarchy(T topElement, T bottomElement, Map<T,org.semanticweb.HermiT.hierarchy.DeterministicClassification.GraphNode<T>> graphNodes)
Hierarchy<AtomicConcept>	classify()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DeterministicClassification

public DeterministicClassification(Tableau tableau,
                                   ClassificationProgressMonitor progressMonitor,
                                   AtomicConcept topElement,
                                   AtomicConcept bottomElement,
                                   Set<AtomicConcept> elements)

Parameters:

tableau - tableau

progressMonitor - progressMonitor

topElement - topElement

bottomElement - bottomElement

elements - elements

Method Detail

classify

public Hierarchy<AtomicConcept> classify()

Returns:

hierarchy

buildHierarchy

public static <T> Hierarchy<T> buildHierarchy(T topElement,
                                              T bottomElement,
                                              Map<T,org.semanticweb.HermiT.hierarchy.DeterministicClassification.GraphNode<T>> graphNodes)

Type Parameters:

T - type

Parameters:

topElement - topElement

bottomElement - bottomElement

graphNodes - graphNodes

Returns:

hierarchy