org.dllearner.core.owl
Class ObjectPropertyHierarchy

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

public class ObjectPropertyHierarchy
extends Object

Represents a hierarchy of object properties (roles in Description Logics).

Author:

Jens Lehmann

Constructor Summary

ObjectPropertyHierarchy(Set<ObjectProperty> atomicRoles, TreeMap<ObjectProperty,SortedSet<ObjectProperty>> roleHierarchyUp, TreeMap<ObjectProperty,SortedSet<ObjectProperty>> roleHierarchyDown)

Method Summary

SortedSet<ObjectProperty>	getMoreGeneralRoles(ObjectProperty role)
SortedSet<ObjectProperty>	getMoreSpecialRoles(ObjectProperty role)
TreeSet<ObjectProperty>	getMostGeneralRoles()
TreeSet<ObjectProperty>	getMostSpecialRoles()
boolean	isSubpropertyOf(ObjectProperty subProperty, ObjectProperty superProperty) Implements a subsumption check using the hierarchy (no further reasoning checks are used).
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ObjectPropertyHierarchy

public ObjectPropertyHierarchy(Set<ObjectProperty> atomicRoles,
                               TreeMap<ObjectProperty,SortedSet<ObjectProperty>> roleHierarchyUp,
                               TreeMap<ObjectProperty,SortedSet<ObjectProperty>> roleHierarchyDown)

Method Detail

getMoreGeneralRoles

public SortedSet<ObjectProperty> getMoreGeneralRoles(ObjectProperty role)

getMoreSpecialRoles

public SortedSet<ObjectProperty> getMoreSpecialRoles(ObjectProperty role)

isSubpropertyOf

public boolean isSubpropertyOf(ObjectProperty subProperty,
                               ObjectProperty superProperty)

Implements a subsumption check using the hierarchy (no further reasoning checks are used).

Parameters:

subProperty - The (supposedly) more special property.

superProperty - The (supposedly) more general property.

Returns:

True if subProperty is a subproperty of superProperty.

toString

public String toString()

Overrides:

toString in class Object

getMostGeneralRoles

public TreeSet<ObjectProperty> getMostGeneralRoles()

Returns:

The most general roles.

getMostSpecialRoles

public TreeSet<ObjectProperty> getMostSpecialRoles()

Returns:

The most special roles.