org.semanticweb.HermiT.hierarchy

Class QuasiOrderClassificationForRoles

java.lang.Object

org.semanticweb.HermiT.hierarchy.QuasiOrderClassification

org.semanticweb.HermiT.hierarchy.QuasiOrderClassificationForRoles

public class QuasiOrderClassificationForRoles
extends QuasiOrderClassification

QuasiOrderClassificationForRoles.

Constructor Summary

Constructors

Constructor and Description
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements, boolean hasInverses, Map<Role,AtomicConcept> conceptsForRoles, Map<AtomicConcept,Role> rolesForConcepts)

Method Summary

Methods inherited from class org.semanticweb.HermiT.hierarchy.QuasiOrderClassification

classify

Methods inherited from class java.lang.Object

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

Constructor Detail

QuasiOrderClassificationForRoles

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

Parameters:

tableau - tableau

progressMonitor - progressMonitor

topElement - topElement

bottomElement - bottomElement

elements - elements

hasInverses - hasInverses

conceptsForRoles - conceptsForRoles

rolesForConcepts - rolesForConcepts