org.dllearner.core.owl

Class LazyClassHierarchy

java.lang.Object

org.dllearner.core.owl.AbstractHierarchy<org.semanticweb.owlapi.model.OWLClassExpression>

org.dllearner.core.owl.ClassHierarchy

org.dllearner.core.owl.LazyClassHierarchy

All Implemented Interfaces:

Hierarchy<org.semanticweb.owlapi.model.OWLClassExpression>

public class LazyClassHierarchy
extends ClassHierarchy

Represents a class subsumption hierarchy (ignoring equivalent concepts).

Author:

Jens Lehmann

Field Summary

Fields

Modifier and Type	Field and Description
static org.slf4j.Logger	logger

Constructor Summary

Constructors

Constructor and Description
LazyClassHierarchy(AbstractReasonerComponent rc)

Method Summary

Modifier and Type	Method and Description
LazyClassHierarchy	clone()
AbstractHierarchy<org.semanticweb.owlapi.model.OWLClassExpression>	cloneAndRestrict(Set<? extends org.semanticweb.owlapi.model.OWLClassExpression> allowedEntities) The method computes a new subsumption hierarchy, which is a copy of this one, but only the specified entities are allowed to occur.
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression>	getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression concept, boolean direct) Returns the all subclasses.
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression>	getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression concept, boolean direct) Returns the all superclasses for the given class.
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.

Methods inherited from class org.dllearner.core.owl.ClassHierarchy

getBottomConcept, getDepth2Root, getMostGeneralClasses, getSiblingClasses, getSubClasses, getSuperClasses, getTopConcept, isSubclassOf, isSubclassOf, toOWLAxioms, toOWLAxioms

Methods inherited from class org.dllearner.core.owl.AbstractHierarchy

contains, getChildren, getChildren, getEntities, getHierarchyDown, getHierarchyUp, getMostGeneralEntities, getMostSpecialEntities, getParents, getParents, getRoots, getSiblings, isChildOf, isParentOf, precompute, setHierarchyDown, setHierarchyUp, toString, toString

Methods inherited from class java.lang.Object

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

Field Detail

logger

public static org.slf4j.Logger logger

Constructor Detail

LazyClassHierarchy

public LazyClassHierarchy(AbstractReasonerComponent rc)

Method Detail

getSuperClasses

public SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression concept,
                                                                                  boolean direct)

Description copied from class: ClassHierarchy

Returns the all superclasses for the given class.

Overrides:

getSuperClasses in class ClassHierarchy

Parameters:

concept - the class

direct - whether to return only direct superclasses or not

Returns:

all superclasses

getSubClasses

public SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression concept,
                                                                                boolean direct)

Description copied from class: ClassHierarchy

Returns the all subclasses.

Overrides:

getSubClasses in class ClassHierarchy

Parameters:

concept - the class

direct - whether to return only direct subclasses or not

Returns:

all subclasses

clone

public LazyClassHierarchy clone()

Overrides:

clone in class ClassHierarchy

cloneAndRestrict

public AbstractHierarchy<org.semanticweb.owlapi.model.OWLClassExpression> cloneAndRestrict(Set<? extends org.semanticweb.owlapi.model.OWLClassExpression> allowedEntities)

Description copied from class: AbstractHierarchy

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.

Overrides:

cloneAndRestrict in class AbstractHierarchy<org.semanticweb.owlapi.model.OWLClassExpression>

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.

thinOutSubsumptionHierarchy

public void thinOutSubsumptionHierarchy()

Description copied from class: AbstractHierarchy

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.

Overrides:

thinOutSubsumptionHierarchy in class AbstractHierarchy<org.semanticweb.owlapi.model.OWLClassExpression>