org.dllearner.core.owl
Class DatatypePropertyHierarchy

java.lang.Object
  org.dllearner.core.owl.DatatypePropertyHierarchy

public class DatatypePropertyHierarchy
extends Object

Represents a hierarchy of datatype properties. TODO: Currently, the role hierarchy pruning algorithm (analogous to the subsumption hierarchy) is not implemented.

Author:

Jens Lehmann

Constructor Summary

DatatypePropertyHierarchy(Set<DatatypeProperty> atomicRoles, TreeMap<DatatypeProperty,SortedSet<DatatypeProperty>> roleHierarchyUp, TreeMap<DatatypeProperty,SortedSet<DatatypeProperty>> roleHierarchyDown)

Method Summary

SortedSet<DatatypeProperty>	getMoreGeneralRoles(DatatypeProperty role)
SortedSet<DatatypeProperty>	getMoreSpecialRoles(DatatypeProperty role)
TreeSet<DatatypeProperty>	getMostGeneralRoles()
TreeSet<DatatypeProperty>	getMostSpecialRoles()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

DatatypePropertyHierarchy

public DatatypePropertyHierarchy(Set<DatatypeProperty> atomicRoles,
                                 TreeMap<DatatypeProperty,SortedSet<DatatypeProperty>> roleHierarchyUp,
                                 TreeMap<DatatypeProperty,SortedSet<DatatypeProperty>> roleHierarchyDown)

Method Detail

getMoreGeneralRoles

public SortedSet<DatatypeProperty> getMoreGeneralRoles(DatatypeProperty role)

getMoreSpecialRoles

public SortedSet<DatatypeProperty> getMoreSpecialRoles(DatatypeProperty role)

toString

public String toString()

Overrides:

toString in class Object

getMostGeneralRoles

public TreeSet<DatatypeProperty> getMostGeneralRoles()

Returns:

The most general roles.

getMostSpecialRoles

public TreeSet<DatatypeProperty> getMostSpecialRoles()

Returns:

The most special roles.