|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ClassificationProgressMonitor | |
|---|---|
| org.semanticweb.HermiT | |
| org.semanticweb.HermiT.hierarchy | |
| Uses of ClassificationProgressMonitor in org.semanticweb.HermiT |
|---|
| Methods in org.semanticweb.HermiT with parameters of type ClassificationProgressMonitor | |
|---|---|
protected static Hierarchy<AtomicConcept> |
Reasoner.classifyAtomicConcepts(Tableau tableau,
ClassificationProgressMonitor progressMonitor,
AtomicConcept topElement,
AtomicConcept bottomElement,
java.util.Set<AtomicConcept> elements,
boolean forceQuasiOrder)
|
protected static Hierarchy<AtomicConcept> |
Reasoner.classifyAtomicConceptsForRoles(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,
boolean forceQuasiOrder)
|
| Uses of ClassificationProgressMonitor in org.semanticweb.HermiT.hierarchy |
|---|
| Fields in org.semanticweb.HermiT.hierarchy declared as ClassificationProgressMonitor | |
|---|---|
protected ClassificationProgressMonitor |
QuasiOrderClassification.m_progressMonitor
|
protected ClassificationProgressMonitor |
DeterministicClassification.m_progressMonitor
|
| Constructors in org.semanticweb.HermiT.hierarchy with parameters of type ClassificationProgressMonitor | |
|---|---|
DeterministicClassification(Tableau tableau,
ClassificationProgressMonitor progressMonitor,
AtomicConcept topElement,
AtomicConcept bottomElement,
java.util.Set<AtomicConcept> elements)
|
|
QuasiOrderClassification(Tableau tableau,
ClassificationProgressMonitor progressMonitor,
AtomicConcept topElement,
AtomicConcept bottomElement,
java.util.Set<AtomicConcept> elements)
|
|
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)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||