|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Hierarchy | |
---|---|
org.semanticweb.HermiT | |
org.semanticweb.HermiT.hierarchy |
Uses of Hierarchy in org.semanticweb.HermiT |
---|
Fields in org.semanticweb.HermiT declared as Hierarchy | |
---|---|
protected Hierarchy<AtomicConcept> |
Reasoner.m_atomicConceptHierarchy
|
protected Hierarchy<AtomicRole> |
Reasoner.m_dataRoleHierarchy
|
protected Hierarchy<Role> |
Reasoner.m_objectRoleHierarchy
|
Methods in org.semanticweb.HermiT that return Hierarchy | |
---|---|
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 Hierarchy in org.semanticweb.HermiT.hierarchy |
---|
Fields in org.semanticweb.HermiT.hierarchy declared as Hierarchy | |
---|---|
protected Hierarchy<AtomicConcept> |
InstanceManager.m_currentConceptHierarchy
|
protected Hierarchy<RoleElementManager.RoleElement> |
InstanceManager.m_currentRoleHierarchy
|
protected Hierarchy<Role> |
HierarchyPrinterFSS.RolePrinter.m_hierarchy
|
Methods in org.semanticweb.HermiT.hierarchy that return Hierarchy | ||
---|---|---|
protected Hierarchy<AtomicConcept> |
QuasiOrderClassification.buildHierarchy(HierarchySearch.Relation<AtomicConcept> hierarchyRelation)
|
|
static
|
DeterministicClassification.buildHierarchy(T topElement,
T bottomElement,
java.util.Map<T,DeterministicClassification.GraphNode<T>> graphNodes)
|
|
protected Hierarchy<AtomicConcept> |
QuasiOrderClassification.buildHierarchyOfUnknownPossible(java.util.Set<AtomicConcept> unknownSubsumers)
|
|
protected Hierarchy<AtomicConcept> |
InstanceManager.buildTransitivelyReducedConceptHierarchy(Graph<AtomicConcept> knownSubsumptions)
|
|
protected Hierarchy<AtomicConcept> |
QuasiOrderClassification.buildTransitivelyReducedHierarchy(Graph<AtomicConcept> knownSubsumptions,
java.util.Set<AtomicConcept> elements)
|
|
protected Hierarchy<RoleElementManager.RoleElement> |
InstanceManager.buildTransitivelyReducedRoleHierarchy(Graph<Role> knownSubsumptions)
|
|
Hierarchy<AtomicConcept> |
QuasiOrderClassification.classify()
|
|
Hierarchy<AtomicConcept> |
DeterministicClassification.classify()
|
|
static
|
Hierarchy.emptyHierarchy(java.util.Collection<T> elements,
T topElement,
T bottomElement)
|
|
protected Hierarchy<Role> |
InstanceManager.removeInverses(Hierarchy<Role> hierarchy)
|
|
|
Hierarchy.transform(Hierarchy.Transformer<? super E,T> transformer,
java.util.Comparator<T> comparator)
|
|
Hierarchy<RoleElementManager.RoleElement> |
InstanceManager.transformRoleHierarchy(Hierarchy<Role> roleHierarchy)
Removes the inverses from the given hierarchy and then converts Role hierarchy nodes to RoleElement hierarchy nodes, which can store known and possible instances. |
Methods in org.semanticweb.HermiT.hierarchy with parameters of type Hierarchy | ||
---|---|---|
void |
HierarchyPrinterFSS.printAtomicConceptHierarchy(Hierarchy<AtomicConcept> atomicConceptHierarchy)
|
|
void |
HierarchyDumperFSS.printAtomicConceptHierarchy(Hierarchy<AtomicConcept> atomicConceptHierarchy)
|
|
void |
HierarchyDumperFSS.printDataPropertyHierarchy(Hierarchy<AtomicRole> dataRoleHierarchy)
|
|
void |
HierarchyDumperFSS.printObjectPropertyHierarchy(Hierarchy<Role> objectRoleHierarchy)
|
|
void |
HierarchyPrinterFSS.printRoleHierarchy(Hierarchy<? extends Role> roleHierarchy,
boolean objectProperties)
|
|
protected Hierarchy<Role> |
InstanceManager.removeInverses(Hierarchy<Role> hierarchy)
|
|
void |
InstanceManager.setToClassifiedConceptHierarchy(Hierarchy<AtomicConcept> atomicConceptHierarchy)
|
|
void |
InstanceManager.setToClassifiedRoleHierarchy(Hierarchy<Role> roleHierarchy)
|
|
Hierarchy<RoleElementManager.RoleElement> |
InstanceManager.transformRoleHierarchy(Hierarchy<Role> roleHierarchy)
Removes the inverses from the given hierarchy and then converts Role hierarchy nodes to RoleElement hierarchy nodes, which can store known and possible instances. |
|
protected static
|
DeterministicClassification.visit(java.util.Stack<DeterministicClassification.GraphNode<T>> stack,
DeterministicClassification.DFSIndex dfsIndex,
java.util.Map<T,DeterministicClassification.GraphNode<T>> graphNodes,
DeterministicClassification.GraphNode<T> graphNode,
Hierarchy<T> hierarchy,
java.util.List<HierarchyNode<T>> topologicalOrder)
|
Constructors in org.semanticweb.HermiT.hierarchy with parameters of type Hierarchy | |
---|---|
HierarchyPrinterFSS.RolePrinter(Hierarchy<Role> hierarchy,
boolean objectProperties)
|
|
InstanceManager(InterruptFlag interruptFlag,
Reasoner reasoner,
Tableau tableau,
Hierarchy<AtomicConcept> atomicConceptHierarchy,
Hierarchy<Role> objectRoleHierarchy)
|
|
InstanceManager(InterruptFlag interruptFlag,
Reasoner reasoner,
Tableau tableau,
Hierarchy<AtomicConcept> atomicConceptHierarchy,
Hierarchy<Role> objectRoleHierarchy)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |