org.dllearner.core.owl

Class AbstractHierarchy<T extends org.semanticweb.owlapi.model.OWLObject>

java.lang.Object

org.dllearner.core.owl.AbstractHierarchy<T>

All Implemented Interfaces:

Hierarchy<T>

Direct Known Subclasses:

ClassHierarchy, DatatypePropertyHierarchy, ObjectPropertyHierarchy

public abstract class AbstractHierarchy<T extends org.semanticweb.owlapi.model.OWLObject>
extends Object
implements Hierarchy<T>

Author:

Lorenz Buehmann

Constructor Summary

Constructors

Constructor and Description
AbstractHierarchy(SortedMap<T,SortedSet<T>> hierarchyUp, SortedMap<T,SortedSet<T>> hierarchyDown)

Method Summary

Modifier and Type	Method and Description
AbstractHierarchy<T>	cloneAndRestrict(Set<? extends T> allowedEntities) The method computes a new subsumption hierarchy, which is a copy of this one, but only the specified entities are allowed to occur.
boolean	contains(T entity) Checks whether the entity is contained in the hierarchy.
abstract T	getBottomConcept()
SortedSet<T>	getChildren(T entity)
SortedSet<T>	getChildren(T entity, boolean direct)
Set<T>	getEntities()
SortedMap<T,SortedSet<T>>	getHierarchyDown()
SortedMap<T,SortedSet<T>>	getHierarchyUp()
SortedSet<T>	getMostGeneralEntities()
SortedSet<T>	getMostSpecialEntities()
SortedSet<T>	getParents(T entity)
SortedSet<T>	getParents(T entity, boolean direct)
SortedSet<T>	getRoots()
SortedSet<T>	getSiblings(T entity)
abstract T	getTopConcept()
boolean	isChildOf(T entity1, T entity2)
boolean	isParentOf(T entity1, T entity2)
void	precompute()
void	setHierarchyDown(SortedMap<T,SortedSet<T>> hierarchyDown)
void	setHierarchyUp(SortedMap<T,SortedSet<T>> hierarchyUp)
void	thinOutSubsumptionHierarchy() This method modifies the subsumption hierarchy such that for each class, there is only a single path to reach it via upward and downward refinement respectively.
String	toString()
String	toString(boolean showUpwardHierarchy)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractHierarchy

public AbstractHierarchy(SortedMap<T,SortedSet<T>> hierarchyUp,
                         SortedMap<T,SortedSet<T>> hierarchyDown)

Method Detail

getChildren

public SortedSet<T> getChildren(T entity)

Specified by:

getChildren in interface Hierarchy<T extends org.semanticweb.owlapi.model.OWLObject>

getEntities

public Set<T> getEntities()

Returns:

all entities in this hierarchy

getChildren

public SortedSet<T> getChildren(T entity,
                                boolean direct)

Specified by:

getChildren in interface Hierarchy<T extends org.semanticweb.owlapi.model.OWLObject>

getParents

public SortedSet<T> getParents(T entity)

Specified by:

getParents in interface Hierarchy<T extends org.semanticweb.owlapi.model.OWLObject>

getParents

public SortedSet<T> getParents(T entity,
                               boolean direct)

Specified by:

getParents in interface Hierarchy<T extends org.semanticweb.owlapi.model.OWLObject>

getSiblings

public SortedSet<T> getSiblings(T entity)

Specified by:

getSiblings in interface Hierarchy<T extends org.semanticweb.owlapi.model.OWLObject>

isChildOf

public boolean isChildOf(T entity1,
                         T entity2)

Specified by:

isChildOf in interface Hierarchy<T extends org.semanticweb.owlapi.model.OWLObject>

isParentOf

public boolean isParentOf(T entity1,
                          T entity2)

Specified by:

isParentOf in interface Hierarchy<T extends org.semanticweb.owlapi.model.OWLObject>

getRoots

public SortedSet<T> getRoots()

Specified by:

getRoots in interface Hierarchy<T extends org.semanticweb.owlapi.model.OWLObject>

getMostGeneralEntities

public SortedSet<T> getMostGeneralEntities()

Returns:

The most general entites.

getMostSpecialEntities

public SortedSet<T> getMostSpecialEntities()

Returns:

The most special roles.

contains

public boolean contains(T entity)

Description copied from interface: Hierarchy

Checks whether the entity is contained in the hierarchy.

Specified by:

contains in interface Hierarchy<T extends org.semanticweb.owlapi.model.OWLObject>

Parameters:

entity - the entity

Returns:

whether the entity is contained in the hierarchy or not

thinOutSubsumptionHierarchy

public void thinOutSubsumptionHierarchy()

This method modifies the subsumption hierarchy such that for each class, there is only a single path to reach it via upward and downward refinement respectively.

cloneAndRestrict

public AbstractHierarchy<T> cloneAndRestrict(Set<? extends T> allowedEntities)

The method computes a new subsumption hierarchy, which is a copy of this one, but only the specified entities are allowed to occur. For instance, if we have subclass relationships between 1sYearStudent, Student, and Person, but Student is not allowed, then there a is a subclass relationship between 1stYearStudent and Person. Currently, owl:Thing and owl:Nothing are always allowed for technical reasons.

Parameters:

allowedEntities - The entities, which are allowed to occur in the new subsumption hierarchy.

Returns:

A copy of this hierarchy, which is restricted to a certain set of entities.

setHierarchyUp

public void setHierarchyUp(SortedMap<T,SortedSet<T>> hierarchyUp)

Parameters:

hierarchyUp - the hierarchyUp to set

getHierarchyUp

public SortedMap<T,SortedSet<T>> getHierarchyUp()

Returns:

the hierarchyUp

setHierarchyDown

public void setHierarchyDown(SortedMap<T,SortedSet<T>> hierarchyDown)

Parameters:

hierarchyDown - the hierarchyDown to set

getHierarchyDown

public SortedMap<T,SortedSet<T>> getHierarchyDown()

Returns:

the hierarchyDown

precompute

public void precompute()

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(boolean showUpwardHierarchy)

getTopConcept

public abstract T getTopConcept()

getBottomConcept

public abstract T getBottomConcept()